Test Generation with Inputs, Outputs, and Quiescence
Abstract elided by the publisher.
Related papers
- Covering All the Bases: Type-Based Verification of Test Input Generators PLDI 2023
- falsify: Internal Shrinking Reimagined for Haskell Haskell 2023
- An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection TOPLAS 1986
- Test-driven synthesis PLDI 2014
- Eclat: Automatic Generation and Classification of Test Inputs ECOOP 2005
- Polymorphic coverage types JFP 2026
- Intramorphic Testing: A New Approach to the Test Oracle Problem Onward! 2022
- Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification OOPSLA 2024