ReP USP - Resultado da busca

Artigo de periodico-carta/editorial
Guest editorial foreword for the special issue on automated software testing [Editorial]: trends and evidence (2018)
Endo, Andre Takeshi; Bertolino, Antonia; Maldonado, José Carlos ; Delamaro, Márcio Eduardo
Source: Journal of Software Engineering Research and Development. Unidade: ICMC
Subjects: SOFTWARES, EVIDÊNCIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, Andre Takeshi et al. Guest editorial foreword for the special issue on automated software testing [Editorial]: trends and evidence. Journal of Software Engineering Research and Development. Heidelberg: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1186/s40411-018-0047-3. Acesso em: 17 nov. 2024. , 2018
APA
Endo, A. T., Bertolino, A., Maldonado, J. C., & Delamaro, M. E. (2018). Guest editorial foreword for the special issue on automated software testing [Editorial]: trends and evidence. Journal of Software Engineering Research and Development. Heidelberg: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1186/s40411-018-0047-3
NLM
Endo AT, Bertolino A, Maldonado JC, Delamaro ME. Guest editorial foreword for the special issue on automated software testing [Editorial]: trends and evidence [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( 2): 1-2.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1186/s40411-018-0047-3
Vancouver
Endo AT, Bertolino A, Maldonado JC, Delamaro ME. Guest editorial foreword for the special issue on automated software testing [Editorial]: trends and evidence [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( 2): 1-2.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1186/s40411-018-0047-3
Artigo de periodico
Correlating automatic static analysis and mutation testing: towards incremental strategies (2016)
Araújo, Claudio A.; Delamaro, Márcio Eduardo ; Maldonado, José Carlos ; Vincenzi, Auri Marcelo Rizzo
Source: Journal of Software Engineering Research and Development. 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
ARAÚJO, Claudio A. et al. Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, v. No 2016, n. 5, p. 1-32, 2016Tradução . . Disponível em: https://doi.org/10.1186/s40411-016-0031-8. Acesso em: 17 nov. 2024.
APA
Araújo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, No 2016( 5), 1-32. doi:10.1186/s40411-016-0031-8
NLM
Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1186/s40411-016-0031-8
Vancouver
Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1186/s40411-016-0031-8
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: 17 nov. 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 nov. 17 ] 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 nov. 17 ] Available from: https://doi.org/10.1007/s10009-012-0240-3
Trabalho de evento-anais periodico
Software testing: an overview (2010)
Machado, Patricia Duarte de Lima; Vincenzi, Auri Marcelo Rizzo; Maldonado, José Carlos
Source: Lecture Notes in Computer Sciences. Conference titles: Pernambuco Summer School on Software Engineering - PSSE. 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
MACHADO, Patricia Duarte de Lima e VINCENZI, Auri Marcelo Rizzo e MALDONADO, José Carlos. Software testing: an overview. Lecture Notes in Computer Sciences. Heidelberg: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-14335-9_1. Acesso em: 17 nov. 2024. , 2010
APA
Machado, P. D. de L., Vincenzi, A. M. R., & Maldonado, J. C. (2010). Software testing: an overview. Lecture Notes in Computer Sciences. Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-14335-9_1
NLM
Machado PD de L, Vincenzi AMR, Maldonado JC. Software testing: an overview [Internet]. Lecture Notes in Computer Sciences. 2010 ; 6153 1-17.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-642-14335-9_1
Vancouver
Machado PD de L, Vincenzi AMR, Maldonado JC. Software testing: an overview [Internet]. Lecture Notes in Computer Sciences. 2010 ; 6153 1-17.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-642-14335-9_1
Trabalho de evento-anais periodico
Functional, control and data flow, and mutation testing: theory and practice (2010)
Vincenzi, Auri Marcelo Rizzo; Delamaro, Márcio Eduardo ; Höhn, Erika Nina; Maldonado, José Carlos
Source: Lecture Notes in Computer Sciences. Conference titles: Pernambuco Summer School on Software Engineering - PSSE 2010. 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
VINCENZI, Auri Marcelo Rizzo et al. Functional, control and data flow, and mutation testing: theory and practice. Lecture Notes in Computer Sciences. Heidelberg: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-14335-9_2. Acesso em: 17 nov. 2024. , 2010
APA
Vincenzi, A. M. R., Delamaro, M. E., Höhn, E. N., & Maldonado, J. C. (2010). Functional, control and data flow, and mutation testing: theory and practice. Lecture Notes in Computer Sciences. Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-14335-9_2
NLM
Vincenzi AMR, Delamaro ME, Höhn EN, Maldonado JC. Functional, control and data flow, and mutation testing: theory and practice [Internet]. Lecture Notes in Computer Sciences. 2010 ; 6153 18-58.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-642-14335-9_2
Vancouver
Vincenzi AMR, Delamaro ME, Höhn EN, Maldonado JC. Functional, control and data flow, and mutation testing: theory and practice [Internet]. Lecture Notes in Computer Sciences. 2010 ; 6153 18-58.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-642-14335-9_2
Monografia/livro-ed/org
Testing software and systems (2010)
Petrenko, Alexandre (Editor); Simão, Adenilso da Silva (Editor) ; Maldonado, José Carlos (Editor)
Source: Proceedings. Conference titles: IFIP WG 6.1 International Conference - ICTSS. 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
Testing software and systems. Proceedings. Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-16573-3. Acesso em: 17 nov. 2024. , 2010
APA
Testing software and systems. (2010). Testing software and systems. Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16573-3
NLM
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Vancouver
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Trabalho de evento-anais periodico
Specialization and instantiation aspects of a standard process for developing educational modules (2008)
Barbosa, Ellen Francine ; Maldonado, José Carlos
Source: Communications in Computer and Information Science. Conference titles: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISOLA. 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
BARBOSA, Ellen Francine e MALDONADO, José Carlos. Specialization and instantiation aspects of a standard process for developing educational modules. Communications in Computer and Information Science. Heidelberg, Berlin: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-540-88479-8_36. Acesso em: 17 nov. 2024. , 2008
APA
Barbosa, E. F., & Maldonado, J. C. (2008). Specialization and instantiation aspects of a standard process for developing educational modules. Communications in Computer and Information Science. Heidelberg, Berlin: Springer-Verlag. doi:10.1007/978-3-540-88479-8_36
NLM
Barbosa EF, Maldonado JC. Specialization and instantiation aspects of a standard process for developing educational modules [Internet]. Communications in Computer and Information Science. 2008 ; 17 503-518.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-540-88479-8_36
Vancouver
Barbosa EF, Maldonado JC. Specialization and instantiation aspects of a standard process for developing educational modules [Internet]. Communications in Computer and Information Science. 2008 ; 17 503-518.[citado 2024 nov. 17 ] Available from: https://doi.org/10.1007/978-3-540-88479-8_36

USP Schools

ReP

Filtros

Authors

Non normalized affiliation