A Aralex Aachen research explorer

June 11, 2012 conference-paper Open access

Efficient state merging in symbolic execution

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/2254064.2254088 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 192

Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production
2022 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

0

citations
SymPaths: Symbolic Execution Meets Partial Order Reduction
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

2

citations

2 results

References 0