Plavis/FSM: an environment to integrate FSM-based testing tools (2005)
- Authors:
- Simão, Adenilso da Silva
- Ambrósio, Ana Maria - Instituto Nacional de Pesquisas Espaciais (INPE)
- Fabbri, Sandra Camargo Pinto Ferraz - Universidade Federal de São Carlos (UFSCar)
- Amaral, Ana Silva Martins Serra do Amaral - Instituto Nacional de Pesquisas Espaciais (INPE)
- Martins, Eliane - Universidade Estadual de Campinas (UNICAMP)
- Maldonado, José Carlos
- Simão, Adenilso da Silva
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Source:
- Título: Anais
- Conference titles: Sessão de Ferramentas
-
ABNT
SIMÃO, Adenilso da Silva et al. Plavis/FSM: an environment to integrate FSM-based testing tools. 2005, Anais.. [S.l.]: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2005. . Acesso em: 08 fev. 2026. -
APA
Simão, A. da S., Ambrósio, A. M., Fabbri, S. C. P. F., Amaral, A. S. M. S. do A., Martins, E., & Maldonado, J. C. (2005). Plavis/FSM: an environment to integrate FSM-based testing tools. In Anais. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. -
NLM
Simão A da S, Ambrósio AM, Fabbri SCPF, Amaral ASMS do A, Martins E, Maldonado JC. Plavis/FSM: an environment to integrate FSM-based testing tools. Anais. 2005 ;[citado 2026 fev. 08 ] -
Vancouver
Simão A da S, Ambrósio AM, Fabbri SCPF, Amaral ASMS do A, Martins E, Maldonado JC. Plavis/FSM: an environment to integrate FSM-based testing tools. Anais. 2005 ;[citado 2026 fev. 08 ] - On studying the effectiveness of extended finite state machine based test selection criteria
- Estudo de teste de mutação para a linguagem standard ML
- Comparing finite state machine test coverage criteria
- Testing software and systems
- Experimental evaluation of coverage criteria for FSM-based testing
- Conformance testing by model checking timed extended finite state machines
- Sim/CPN: a web-based simulator for coloured petri nets
- A tranformational language for mutant description
- Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs
- An assessment of extended finite state machine test selection criteria
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
