C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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