Static and dynamic analysis of Java programs

  • Wotawa, Franz (Teilnehmer (Co-Investigator))
  • Soomro, Safeeullah (Teilnehmer (Co-Investigator))

Projekt: Forschungsprojekt

Projektdetails

Beschreibung

In this project we explore new extraction in fault detection and localization of java programs. In particular we discover the modificaition of verification techniques of ASPECT to localize fault. Prototype implementation and experimental evaluation should be available at the end of the project.
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende3/05/04 → 30/11/07

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.
Vollständigen Fingerprint anzeigen
  • 3 Beitrag in einem Konferenzband