Loading...
Please wait, while we are loading the content...
Similar Documents
Fuzzing and delta-debugging SMT solvers
| Content Provider | ACM Digital Library |
|---|---|
| Author | Biere, Armin Brummayer, Robert |
| Abstract | SMT solvers are widely used as core engines in many applications. Therefore, robustness and correctness are essential criteria. Current testing techniques used by developers of SMT solvers do not satisfy the high demand for correct and robust solvers, as our testing experiments show. To improve this situation, we propose to complement traditional testing techniques with grammar-based blackbox fuzz testing, combined with delta-debugging. We demonstrate the effectiveness of our approach and report on critical bugs and incorrect results which we found in current state-of-the-art SMT solvers for bit-vectors and arrays. |
| Starting Page | 1 |
| Ending Page | 5 |
| Page Count | 5 |
| File Format | |
| ISBN | 9781605584843 |
| DOI | 10.1145/1670412.1670413 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2009-08-02 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Content Type | Text |
| Resource Type | Article |
