A Proposal for Transaction-Level Verification with Component Wrapper Language.

Koji Ara Kei Suzuki

Published in: DATE (2003)

Keyphrases

feature selection
programming language
black box
database
model checking
levels of abstraction
specification language
data sets
active learning
transaction management