Is This a Bug or an Obsolete Test?
Abstract elided by the publisher.
Related papers
- falsify: Internal Shrinking Reimagined for Haskell Haskell 2023
- On-The-Fly Detection of Access Anomalies PLDI 1989
- Inferring crypto API rules from code changes PLDI 2018
- Efficient concurrency-bug detection across inputs OOPSLA 2013
- Why is random testing effective for partition tolerance bugs? POPL 2018
- Test-case reduction for C compiler bugs PLDI 2012
- On the unusual effectiveness of type-aware operator mutations for testing SMT solvers OOPSLA 2020
- Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs OOPSLA 2021