The Münster Generator of Glass-box Test Cases (Muggl)

Basic data for this project

Type of project: Own resources project

Duration at the University of Münster: since 01/11/2003

Description

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.

Keywords: Testing; Glass-box testing; Automated test case generation

Website of the project: https://github.com/wwu-pi/muggl/

Project management at the University of Münster

Kuchen, Herbert

Practical Computer Science Group (PI)

European Research Center for Information Systems (ERCIS)

Research associates from the University of Münster

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)

Publications of the University of Münster resulting from the project

Leveraging Test Case Generation in the Testing Process – An Integration of Human Oracles with Derived Oracles Von Hof V (2017) In: Fujita H, Selamat A, Omatu S (eds.), New Trends in Intelligent Software Methodologies, Tools and Techniques, 480-489. Amsterdam, Niederlande: IOP Publishing. doi:10.3233/978-1-61499-800-6-480 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Falsification of Java Assertions Using Automatic Test-Case Generators Caballero R, Montenegro M, Kuchen H, von Hof V (2016) In: ((Bitte Journal prüfen)), 2016(9), 177-187. Research article (journal) \| Peer reviewed \| Published
Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR) von Hof Vincent, Fuchs Andreas (2018) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) \| Peer reviewed \| Published
Test-Case Generation for Web-Service Clients Fuchs Andreas, Kuchen Herbert (2018) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) \| Peer reviewed \| Published
Automated Test Case Generation based on Coverage Analysis Majchrzak T, Kuchen H (2009) In: (eds.), , 259-266. Tianjin, China: (kein Verlag angegeben). Research article in edited proceedings (conference) \| Published

Show all publications (12)

Leveraging Test Case Generation in the Testing Process – An Integration of Human Oracles with Derived Oracles Von Hof V (2017) In: Fujita H, Selamat A, Omatu S (eds.), New Trends in Intelligent Software Methodologies, Tools and Techniques, 480-489. Amsterdam, Niederlande: IOP Publishing. doi:10.3233/978-1-61499-800-6-480 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Falsification of Java Assertions Using Automatic Test-Case Generators Caballero R, Montenegro M, Kuchen H, von Hof V (2016) In: ((Bitte Journal prüfen)), 2016(9), 177-187. Research article (journal) \| Peer reviewed \| Published
Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR) von Hof Vincent, Fuchs Andreas (2018) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) \| Peer reviewed \| Published
Test-Case Generation for Web-Service Clients Fuchs Andreas, Kuchen Herbert (2018) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) \| Peer reviewed \| Published
Automated Test Case Generation based on Coverage Analysis Majchrzak T, Kuchen H (2009) In: (eds.), , 259-266. Tianjin, China: (kein Verlag angegeben). Research article in edited proceedings (conference) \| Published