A Aralex Aachen research explorer

December 01, 2024 article Open access

The digest framework: concurrency-sensitivity for abstract interpretation

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-024-00773-y Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 7

References 2

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

15

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations

2 results