Effective Bug Finding in C Programs with Shape and Effect Abstractions
No abstract available.
Related papers
- Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing ESOP 2021
- Gradual Tensor Shape Checking ESOP 2023
- Generating sound and effective memory debuggers ISMM 2013
- WuKong: effective diagnosis of bugs at large system scales PPoPP 2013
- GAMBIT: effective unit testing for concurrency libraries PPoPP 2010
- Why is random testing effective for partition tolerance bugs? POPL 2018
- Concurrency testing using schedule bounding: an empirical study PPoPP 2014
- Making no-fuss compiler fuzzing effective CC 2022