Login / Signup
Using correctness, consistency, and completeness patterns for automated scenarios verification.
Edgar Sarmiento
Julio Cesar Sampaio do Prado Leite
Eduardo Almentero
Published in:
RePa@RE (2015)
Keyphrases
</>
databases
semi automated
information systems
data driven
model checking
fully automated
real world
website
data mining techniques
computer aided
data quality
design patterns
global constraints
formal verification
verification method