Using Static Analysis to Improve Automatic Test Generation
No abstract available.
Related papers
- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI 2020
- Automatic generation of library bindings using static analysis PLDI 2009
- Higher-order test generation PLDI 2011
- Automatic modular abstractions for linear constraints POPL 2009
- Synthesizing method sequences for high-coverage testing OOPSLA 2011
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- Active learning of points-to specifications PLDI 2018
- DART: directed automated random testing PLDI 2005