Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Matheus Monteiro Mariano"'
Autor:
Érica Ferreira de Souza, André Takeshi Endo, Matheus Monteiro Mariano, Nandamudi Lankalapalli Vijaykumar
Publikováno v:
Journal of Electronic Testing. 35:867-885
Model-Based Testing (MBT) is a well-known technique that employs formal models to represent reactive systems’ behavior and generates test cases. Such systems have been specified and verified using mostly Finite State Machines (FSMs). There is a ple
Autor:
Érica Ferreira de Souza, André Takeshi Endo, Nandamudi Lankalapalli Vijaykumar, Matheus Monteiro Mariano
Publikováno v:
LATS
Context: Model-Based Testing (MBT) is a technique that employs formal models to represent reactive systems’ behav-ior and generates test cases. Such systems are mostly specified and verified using Finite State Machines (FSMs). There is a plethora o
Autor:
Érica Ferreira de Souza, Matheus Monteiro Mariano, Nandamudi Lankalapalli Vijaykumar, André Takeshi Endo
Publikováno v:
Anais do XV Simpósio Brasileiro de Qualidade de Software (SBQS 2016).
Test case generation based on Finite State Machines (FSMs) has been extensively investigated due to its accuracy and simplicity. Several test criteria have been proposed in the literature to generate test cases based on FSMs. One of the oldest criter