ReP USP - Resultado da busca

Artigo de periodico
Generalizing the DS-Methods for testing non-deterministic FSMs (2015)
Petrenko, Alexandre; Simão, Adenilso da Silva
Source: The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 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
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generalizing the DS-Methods for testing non-deterministic FSMs. The Computer Journal: Section A: Computer Science Theory, Methods and Tools, v. 58, n. 7, p. 1656-1672, 2015Tradução . . Disponível em: https://doi.org/10.1093/comjnl/bxu113. Acesso em: 23 abr. 2024.
APA
Petrenko, A., & Simão, A. da S. (2015). Generalizing the DS-Methods for testing non-deterministic FSMs. The Computer Journal: Section A: Computer Science Theory, Methods and Tools, 58( 7), 1656-1672. doi:10.1093/comjnl/bxu113
NLM
Petrenko A, Simão A da S. Generalizing the DS-Methods for testing non-deterministic FSMs [Internet]. The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 2015 ; 58( 7): 1656-1672.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1093/comjnl/bxu113
Vancouver
Petrenko A, Simão A da S. Generalizing the DS-Methods for testing non-deterministic FSMs [Internet]. The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 2015 ; 58( 7): 1656-1672.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1093/comjnl/bxu113
Patente
Test method and test apparatus for testing a distributed system (2014)
Petrenko, Alexandre; Simão, Adenilso da Silva; Ulrich, Andreas
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
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e ULRICH, Andreas. Test method and test apparatus for testing a distributed system. . Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). Disponível em: https://doi.org/10.1007/s00165-015-0350-2. Acesso em: 23 abr. 2024. , 2014
APA
Petrenko, A., Simão, A. da S., & Ulrich, A. (2014). Test method and test apparatus for testing a distributed system. Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). doi:10.1007/s00165-015-0350-2
NLM
Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
Vancouver
Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
Trabalho de evento
Generating complete and finite test suite for ioco: is it possible? (2014)
Simão, Adenilso Da Silva; Petrenko, Alexandre
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Model-Based Testing. 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. Generating complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 23 abr. 2024.
APA
Simão, A. D. S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141
NLM
Simão ADS, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.4204/EPTCS.141
Vancouver
Simão ADS, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.4204/EPTCS.141
Trabalho de evento
Generating checking sequences for nondeterministic finite state machines (2012)
Petrenko, Alexandre; Simão, Adenilso da Silva; Nina Yevtushenko
Source: Proceedings. Conference titles: International Conference on Software Testing, Verification and Validation - ICST 2012. 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
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e NINA YEVTUSHENKO,. Generating checking sequences for nondeterministic finite state machines. 2012, Anais.. Los Alamitos, CA: IEEE Computer Society, 2012. Disponível em: https://doi.org/10.1109/ICST.2012.111. Acesso em: 23 abr. 2024.
APA
Petrenko, A., Simão, A. da S., & Nina Yevtushenko,. (2012). Generating checking sequences for nondeterministic finite state machines. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/ICST.2012.111
NLM
Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1109/ICST.2012.111
Vancouver
Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1109/ICST.2012.111
Artigo de periodico
Model-based testing of software and systems: recent advances and challenges (2012)
Petrenko, Alexandre; Simão, Adenilso da Silva; Maldonado, José Carlos
Source: International Journal on Software Tools for Technology Transfer (STTT). 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
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), v. 14, n. 4, p. 383-386, 2012Tradução . . Disponível em: https://doi.org/10.1007/s10009-012-0240-3. Acesso em: 23 abr. 2024.
APA
Petrenko, A., Simão, A. da S., & Maldonado, J. C. (2012). Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (STTT), 14( 4), 383-386. doi:10.1007/s10009-012-0240-3
NLM
Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s10009-012-0240-3
Vancouver
Petrenko A, Simão A da S, Maldonado JC. Model-based testing of software and systems: recent advances and challenges [Internet]. International Journal on Software Tools for Technology Transfer (STTT). 2012 ; 14( 4): 383-386.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s10009-012-0240-3
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: 23 abr. 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 abr. 23 ] 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 abr. 23 ] Available from: http://www.springerlink.com/content/97175434p03t6136/

USP Schools

ReP

Filtros

Authors

Source title