Using On-The-Fly Verification Techniques for the Generation of test Suites
Abstract elided by the publisher.
Related papers
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation TACAS 2018
- Type Targeted Testing ESOP 2015
- Automatic and scalable detection of logical errors in functional programming assignments OOPSLA 2019
- Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models OOPSLA 2026
- Lazy Automata Techniques for WS1S TACAS 2017
- Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators PLDI 1996
- Incremental Program Testing Using Program Dependence Graphs POPL 1993
- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking ECOOP 2006