Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode. It symbolically executes code and uses constraint solving techniques.
Kuchen, Herbert | Practical Computer Science Group (PI) European Research Center for Information Systems (ERCIS) |
Dageförde, Jan | Practical Computer Science Group (PI) |
Majchrzak, Tim Alexander | Practical Computer Science Group (PI) |
Troost, Laura | Practical Computer Science Group (PI) |
Winkelmann, Hendrik | Practical Computer Science Group (PI) |