Automatic Test Generation with AGATHA
No abstract available.
Related papers
- AGAThA: Fast and Efficient GPU Acceleration of Guided Sequence Alignment for Long Read Mapping PPoPP 2024
- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking ECOOP 2006
- Using Static Analysis to Improve Automatic Test Generation TACAS 2000
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs CAV 2011
- AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems CAV 2008
- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI 2020
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation TACAS 2017
- Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience CC 2025