Muggl: The Muenster Generator of Glass-box Test Cases
Majchrzak TA, Kuchen H
Abstract
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.
Keywords
Software test; testing; test case generation; TCG; test automation; test tool
Publication type
Working paper
Peer reviewed
No
Publication status
Published
Year
2011
Book title
Working Papers No. 10
Editor
Becker J, Backhaus K, Hellingrath B, Hoeren T, Klein S, Kuchen H, Müller-Funk U, Vossen G
Volume
10
Title of series
Working Papers
Publisher
ERCIS - European Research Center for Information Systems
Place
Münster
Language
English
ISSN
1614-7448
Full text