FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
Abstract elided by the publisher.
Related papers
- Compositional dynamic test generation POPL 2007
- Event-Based Performance Perturbation: A Case Study PPoPP 1991
- Proving Reachability Using FShell - (Competition Contribution) TACAS 2012
- Statically Analyzing the Dataflow of R Programs OOPSLA 2025
- Targeted and depth-first exploration for systematic testing of android apps OOPSLA 2013
- Automated Test Case Generation from Dynamic Models ECOOP 2000
- Neural Network Robustness as a Verification Property: A Principled Case Study CAV 2022
- DART: directed automated random testing PLDI 2005