Static and dynamic analysis of Java programs

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

Project: Research project

Project Details


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.
Effective start/end date3/05/0430/11/07


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.