Generating random structurally rich algebraic data type values
Proceedings of the 14th International Workshop on Automation of Software Test, pp. 48-54, 2019.
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
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)