Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: https://hdl.handle.net/10419/283891 
Autor:innen: 
Erscheinungsjahr: 
2024
Schriftenreihe/Nr.: 
ERCIS Working Paper No. 39
Verlag: 
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS), Münster
Zusammenfassung: 
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.
Dokumentart: 
Working Paper

Datei(en):
Datei
Größe
632.36 kB





Publikationen in EconStor sind urheberrechtlich geschützt.