Research output per year
Research output per year
Project Details
Description
Application of AI Techniques (Model-Based Diagnosis, Constraint Satisfaction Problems ,...) to Software Engineering
in particula Automation Software Debugging and Formal Verifications
Other Application areas include Intelligence Tutoring Systems and Forcasting in the Environmental Domain
| Status | Active |
|---|---|
| Effective start/end date | 16/11/00 → … |
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.
-
BPEL Integration Testing
Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Accepted/In press) International Conference on Fundamental Approaches to Software Engineering. .Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Focussed Diagnosis for Failing Software Tests
Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., p. 712-721Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Parse Tree Structure in LTL Requirements Diagnosis
Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 100-107Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review