Login / Signup
Experimental comparison of approaches for checking completeness of test suites from finite state machines.
Adilson Luiz Bonifácio
Arnaldo Vieira Moura
Adenilso da Silva Simão
Published in:
Inf. Softw. Technol. (2017)
Keyphrases
</>
experimental comparison
finite state machines
mutation testing
test suite
databases
model checking
database
case study
database systems
data warehouse
test cases
data exchange