From Test Purposes to Formal JPF Properties.

Simone Hanazumi Ana Cristina Vieira de Melo Corina S. Pasareanu

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

Keyphrases

real time
test cases
formal language
data sets
test data
statistical significance
formal analysis
artificial intelligence
information systems
website
training data
data structure
relational databases
statistical tests