A Systematic Mapping Study on Test Generation from Input/Output Transition Systems.

Sofia Larissa da Costa Paiva Adenilso da Silva Simão

Published in: EUROMICRO-SEAA (2015)

Keyphrases

input output
test generation
open source
case study
relational databases
model checking
concurrent systems
internal states
transition systems