ReP USP - Resultado da busca

Trabalho de evento-anais periodico
To test or not to test (2015)
Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Assuntos: 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. To test or not to test. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-29473-5. Acesso em: 05 nov. 2025. , 2015
APA
Simão, A. da S. (2015). To test or not to test. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-29473-5
NLM
Simão A da S. To test or not to test [Internet]. Lecture Notes in Computer Science. 2015 ; 9526 XIV-XV.[citado 2025 nov. 05 ] Available from: https://doi.org/10.1007/978-3-319-29473-5
Vancouver
Simão A da S. To test or not to test [Internet]. Lecture Notes in Computer Science. 2015 ; 9526 XIV-XV.[citado 2025 nov. 05 ] Available from: https://doi.org/10.1007/978-3-319-29473-5
Trabalho de evento-anais periodico
Generation of checking sequences using identification sets (2013)
Porto, Faimison Rodrigues; Endo, André Takeshi; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Formal Engineering Methods - ICFEM 2013. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PORTO, Faimison Rodrigues e ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Generation of checking sequences using identification sets. Lecture Notes in Computer Science. Berlin: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-41202-8_9. Acesso em: 05 nov. 2025. , 2013
APA
Porto, F. R., Endo, A. T., & Simão, A. da S. (2013). Generation of checking sequences using identification sets. Lecture Notes in Computer Science. Berlin: Springer-Verlag. doi:10.1007/978-3-642-41202-8_9
NLM
Porto FR, Endo AT, Simão A da S. Generation of checking sequences using identification sets [Internet]. Lecture Notes in Computer Science. 2013 ; 8144 115-130.[citado 2025 nov. 05 ] Available from: https://doi.org/10.1007/978-3-642-41202-8_9
Vancouver
Porto FR, Endo AT, Simão A da S. Generation of checking sequences using identification sets [Internet]. Lecture Notes in Computer Science. 2013 ; 8144 115-130.[citado 2025 nov. 05 ] Available from: https://doi.org/10.1007/978-3-642-41202-8_9
Trabalho de evento-anais periodico
Generating reduced tests for FSMs with extra states (2009)
Simão, Adenilso da Silva ; Petrenko, Alexandre; Yevtushenko, Nina
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference Testing of Software and Communication Systems - TESTCOM. Unidade: ICMC
Assuntos: 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: 05 nov. 2025. , 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 2025 nov. 05 ] 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 2025 nov. 05 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Trabalho de evento-anais periodico
ValiPVM - a graphical tool for structural testing of PVM programs (2008)
Souza, Paulo Sérgio Lopes de ; Sawabe, Eduardo T.; Simão, Adenilso da Silva ; Vergílio, Sílvia Regina; Souza, Simone do Rocio Senger de
Fonte: Lecture Notes in Computer Science. Nome do evento: European PVM/MPI User's Group Meeting. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Paulo Sérgio Lopes de et al. ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf. Acesso em: 05 nov. 2025. , 2008
APA
Souza, P. S. L. de, Sawabe, E. T., Simão, A. da S., Vergílio, S. R., & Souza, S. do R. S. de. (2008). ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
NLM
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2025 nov. 05 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Vancouver
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2025 nov. 05 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Trabalho de evento-anais periodico
Generating checking sequences for partial finite state machines (2008)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference, TestCom 2008 - IFIP TC6/WG 6.1. Unidade: ICMC
Assuntos: 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 checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0. Acesso em: 05 nov. 2025. , 2008
APA
Simão, A. da S., & Petrenko, A. (2008). Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
NLM
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2025 nov. 05 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Vancouver
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2025 nov. 05 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Trabalho de evento-anais periodico
Structural testing for semaphore-based multithread programs (2008)
Sarmanho, Felipe S.; Souza, Paulo Sérgio Lopes de ; Souza, Simone do Rocio Senger de ; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference in Computer Science. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMANHO, Felipe S. et al. Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf. Acesso em: 05 nov. 2025. , 2008
APA
Sarmanho, F. S., Souza, P. S. L. de, Souza, S. do R. S. de, & Simão, A. da S. (2008). Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
NLM
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2025 nov. 05 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
Vancouver
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2025 nov. 05 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf

Unidades USP

ReP

Filtros

Autores

Nome do evento