Research output per year
Research output per year
Project Details
Description
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.
| Status | Finished |
|---|---|
| Effective start/end date | 3/05/04 → 30/11/07 |
Fingerprint
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.
Research output
- 3 Conference paper
-
Lightweight fault localization with abstract dependencies
Wotawa, F., Peischl, B. & Soomro, S., 2006, IEEE International Conference on Engineering of Intelligent Systems. ., p. ?-?Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Towards lightweight fault localization in procedural programs debugging techniques
Wotawa, F., Peischl, B. & Soomro, S., 2006, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. ?-?Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Using abstract dependencies for debugging
Wotawa, F. & Soomro, S., 2005, International Workshop on Qualitative Reasoning. ., p. 23-28Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review