Automatic Generation of System Level Assertions from Transaction Level Models.

Lingyi Liu Shobha Vasudevan

Published in: J. Electron. Test. (2013)

Keyphrases

higher level
levels of abstraction
abstraction levels
information systems
evolutionary algorithm
search engine
face recognition
statistical model
statistical models
computational models
lower level