Muggl: The Muenster Generator of Glass-box Test CasesOpen Access

Majchrzak TA, Kuchen H

Working paper

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.

Details about the publication

Name of the repositoryECONSTOR
EditorsBecker J, Backhaus K, Hellingrath B, Hoeren T, Klein S, Kuchen H, Müller-Funk U, Vossen G
Place of publicationMünster
Title of seriesWorking Papers (ISSN: 1614-7448)
Volume of series10
StatusPublished
Release year2011
Language in which the publication is writtenEnglish
Link to the full texthttps://hdl.handle.net/10419/58417
KeywordsSoftware test; testing; test case generation; TCG; test automation; test tool

Authors from the University of Münster

Kuchen, Herbert
Majchrzak, Tim Alexander

Projects the publication originates from

Duration: since 01/11/2003
Type of project: Own resources project