Contessa: Concurrency Testing Augmented with Symbolic Analysis
No abstract available.
Related papers
- Concurrent Balanced Augmented Trees PPoPP 2026
- Symbolic execution for randomized programs OOPSLA 2022
- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking ECOOP 2006
- Modular Relaxed Dependencies in Weak Memory Concurrency ESOP 2020
- Symbolic Test Selection Based on Approximate Analysis TACAS 2005
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Model Checking Concurrent Programs VMCAI 2009
- Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models OOPSLA 2026