Model-Based Shrinking for State-Based Testing.

Pieter W. M. Koopman Peter Achten Rinus Plasmeijer

Published in: Trends in Functional Programming (2013)

Keyphrases

state space
real world
computer vision
databases
wide range
data driven
real time
data sets
learning algorithm
website
multi agent
trade off
user interface
test data