PET: An Interactive Software Testing Tool
Abstract elided by the publisher.
Related papers
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024
- How to Cook a Temporal Proof System for Your Pet Language POPL 1983
- Runtime verification and validation of functional reactive systems JFP 2020
- An interactive feedback system for grammar development (tool paper) SLE 2020
- TATOO: Testing and Analysis Tool for Object- Oriented Software TACAS 2001
- International Competition on Software Testing (Test-Comp) TACAS 2019
- ChimpCheck: property-based randomized test generation for interactive apps Onward! 2017
- IncLing: efficient product-line testing using incremental pairwise sampling GPCE 2016