Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation
No abstract available.
Related papers
- Compositional dynamic test generation POPL 2007
- Compositional may-must program analysis: unleashing the power of alternation POPL 2010
- Interactive Abstract Interpretation with Demanded Summarization TOPLAS 2024
- Dynamically Generating Callback Summaries for Enhancing Static Analysis ECOOP 2024
- A sound and optimal incremental build system with dynamic dependencies OOPSLA 2015
- Code generation to support static and dynamic composition of software product lines GPCE 2008
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024