Leveraging Program Structure for Test Case Generation
- 12 February 2025
- book chapter
- Published by Springer Nature
- p. 137-157
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Transition Power Abstractions for Deep Counterexample Detection2022
- Better Counterexamples for Dafny2022
- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)2022
- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing2022
- RustHorn: CHC-Based Verification for Rust Programs2020
- LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)2020
- JayHorn: A Java Model Checker2019
- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions2002
- Boolean and Cartesian Abstraction for Model Checking C Programs2001
- Symbolic Model Checking without BDDs1999