Symbolic partial-order execution for testing multi-threaded programs

DOI10.1007/978-3-030-53288-8_18zbMath1478.68046arXiv2005.06688OpenAlexW3098882403MaRDI QIDQ2225118

César Rodríguez, Klaus Wehrle, Daniel Schemmel, David Laprell, Julian Büning

Publication date: 4 February 2021

Full work available at URL: https://arxiv.org/abs/2005.06688

zbMATH Keywords

software testingsymbolic executionpartial-order reduction

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Quasi-optimal partial order reduction

This page was built for publication: Symbolic partial-order execution for testing multi-threaded programs