Assume-guarantee testing.

Colin Blundell Dimitra Giannakopoulou Corina S. Pasareanu

Published in: ACM SIGSOFT Softw. Eng. Notes (2006)

Keyphrases

test set
real time
feature selection
test data
real world
data mining
software engineering
software testing