Towards deriving test sequences by model checking (2008)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Source:
- Título: Eletronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 195, p. 21-40, 2008
-
ABNT
BONIFÁCIO, Adilson Luiz et al. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008Tradução . . Acesso em: 26 jan. 2026. -
APA
Bonifácio, A. L., Moura, A. V., Simão, A. da S., & Maldonado, J. C. (2008). Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science, 195, 21-40. -
NLM
Bonifácio AL, Moura AV, Simão A da S, Maldonado JC. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science. 2008 ; 195 21-40.[citado 2026 jan. 26 ] -
Vancouver
Bonifácio AL, Moura AV, Simão A da S, Maldonado JC. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science. 2008 ; 195 21-40.[citado 2026 jan. 26 ] - Muta-Pro: towards the definition of a mutation testing process
- Muta-Pro
- 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
- Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: short papers
- On studying the effectiveness of extended finite state machine based test selection criteria
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
