ReP USP - Resultado da busca

Trabalho de evento
Checking sequence generation using state distinguishing subsequences (2009)
Simão, Adenilso da Silva ; Petrenko, A.
Source: Proceedings. Conference titles: IEEE International Conference on Software Testing, Verification, and Validation Workshops. 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
SIMÃO, Adenilso da Silva e PETRENKO, A. Checking sequence generation using state distinguishing subsequences. 2009, Anais.. Washington, DC: IEEE Computer Science, 2009. Disponível em: http://portal.acm.org/citation.cfm?id=1645074. Acesso em: 30 set. 2024.
APA
Simão, A. da S., & Petrenko, A. (2009). Checking sequence generation using state distinguishing subsequences. In Proceedings. Washington, DC: IEEE Computer Science. Recuperado de http://portal.acm.org/citation.cfm?id=1645074
NLM
Simão A da S, Petrenko A. Checking sequence generation using state distinguishing subsequences [Internet]. Proceedings. 2009 ;[citado 2024 set. 30 ] Available from: http://portal.acm.org/citation.cfm?id=1645074
Vancouver
Simão A da S, Petrenko A. Checking sequence generation using state distinguishing subsequences [Internet]. Proceedings. 2009 ;[citado 2024 set. 30 ] Available from: http://portal.acm.org/citation.cfm?id=1645074
Trabalho de evento
Minimization of incompletely specified finite state machines based on distinction graphs (2009)
Alberto, Alex; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: Latin American Test Workshop - LATW. 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
ALBERTO, Alex e SIMÃO, Adenilso da Silva. Minimization of incompletely specified finite state machines based on distinction graphs. 2009, Anais.. Los Alamitos: IEEE, 2009. Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009. Acesso em: 30 set. 2024.
APA
Alberto, A., & Simão, A. da S. (2009). Minimization of incompletely specified finite state machines based on distinction graphs. In Proceedings. Los Alamitos: IEEE. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
NLM
Alberto A, Simão A da S. Minimization of incompletely specified finite state machines based on distinction graphs [Internet]. Proceedings. 2009 ;[citado 2024 set. 30 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
Vancouver
Alberto A, Simão A da S. Minimization of incompletely specified finite state machines based on distinction graphs [Internet]. Proceedings. 2009 ;[citado 2024 set. 30 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
Dissertação (Mestrado)
Uma estratégia para a minimização de máquinas de estados finitos parciais (2009)
Alberto, Alex Donizeti Betez; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE (MODELOS;ESPECIFICAÇÃO;SISTEMAS), SOFTWARES (TESTES;QUALIDADE)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex Donizeti Betez. Uma estratégia para a minimização de máquinas de estados finitos parciais. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/. Acesso em: 30 set. 2024.
APA
Alberto, A. D. B. (2009). Uma estratégia para a minimização de máquinas de estados finitos parciais (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/
NLM
Alberto ADB. Uma estratégia para a minimização de máquinas de estados finitos parciais [Internet]. 2009 ;[citado 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/
Vancouver
Alberto ADB. Uma estratégia para a minimização de máquinas de estados finitos parciais [Internet]. 2009 ;[citado 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/
Trabalho de evento
Geração de seqüências de verificação baseado em algoritmos genéticos (2009)
Ribeiro, Paulo Henrique; Cutigi, Jorge Francisco; Simão, Adenilso da Silva
Source: Anais. Conference titles: Simpósio Brasileiro de Métodos Formais - SBMF. 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
RIBEIRO, Paulo Henrique e CUTIGI, Jorge Francisco e SIMÃO, Adenilso da Silva. Geração de seqüências de verificação baseado em algoritmos genéticos. 2009, Anais.. Porto Alegre: SBC, 2009. . Acesso em: 30 set. 2024.
APA
Ribeiro, P. H., Cutigi, J. F., & Simão, A. da S. (2009). Geração de seqüências de verificação baseado em algoritmos genéticos. In Anais. Porto Alegre: SBC.
NLM
Ribeiro PH, Cutigi JF, Simão A da S. Geração de seqüências de verificação baseado em algoritmos genéticos. Anais. 2009 ;[citado 2024 set. 30 ]
Vancouver
Ribeiro PH, Cutigi JF, Simão A da S. Geração de seqüências de verificação baseado em algoritmos genéticos. Anais. 2009 ;[citado 2024 set. 30 ]
Trabalho de evento-anais periodico
Generating reduced tests for FSMs with extra states (2009)
Simão, Adenilso da Silva ; Petrenko, Alexandre; Yevtushenko, Nina
Source: Lecture Notes in Computer Science. Conference titles: International Conference Testing of Software and Communication Systems - TESTCOM. 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
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e YEVTUSHENKO, Nina. Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/97175434p03t6136/. Acesso em: 30 set. 2024. , 2009
APA
Simão, A. da S., Petrenko, A., & Yevtushenko, N. (2009). Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/97175434p03t6136/
NLM
Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2024 set. 30 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Vancouver
Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2024 set. 30 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Artigo de periodico
Comparing finite state machine test coverage criteria (2009)
Simão, Adenilso da Silva ; Petrenko, A.; Maldonado, José Carlos
Source: IET Software. 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
SIMÃO, Adenilso da Silva e PETRENKO, A. e MALDONADO, José Carlos. Comparing finite state machine test coverage criteria. IET Software, v. 3, n. 2, p. 91-105, 2009Tradução . . Disponível em: http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925. Acesso em: 30 set. 2024.
APA
Simão, A. da S., Petrenko, A., & Maldonado, J. C. (2009). Comparing finite state machine test coverage criteria. IET Software, 3( 2), 91-105. Recuperado de http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925
NLM
Simão A da S, Petrenko A, Maldonado JC. Comparing finite state machine test coverage criteria [Internet]. IET Software. 2009 ; 3( 2): 91-105.[citado 2024 set. 30 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925
Vancouver
Simão A da S, Petrenko A, Maldonado JC. Comparing finite state machine test coverage criteria [Internet]. IET Software. 2009 ; 3( 2): 91-105.[citado 2024 set. 30 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925
Artigo de periodico
A tranformational language for mutant description (2009)
Simão, Adenilso da Silva ; Maldonado, José Carlos ; Bigonha, Roberto da Silva
Source: Computer Languages, Systems & Structures. 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
SIMÃO, Adenilso da Silva e MALDONADO, José Carlos e BIGONHA, Roberto da Silva. A tranformational language for mutant description. Computer Languages, Systems & Structures, v. 35, n. 3, p. 322-339, 2009Tradução . . Disponível em: https://doi.org/10.1016/j.cl.2008.10.001. Acesso em: 30 set. 2024.
APA
Simão, A. da S., Maldonado, J. C., & Bigonha, R. da S. (2009). A tranformational language for mutant description. Computer Languages, Systems & Structures, 35( 3), 322-339. doi:10.1016/j.cl.2008.10.001
NLM
Simão A da S, Maldonado JC, Bigonha R da S. A tranformational language for mutant description [Internet]. Computer Languages, Systems & Structures. 2009 ; 35( 3): 322-339.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.cl.2008.10.001
Vancouver
Simão A da S, Maldonado JC, Bigonha R da S. A tranformational language for mutant description [Internet]. Computer Languages, Systems & Structures. 2009 ; 35( 3): 322-339.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.cl.2008.10.001
Trabalho de evento
Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs (2009)
Dusse, Flávio; Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Anais. Conference titles: Simpósio Brasileiro de Métodos Formais - SBMF. 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
DUSSE, Flávio e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. 2009, Anais.. Porto Alegre: SBC, 2009. . Acesso em: 30 set. 2024.
APA
Dusse, F., Simão, A. da S., & Maldonado, J. C. (2009). Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. In Anais. Porto Alegre: SBC.
NLM
Dusse F, Simão A da S, Maldonado JC. Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. Anais. 2009 ;[citado 2024 set. 30 ]
Vancouver
Dusse F, Simão A da S, Maldonado JC. Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs. Anais. 2009 ;[citado 2024 set. 30 ]

USP Schools

ReP

Filtros

Authors

Source title