Statechart Analysis with Symbolic PathFinder.

Corina S. Pasareanu Daniel Balasubramanian

Published in: ICST (2012)

Keyphrases

statistical analysis
data sets
artificial intelligence
expert systems
automatic analysis
databases
data mining
optimal solution
wide range
data structure
data analysis
association rules
test cases
quantitative analysis