CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
No abstract available.
Related papers
- Regular Types for Active Objects OOPSLA 1993
- Small Test Suites for Active Automata Learning TACAS 2024
- Scalar Outcomes Suffice for Finitary Probabilistic Testing ESOP 2007
- AutoPA: automatically generating active driver from original passive driver code CGO 2018
- Maple: a coverage-driven testing tool for multithreaded programs OOPSLA 2012
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023
- A framework for extensible languages GPCE 2013
- Integrating object-oriented programming and protected objects in Ada 95 TOPLAS 2000