Artificial Intelligence & Applications

  • Pill, Ingo Hans, (Teilnehmer (Co-Investigator))
  • Wotawa, Franz (Teilnehmer (Co-Investigator))
  • Haase, Volkmar (Teilnehmer (Co-Investigator))

Projekt: Arbeitsgebiet

Projektdetails

Beschreibung

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
StatusLaufend
Tatsächlicher Beginn/ -es Ende16/11/00 → …

Publikationen

  • 12 Beitrag in einem Konferenzband
  • 2 Artikel

BPEL Integration Testing

Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Angenommen/In Druck) International Conference on Fundamental Approaches to Software Engineering. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Focussed Diagnosis for Failing Software Tests

Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., S. 712-721

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Parse Tree Structure in LTL Requirements Diagnosis

Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., S. 100-107

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband