Please use this identifier to cite or link to this item: https://hdl.handle.net/10419/283891 
Year of Publication: 
2024
Series/Report no.: 
ERCIS Working Paper No. 39
Publisher: 
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS), Münster
Abstract: 
In this technical report the symbolic execution engine 'Mulib' will be outlined in its architecture, main algorithms, and design decisions. Mulib employs a rather new approach of program transformation (see Section 2) and thus, technical details on the implementation of such a system are thought to be insightful. Mulib first and foremost implements the runtime semantics of the Constraint-Logic Object-Oriented Programming (CLOOP) language Muli. Muli employs symbolic execution as a technique to, e.g., solve constraint-satisfaction problems and generate test cases.
Document Type: 
Working Paper

Files in This Item:
File
Size
632.36 kB





Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.