Generating random structurally rich algebraic data type values

Agustín Mista
Agustín Mista

Proceedings of the 14th International Workshop on Automation of Software Test, pp. 48-54, 2019.

Cited by: 2|Views8
EI

Abstract:

Automatic generation of random values described by algebraic data types (ADTs) is often a hard task. State-of-the-art random testing tools can automatically synthesize random data generators based on ADTs definitions. In that manner, generated values comply with the structure described by ADTs, something that proves useful when testing so...More

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments