Vortrag: Aiding Developer Understanding of Software Changes via Symbolic Execu...

Stammdaten
Titel: Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing
Beschreibung:

Outputs of existing equivalence checking tools are often difficult to understand for developers due to a lack of context information and result explanations. In this presentation, we discuss our plans for the development and evaluation of a new symbolic execution-based equivalence checking / semantic differencing approach that tackles this issue and thereby aids developers in their understanding of corresponding software changes.
Schlagworte: Program Comprehension, Symbolic Execution, Semantic Differencing
Typ: Angemeldeter Vortrag
Homepage: https://siesta.si.usi.ch/2023/
Veranstaltung: SIESTA 2023 3rd International Software Engineering Summer School (Lugano)
Datum: 12.09.2023
Vortragsstatus: stattgefunden (Präsenz)

Beteiligte
Johann Glock
Johann.Glock@aau.at
Institut für Informatik-Systeme
Forschungsaktivitäten
zur Visitenkarte
(intern)
  • AutorIn
  • Vortragende/r

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Informatik-Systeme
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993503
   kerstin.smounig@aau.at
https://www.aau.at/isys/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 1020 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Vortragsfokus
  • Science to Science (Qualitätsindikator: II)
Klassifikationsraster der zugeordneten Organisationseinheiten:
TeilnehmerInnenkreis
  • Überwiegend national
Publiziert?
  • Nein
Arbeitsgruppen
  • Software Engineering Research Group (SERG)

Kooperationen
Keine Partnerorganisation ausgewählt