Formal analysis of the effectiveness and predictability of random testing.

Andrea Arcuri Muhammad Zohaib Z. Iqbal Lionel C. Briand

Published in: ISSTA (2010)

Keyphrases

formal analysis
neural network
machine learning
formal methods
learning algorithm
search engine
relational databases
test data