Discovering the input assumptions in specification refinement coverage.

Prasenjit Basu Sayantan Das Pallab Dasgupta Partha Pratim Chakrabarti

Published in: ASP-DAC (2006)

Keyphrases

information systems
input data
real time
real world
data mining
multiscale
user input
temporal ordering