Search the dblp DataBase

Publications of Author

1. Fevzi Belli, Christof J. Budnik, Axel Hollmann
   Holistic Testing of Interactive Systems Using Statecharts. [Citation Graph (0, 0)][DBLP]
   Sicherheit, 2006, pp:345-356 [Conf]
   
2. Fevzi Belli, Axel Hollmann, Nimal Nissanke
   Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2007, pp:276-282 [Conf]
   
3. Fevzi Belli, Axel Hollmann
   Holistic testing with basic statecharts. [Citation Graph (0, 0)][DBLP]
   Software Engineering (Workshops), 2007, pp:91-100 [Conf]
   
4. 
   MOTES08 - Modellbasiertes Testen. [Citation Graph (, )][DBLP]
   
   
5. 
   Positive and Negative Testing with Mutation-Driven Model Checking. [Citation Graph (, )][DBLP]
   
   
6. 
   Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP]
   
   
7. 
   Test generation and minimization with "basic" statecharts. [Citation Graph (, )][DBLP]
   
   
8. 
   Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie. [Citation Graph (, )][DBLP]
   
   
9. 
   Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. [Citation Graph (, )][DBLP]
   
   
10. 
    Communication Sequence Graphs for Mutation-Oriented Integration Testing. [Citation Graph (, )][DBLP]
    
    
11. 
    A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. [Citation Graph (, )][DBLP]
    
    
12. 
    Towards Scalable Robustness Testing. [Citation Graph (, )][DBLP]