Generating Tests by Example

Peleg, Hila; Rasin, Dan; Yahav, Eran

doi:10.1007/978-3-319-73721-8_19

Cited by 1 publication

(1 citation statement)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Iorek [Ringer et al 2017] allows the programmer to express how inputs differ from each other and then uses an SMT solver to generate different instances of those inputs. Jarvis [Peleg et al 2018] creates property-based tests from a set of preexisting unit tests. SciFe [Kuraj et al 2015] generates complex structures from Enumerator objects, which are defined as functions that map from natural numbers to structures, and are implemented in a domain specific language embedded within Scala.…”

Section: Related Workmentioning

confidence: 99%

Programming and execution models for parallel bounded exhaustive testing

Awar

Jain

Rossbach

et al. 2021

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method for detecting software bugs. Systematic property-based testing is a BET approach where developers write test generation programs that describe properties of test inputs. Hybrid test generation programs offer the most expressive way to write desired properties by freely combining declarative filters and imperative generators. However, exploring hybrid test generation programs, to obtain test inputs, is both computationally demanding and challenging to parallelize. We present the first programming and execution models, dubbed Tempo, for parallel exploration of hybrid test generation programs. We describe two different strategies for mapping the computation to parallel hardware and implement them both for GPUs and CPUs. We evaluated Tempo by generating instances of various data structures commonly used for benchmarking in the BET domain. Additionally, we generated CUDA programs to stress test CUDA compilers, finding four bugs confirmed by the developers.

show abstract

Section: Related Workmentioning

confidence: 99%