Projects

InspectIT - Assessing and Improving the Cost-Effectiveness of Automated Software Inspection

This project will empirically assess the cost-effectiveness and efficiency of automated software inspection techniques in reducing actual field defects and advance the state of the art in automated software inspection by devising novel prioritization techniques that improve existing techniques via technology to focus the analysis in such a way that the most effective warnings will get higher priority.

VERDE

VERIFICATION-ORIENTED & COMPONENT-BASED MODEL DRIVEN ENGINEERING FOR REAL-TIME EMBEDDED SYSTEMS

AMOS: Automated Model-based Testing of State-driven Systems

 

ATOS - Automated Testing Of Sofie