Towards MC/DC Coverage of Properties Specification Patterns.

Ana C. V. de Melo Corina S. Pasareanu Simone Hanazumi

Published in: ICTAC (2016)

Keyphrases

high level
pattern discovery
data mining
formal language
database
information retrieval
spatio temporal
user defined
structural properties
pattern analysis