TY  - GEN
AB  - 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. While papers on Muggl have already been published, no comprehensive introduction of the tool exist. This working paper fills this gap.
AU  - Majchrzak, Tim A.
AU  - Kuchen, Herbert
DA  - 2011-02
KW  - software test
KW  - testing
KW  - test case generation
KW  - TCG
KW  - test automation
KW  - test tool
LA  - eng
PY  - 2011-02
TI  - Muggl: The Muenster Generator of Glass-box Test Cases
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-39359452290
Y2  - 2024-11-22T08:43:57
ER  -