Towards deriving test sequences by model checking (2008)
Bonifácio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva 
; Maldonado, José Carlos
Source: Eletronic Notes in Theoretical Computer Science. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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 ]
