Conformance testing by model checking timed extended finite state machines (2006)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: Brazilian Symposium on formal Methods
-
ABNT
BONIFACIO, Adilson L et al. Conformance testing by model checking timed extended finite state machines. 2006, Anais.. Natal: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2006. . Acesso em: 24 abr. 2024. -
APA
Bonifacio, A. L., Moura, A. V., Simão, A. da S., & Maldonado, J. C. (2006). Conformance testing by model checking timed extended finite state machines. In Proceedings. Natal: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. -
NLM
Bonifacio AL, Moura AV, Simão A da S, Maldonado JC. Conformance testing by model checking timed extended finite state machines. Proceedings. 2006 ;[citado 2024 abr. 24 ] -
Vancouver
Bonifacio AL, Moura AV, Simão A da S, Maldonado JC. Conformance testing by model checking timed extended finite state machines. Proceedings. 2006 ;[citado 2024 abr. 24 ] - Muta-Pro
- Muta-Pro: towards the definition of a mutation testing process
- Experimental evaluation of coverage criteria for FSM-based testing
- Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs
- A tranformational language for mutant description
- Model-based testing of software and systems: recent advances and challenges
- Estudo de teste de mutação para a linguagem standard ML
- Testing software and systems
- Plavis/FSM: an environment to integrate FSM-based testing tools
- Comparing finite state machine test coverage criteria
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas