-
Life Sciences
General Agricultural and Biological Sciences
Maria MEIRELLES; Sabrina ROCHA; José Carlos DUARTE; Conte TAYANA; Jose Carlos MALDONADO.
2022.
Avaliando abordagens para seleção de técnicas de design thinking: análise quatitativa e qualitativa.
In:
Sbqs - simpósio brasileiro de qualidade de software.
Brasil.
-
Physical Sciences
Computer Science Applications
Sabrina ROCHA; Maria MEIRELLES; José Carlos DUARTE; Jose Carlos MALDONADO; Conte TAYANA.
2022.
Design para iot: um estudo experimental para entender como o design thinking pode apoiar a elicitação de requisitos para sistemas iot.
In:
Xxi simpósito brasileiro de qualidade de software (sbqs).
Brasil.
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science Applications
E COLLINS; Arilo Cláudio Dias NETO; Auri M R VINCENZI; Jose Carlos MALDONADO.
2021.
Deep reinforcement learning based mobile application gui testing.
In:
Simpósio brasileiro de engenharia de software - sbes.
Brasil.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Artificial Intelligence
Kuroishi P H; Marcio E DELAMARO; Jose Carlos MALDONADO; Vincenzi Auri M R.
2020.
Reducing the cost of mutation testing with the use of primitive arcs concept.
In:
Simpósio brasileiro de qualidade de software - sbqs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vincenzi Auri M R; Barbosa A P S; Sousa C S; Polimanti C; Oliveira F et al.
2020.
Loggi: treinamento localizado em automatização de teste de software em ambiente empresarial.
In:
Xi congresso brasileiro de software: teoria e prática - trilha da indústria - cbsoft'2020.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Language and Linguistics
Marcio E DELAMARO; Marcos Lordello CHAIM; Jose Carlos MALDONADO.
2018.
Where are the minimal mutants.
In:
Sbes 2018 - insightful ideas and emerging results.
Brasil.
-
Social Sciences & Humanities
Education
José R H CARVALHO; A M R VINCENZI; Jose Carlos MALDONADO; M GONÇALVES.
2018.
Industry and academia partnership for short-time high-level qualification.
In:
Ieee frontiers in education conference (fie 2018).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Ridel D; Tridico S; Branco L H C; Jose Carlos MALDONADO; Kalinka Regina Lucas Jaquie Castelo BRANCO.
2018.
Technovation hackday @ icmc-usp. um instrumento de difusão e articulação de meninas na computação.
In:
12º women in information technology (wit 2018).
Brasil.
-
Social Sciences & Humanities
Education
Tridico S; Ridel D; Maria Lydia FIORAVANTI; Branco L H C; Jose Carlos MALDONADO et al.
2018.
Ações para a inclusão feminina na era digital: despertando o interesse em programação.
In:
Xliv latin american computing conference (clei 2018) - x latin american women in computing congress.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Pedro Henrique Dias VALLE; Armando Maciel TODA; Ellen Francine BARBOSA; José Carlos MALDONADO.
2017.
Educational games: a contribution to software testing education.
In:
2017 ieee frontiers in education conference (fie 2017).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
Kenyo Abadio Crosara FARIA; Eduardo Noronha De Andrade FREITAS; Jose Carlos MALDONADO; Auri M R VINCENZI.
2016.
Pharos: uma ferramenta para identificação de defeitos em nível de métodos a partir de commits e gerenciadores de defeitos.
In:
Congresso brasileiro de software: teoria e prática - cbsoft - sessão de ferramentas.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Physical Sciences
Software
Luis Jorge Enrique Rivero CABREJOS; Auri VINCENZI; José Carlos MALDONADO; Tayana Uchôa CONTE.
2015.
Evaluating software engineers? acceptance of a technique and tool for web usability inspection.
In:
27th international conference on software engineering and knowledge engineering (seke 2015).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Filipe Gomes LEME; Fabiano Cutigi FERRARI; Jose Carlos MALDONADO; Awais RASHID.
2015.
Multi-level mutation testing of java and aspectj programs supported by the proteum/ajv2 tool.
In:
Congresso brasileiro de software: teoria e prática - sessão de ferramentas.
Brasil.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; Maria Lydia FIORAVANTI; Elisa Yumi NAKAGAWA; José Carlos MALDONADO.
2013.
Towards the establishment of a reference architecture for developing learning environments.
In:
25th international conference on software engineering and knowledge engineering (seke 2013).
Estados Unidos.
-
Social Sciences & Humanities
Education
Kátia Romero FELIZARDO; Ellen Francine BARBOSA; José Carlos MALDONADO.
2013.
A visual approach to validate the selection review of primary studies in systematic reviews: a replication study.
In:
25th international conference on software engineering and knowledge engineering (seke 2013).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
A S MARCOLINO; Edson Alves De Oliveira JUNIOR; Itana Maria De Souza GIMENES; Jose Carlos MALDONADO.
2013.
Towards the effectiveness of a variability management approach at use case level.
In:
Seke - international conference on software engineering and knowledge engineering.
Estados Unidos.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
Ferrari Fabiano C; Bruno Barbieri De Pontes CAFEO; Otávio A L LEMOS; Jose Carlos MALDONADO; Masiero Paulo C.
2013.
Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing.
In:
Latin american workshop on aspect-oriented software development (la-wasp).
Brasil.
-
Physical Sciences
Artificial Intelligence
Auri M R VINCENZI; João Carlos Da SILVA; Leitão Jr P S; Jose Carlos MALDONADO; Marcio E DELAMARO et al.
2013.
How exception handling constructions are tested: an initial investigation with open source software.
In:
International conference on software engineering advances - icsea.
Brasil.
-
Physical Sciences
Computer Science Applications
Auri M R VINCENZI; Gilcimar Divino De DEUS; João Carlos Da SILVA; Plinio De Sa Leitao JUNIOR; Jose Carlos MALDONADO et al.
2013.
The use of experimentation packages for evaluating the quality of mobile software products.
In:
International conference on software engineering advances - icsea.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Draylson Micael De SOUZA; Jose Carlos MALDONADO; Ellen Francine BARBOSA.
2012.
Aspectos de desenvolvimento e evolução de um ambiente de apoio ao ensino de programação e teste de software.
In:
: xxiii simpósio brasileiro de informática na educação (sbie 2012) - congresso brasileiro de informática na educação (cbie 2012).
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Marco Aurélio Graciotto SILVA; Ellen Francine BARBOSA; José Carlos MALDONADO.
2011.
Model-driven development of learning objects.
In:
41st frontiers in education conference (fie 2011).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Joice Basílio MACHADO; Marco Aurélio Graciotto SILVA; José Carlos MALDONADO; Ellen Francine BARBOSA.
2011.
Reengineering of educational content: an experience in the computer networks domain.
In:
Xxii simpósio brasileiro de informática na educação ? xvii workshop de informática na educação (sbie-wie 2011).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Martin BECKER; Jose Carlos MALDONADO.
2011.
Kraf: a knowledge-based reference architecture framework.
In:
Workshop do instituto nacional de ciência e tecnologia em sistemas embarcados críticos (iw inct-sec?2011).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2011.
Towards open source reference architectures.
In:
V simpósio brasileiro de componentes; arquiteturas e reutilização de software (sbcars?2011).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2011.
An experience of open source development for historical heritage domain.
In:
Iadis international conference information systems 2011 (iadis is´2011).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Rodrigo Fraxino De ARAUJO; Jose Carlos MALDONADO; M E DELAMARO; Auri M R VINCENZI.
2011.
Devising mutant operators for dynamic systems models by applying the hazop study.
In:
International conference on software engineering advances - icsea; 2011.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Jacson Rodrigues BARBOSA; Jose Carlos MALDONADO; Delamaro Marcio EDUARDO; Auri M R VINCENZI.
2011.
Software testing in critical embedded systems: a systematic review of adherence to the do-178b standard.
In:
International conference on advances in system testing and validation lifecycle - valid.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
M E DELAMARO; M L CHAIM; Auri M R VINCENZI; M JINO; Jose Carlos MALDONADO.
2011.
Twenty-five years of research in structural and mutation.
In:
Simpósio brasileiro de engenharia de software - sbes.
Brasil.
-
Social Sciences & Humanities
Education
André Mesquita RINCON; Auri M R VINCENZI; M L CHAIM; M E DELAMARO; Jose Carlos MALDONADO.
2011.
Avaliação empírica de conjuntos de testes de projetos de software livre.
In:
Brazilian workshop on systematic and automated software testing - sast.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Draylson Micael De SOUZA; Jose Carlos MALDONADO; Ellen Francine BARBOSA.
2011.
Uma contribuição à submissão e avaliação automática de trabalhos de programação com base em atividades de teste.
In:
Xixv simpósio brasileiro de engenharia de software (sbes 2011) - sessão de ferramentas;.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Fabiano Cutigi FERRARI; Otávio A L LEMOS; Paulo Cesar MASIERO; Jose Carlos MALDONADO.
2010.
An exploratory study of fault-proneness in evolving aspect-oriented programs.
In:
32nd international conference on software engineering.
África Do Sul.
-
Physical Sciences
Computer Science (miscellaneous)
Fabiano Cutigi FERRARI; Nakagawa Elisa YUMI; Jose Carlos MALDONADO.
2010.
Automating the mutation testing of aspect-oriented java programs.
In:
5th international workshop automation of software test.
África Do Sul.
-
Physical Sciences
Computer Science (miscellaneous)
Ricardo REIMÃO; Elisa Yumi NAKAGAWA; T BIANCHI; Jose Carlos MALDONADO.
2010.
Um portal web livre para disseminação de informações sobre sistemas embarcados críticos.
In:
Xi fórum internacional de software livre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; J V T TREVISAN; Jose Carlos MALDONADO.
2010.
Software configuration management as a crosscutting concern: an example on testing.
In:
22nd international conference on software engineering and knowledge engineering (seke?2010).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Katia Romero FELIZARDO; Elisa Yumi NAKAGAWA; Daniel FEITOSA; Jose Carlos MALDONADO.
2010.
An approach based on visual text mining to support categorization and classification in the systematic mapping.
In:
13th international conference on evaluation & assessment in software engineering (ease?2010).
Brasil.
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
Adriana Rocha VIDAL; André Mesquita RINCON; M E DELAMARO; Jose Carlos MALDONADO; Auri M R VINCENZI.
2010.
Avaliando a qualidade de conjuntos de teste de software de código aberto por meio de critérios de teste estruturais.
In:
Workshop de software livre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diogo Nascimento CAMPANHA; Simone Do Rocio Senger De SOUZA; Otávio Augusto Lazarini LEMOS; Ellen Francine BARBOSA; José Carlos MALDONADO.
2009.
Reutilização de conjuntos de teste: um estudo no domínio de algoritmos de ordenação.
In:
6th experimental software engineering latin american workshop (eselaw 2009).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Fabiano Cutigi FERRARI; Erika Nina HÖHN; Jose Carlos MALDONADO.
2009.
Testing aspect-oriented software: evolution and collaboration through the years.
In:
Latin american workshop on aspect-oriented software development - la-wasp 2009.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Flavio DUSSE; Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO.
2009.
Análise de mutantes aplicada a critérios de cobertura de teste a partir de mefs.
In:
Iii workshop brasileiro de teste de software sistemático e automatizado - sbmf/sast.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; M M F SASAKI; Jose Carlos MALDONADO.
2009.
An aspect-oriented framework for software documentation: an example on testing.
In:
Xii iberoamerican conference on requirements engineering and software environments (ideas 2009).
Colômbia.
-
Physical Sciences
Computer Science (miscellaneous)
Vicente A ABE; Márcio Eduardo DELAMARO; Jose Carlos MALDONADO.
2009.
Uma revisão sistemática sobre a atividade de teste de software em métodos ágeis.
In:
Xxxv conferencia latinoamericana de informática (xxxv clei).
Brasil.
-
Social Sciences & Humanities
Education
Rodrigo Fraxino ARAÚJO; Vinicius Humberto DURELLI; Márcio Eduardo DELAMARO; Jose Carlos MALDONADO.
2009.
Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática.
In:
3rd brazilian workshop on systematic and automated software testing (sbmf 2009 - sast).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Katia Romero FELIZARDO; R M MARTINS; Jose Carlos MALDONADO; Rosane MINGHIM.
2009.
Context based visual mining of document collections.
In:
Ii international workshop on web and text intelligence (wti 2009).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Ellen Francine BARBOSA; Jose Carlos MALDONADO.
2009.
Exploring ontologies to support the establishment of reference architecture: an example on software testing.
In:
8th working ieee/ifip conference on software architecture (wicsa) / 3rd european conference on software architecture (ecsa).
Inglaterra.
-
Physical Sciences
Computer Science Applications
Malheiros VIVIANE; Carolyn SEAMAN; Jose Carlos MALDONADO.
2009.
An approach for collaborative and distributed software process improvement (spi).
In:
Workshop on distributed software development - wdds.
Brasil.
-
Social Sciences & Humanities
Education
Katia Romero FELIZARDO; Gabriel F ANDERY; Jose Carlos MALDONADO; Rosane MINGHIM.
2009.
Uma abordagem visual para auxiliar a revisão da seleção de estudos primários na revisão sistemática.
In:
6th experimental software engineering latin american workshop - eselaw.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; R M MARTINS; Katia Romero FELIZARDO; Jose Carlos MALDONADO.
2009.
Towards a process to design aspect-oriented reference architectures.
In:
Xxxv latin american informatics conference (clei 2009).
Brasil.
-
Social Sciences & Humanities
Education
-
Physical Sciences
Artificial Intelligence
Ellen Francine BARBOSA; Elisa Yumi NAKAGAWA; Ana Cláudia RIEKSTIN; José Carlos MALDONADO.
2008.
Ontology-based development of testing related tools.
In:
20th conference on software engineering and knowledge engineering (seke 2008).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Rogério Eduardo GARCIA; Erika Nina HÖHN; Ellen Francine BARBOSA; José Carlos MALDONADO.
2008.
An ontology for experiments on software engineering.
In:
20th conference on software engineering and knowledge engineering (seke 2008).
Estados Unidos.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; José Carlos MALDONADO.
2008.
Specialization and instantiation aspects of a standard process for developing educational modules.
In:
3rd international symposium on leveraging applications of formal methods; verification and validation (isola 2008) - track processes; methods and tools for developing educational modules to support teaching and technology transfer.
Grécia.
-
Physical Sciences
Information Systems
Marco Aurélio Graciotto SILVA; Vanessa Araujo BORGES; Ellen Francine BARBOSA; José Carlos MALDONADO.
2008.
Novas tendências no ensino de engenharia de software: um estudo de caso no domínio de teste de software.
In:
Xxii simpósio brasileiro de engenharia de software (sbes 2008) ? i fórum de educação em engenharia de software (fees).
Brasil.
-
Physical Sciences
Artificial Intelligence
Fabiano Cutigi FERRARI; Jose Carlos MALDONADO; Awais RASHID.
2008.
Mutation testing for aspect-oriented programs.
In:
International conference on software testing; verification and validation (icst'2008).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Fabiano Cutigi FERRARI; Jose Carlos MALDONADO.
2008.
Experimenting with a multi-iteration systematic review in software engineering.
In:
Experimental software engineering latin america workshop - eselaw.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcio Eduardo DELAMARO; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
2008.
Evaluating structural criteria for testing mobile code.
In:
International conference on evaluation and assessment in software engineering - ease.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Manoel Gomes De Mendonça NETO; Jose Carlos MALDONADO; Maria Cristina Ferreira De OLIVEIRA; Jeff CARVER; Sandra Camargo Pinto Ferraz FABBRI et al.
2008.
A framework for software engineering experimental replications.
In:
International conference on engineering of computer-based systems - ecbs 2008.
Irlanda Do Norte.
-
Physical Sciences
Artificial Intelligence
Elisa Yumi NAKAGAWA; Rafael FUKASE; P FISCHER; Maria Cristina Ferreira De OLIVEIRA; Jose Carlos MALDONADO.
2008.
Disseminação de informações via dados livres.
In:
Ix workshop de software livre (wsl 2008).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2008.
Requisitos arquiteturais como base para a qualidade de ambientes de engenharia de software.
In:
Xi iberoamerican workshop on requirements engineering and software environments (ideas 2008).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2008.
Towards aspects as an integration mechanism in software engineering environments.
In:
Iasted sea 2008 - 9th iasted international conference on software engineering and applications.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Edson Alves De Oliveira JUNIOR; Itana M S GIMENES; Jose Carlos MALDONADO.
2008.
A metric suite to support software product line architecture evaluation.
In:
Xxxiv conferência latinoamericana de informática (clei).
Argentina.
-
Social Sciences & Humanities
Education
M P PRADO; Simone Do Rocio Senger De SOUZA; Jose Carlos MALDONADO.
2008.
Um conjunto de artefatos para apoio à definição de estudos experimentais em teste de software.
In:
5th experimental software engineering latin american workshop -eselaw.
Brasil.
-
Social Sciences & Humanities
Education
Malheiros VIVIANE; Serge REHEM; Jose Carlos MALDONADO.
2008.
Atabaque: uma contribuição de sucesso na evolução de processos.
In:
Vii simpósio brasileiro de qualidade de software (sbqs).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2008.
Reference architecture knowledge representation: an experience.
In:
3rd workshop on sharing and reusing architectural knowledge (shark 2008).
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Kiyoshi De Brito MURATA; G F ANDERY; L B MORELLI; Jose Carlos MALDONADO.
2008.
Software architecture relevance in open source software evolution: a case study.
In:
Ieee international workshop on quality and architectural concerns in open source software (qacos 2008).
Finlândia.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno A ARROYO; Jose Carlos MALDONADO; Elisa Yumi NAKAGAWA.
2008.
Projeto de um sistema de help para sistemas web: uma perspectiva transversal.
In:
Xvi simpósio internacional de iniciação científica da universidade de são paulo (siicusp 2008).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
G F ANDERY; Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO; Leandro Parros MACHADO.
2008.
Módulo de busca por imagens no sistema memória virtual.
In:
Xvi simpósio internacional de iniciação científica da universidade de são paulo (siicusp 2008).
Brasil.
-
Social Sciences & Humanities
Education
M M F SASAKI; Jose Carlos MALDONADO; Elisa Yumi NAKAGAWA.
2008.
Projeto de um módulo de documentação de teste de software.
In:
Xvi simpósio internacional de iniciação científica da universidade de são paulo (siicusp 2008).
Brasil.
-
Social Sciences & Humanities
Education
J V T TREVISAN; Jose Carlos MALDONADO; Elisa Yumi NAKAGAWA.
2008.
Projeto de um sistema orientado a aspecto de gerência de configuração de teste de software.
In:
Xvi simpósio internacional de iniciação científica da universidade de são paulo (siicusp 2008).
Brasil.
-
Social Sciences & Humanities
Museology
G F ANDERY; Elaine Parros M De SOUSA; Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2008.
De dados de acervos históricos e culturais no sistema memória virtual de são carlos.
In:
Sessão de pôsteres; xxiii simpósio brasileira de banco de dados (sbbd 2008).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ellen Francine BARBOSA; Simone Do Rocio Senger De SOUZA; André Luis Dos Santos DOMINGUES; Alessandra CHAN; Erika Nina HÖHN et al.
2007.
Uma experiência no ensino de inspeção e teste de software.
In:
Vi simpósio brasileiro de qualidade de software.
Brasil.
-
Physical Sciences
Computer Science Applications
Camila Kozlowski Della CORTE; Ana Cláudia RIEKSTIN; Marco Aurélio Graciotto SILVA; Ellen Francine BARBOSA; José Carlos MALDONADO.
2007.
Progtest: ambiente para submissão e avaliação de trabalhos práticos.
In:
Xviii simpósio brasileiro de informática na educação (sbie 2007) ? workshop sobre ambientes de apoio à aprendizagem de algoritmos e programação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2007.
Representing aspect-based architecture of software engineering environments.
In:
Workshop on aspects in architectural description.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
Jose Carlos MALDONADO; E Y NAKAGAWA; A S SIMÃO.
2007.
Addressing separation of concerns in software engineering environments.
In:
Iasted international conference on software engineering.
Austria.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Adenilso Da Silva SIMÃO; Fabiano Cutigi FERRARI; Jose Carlos MALDONADO.
2007.
Towards a reference architecture for software testing tools.
In:
Nineteenth international conference on software engineering and knowledge engineering seke'2007.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcio Eduardo DELAMARO; Paulo Augusto NARDI; O A L LEMOS; Edmundo S SPOTO; Jose Carlos MALDONADO et al.
2007.
Static analysis of java bytecode for domain-specific software testing.
In:
Simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adenilso Da Silva SIMÃO; Alexandre PETRENKO; Jose Carlos MALDONADO.
2007.
Experimental evaluation of coverage criteria for fsm-based testing.
In:
Simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Luis Dos Santos DOMINGUES; Sandro Lopes BIANCHINI; Marcella Letícia De Souza COSTA; Fabiano Cutigi FERRARI; Jose Carlos MALDONADO.
2007.
Web application development methods: a comparison.
In:
Workshop on business process management.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alessandra CHAN; Maria Istela CAGNIN; Jose Carlos MALDONADO; R T V BRAGA.
2007.
Uma proposta de ambiente para apoiar a utilização de padrões de software e requisitos de teste no desenvolvimento de aplicações.
In:
Conferência latino-americana em linguagens de padrões para programação.
Brasil.
-
Social Sciences & Humanities
Education
Rogério Eduardo GARCIA; Maria Cristina Ferreira De OLIVEIRA; Jose Carlos MALDONADO.
2007.
Esein-virtuo: a tool for running in-virtuo experimental studies.
In:
Iv experimental software engineering latin american workshop - eselaw.
Brasil.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; José Carlos MALDONADO.
2006.
An integrated content modeling approach for educational modules.
In:
Ifip international conference on education for the 21st century - 19th ifip world computer congress (wcc 2006).
Chile.
-
Physical Sciences
Computer Science (miscellaneous)
Camila Kozlowski Della CORTE; Ellen Francine BARBOSA; José Carlos MALDONADO.
2006.
Integrated teaching of programming foundations and software testing.
In:
Ifip international conference on education for the 21st century - 19th ifip world computer congress (wcc 2006).
Chile.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; José Carlos MALDONADO.
2006.
A standard process for developing educational modules.
In:
36th annual frontiers in education conference (fie 2006).
Estados Unidos.
-
Social Sciences & Humanities
Education
Camila Kozlowski Della CORTE; Ellen Francine BARBOSA; José Carlos MALDONADO.
2006.
Estabelecimento de mecanismos de apoio ao ensino integrado de fundamentos de programação e teste de software.
In:
Xiv workshop sobre educação em computação (wei 2006).
Brasil.
-
Physical Sciences
Artificial Intelligence
Ellen Francine BARBOSA; José Carlos MALDONADO.
2006.
Establishing a mutation testing educational module based on ima-cid.
In:
2nd workshop on mutation analysis (mutation 2006).
Estados Unidos.
-
Physical Sciences
Mathematics (miscellaneous)
A L BONIFÁCIO; A S SIMÃO; A MOURA; Jose Carlos MALDONADO.
2006.
Conformance testing by model checking timed extended finite state machines.
In:
Simpósio brasileiro de métodos formais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M E DELAMARO; A M R VINCENZI; Jose Carlos MALDONADO.
2006.
A strategy to perform coverage testing of mobile applications.
In:
First workshop on automation of software test - ast'06.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
E F BARBOSA; E Y NAKAGAWA; Jose Carlos MALDONADO.
2006.
Towards the establishment of an ontology of software testing.
In:
Eighteenth international conference on software engineering and knowledge engineering (seke'06).
Estados Unidos.
-
Social Sciences & Humanities
Psychology (miscellaneous)
V V CAMARGO; E N HÖHN; Jose Carlos MALDONADO.
2006.
Um estudo comparativo do tempo de composição de um framework orientado a aspectos de persistência e de um framework orientado a objetos de persistência.
In:
Xx simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Jose Carlos MALDONADO; F C FERRARI.
2006.
Uma revisão sistemática sobre teste de software orientado a aspectos.
In:
Iii workshop brasileiro de desenvolvimento de software orientado a aspectos (wasp'2006) - realizado em conjunto com o xx simpósio brasileiro de engenharia de software (sbes'2006).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
F D GOMES; M I CAGNIN; Jose Carlos MALDONADO.
2006.
Esboço de um processo ágil de desenvolvimento baseado em framework.
In:
Xxxii conferência latino-americana de informática.
Chile.
-
Social Sciences & Humanities
Arts and Humanities (miscellaneous)
E Y NAKAGAWA; N F CRUZ; Jose Carlos MALDONADO.
2006.
Relevância dos requisitos no desenvolvimento de software livre.
In:
Fórum internacional software livre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M I CAGNINI; R PENTEADO; R T V BRAGA; F S R GERMANDO; Jose Carlos MALDONADO.
2006.
Empirical studies progress on framework-based (re)-engineering.
In:
Experimental software engineering latin american workshop.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Katia Romero FELIZARDO; Sandra Camargo Pinto Ferraz FABBRI; André Luis Dos Santos DOMINGUES; Marcelo VISCONTI; Jose Carlos MALDONADO.
2006.
Cotest - code testing experiment supporting tool.
In:
5th acm ieee international symposium on empirical software engineering.
Brasil.
-
Health Sciences
Genetics (clinical)
Auri M R VINCENZI; M E DELAMARO; A S SIMÃO; Jose Carlos MALDONADO.
2005.
Muta-pro: towards the definition of a mutation testing process.
In:
6th latin-american test workshop (latw'05).
Brasil.
-
Social Sciences & Humanities
Education
A D ROCHA; A S SIMÃO; Jose Carlos MALDONADO; P C MASIERO.
2005.
Uma ferramenta baseada em aspectos para o teste funcional de programas java.
In:
20º simposio brasileiro de engenharia de software (sbes'05).
Brasil.
-
Life Sciences
Genetics
T SUGETA; Jose Carlos MALDONADO; E W WONG.
2005.
Structural and mutation testing for sdl specifications: a case study.
In:
6th ieee latin-american test workshop.
Brasil.
-
Physical Sciences
Artificial Intelligence
M I CAGNIN; R T V BRAGA; F S GERMANO; A CHAN; Jose Carlos MALDONADO.
2005.
Extending patterns with testing implementation.
In:
V latin american conference on pattern languages of programming.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
R E GARCIA; Jose Carlos MALDONADO; M C F OLIVEIRA.
2005.
Genetic algorithms to support software engineering experimentation.
In:
Iv international symposium on empirical software engineering.
Estados Unidos.
-
Social Sciences & Humanities
Education
R E GARCIA; J CARVER; M C F OLIVEIRA; Jose Carlos MALDONADO.
2005.
In-virtuo experimental studies: an approach based on genetic algorithms.
In:
2nd experimental software engineering latin american workshop.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
A BELGAMO; S C P F FABBRI; Jose Carlos MALDONADO.
2005.
Avaliando a qualidade da técnica guccra com técnica de inspeção.
In:
Viii workshop on requirements engineering.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
A BELGAMO; S C P F FABBRI; Jose Carlos MALDONADO.
2005.
Tucca improving the effectiveness of use case construction and requirements analysis.
In:
International symposium on empirical software engineering.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
E Y NAKAGAWA; T BIANCHI; P FISCHER; Jose Carlos MALDONADO.
2005.
Memria virtual: estabelecimento da arquitetura e requisitos do sistema.
In:
Fórum internacional software livre.
Brasil.
-
Physical Sciences
Artificial Intelligence
Tatiana SUGETA; Jose Carlos MALDONADO; W E WONG.
2004.
Mutation testing applied to validate sdl specifications.
In:
16th ifip international conference on testing of communicating systems.
Inglaterra.
-
Physical Sciences
Computer Science (miscellaneous)
Camila K D CORTE; Ellen Francine BARBOSA; Jose Carlos MALDONADO.
2004.
Ensino integrado de fundamentos de programação e de teste de software in: xii workshop de educação em informática.
In:
Xii workshop de educação em informática (xii wei 2004).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M E FREITAS; P PAGLIUSO; A L V BOAS; C TAMBASCIA; Jose Carlos MALDONADO et al.
2004.
Inspeção de documentos de requisitos baseada em técnica de leitura pbr: experiência prática no cpqd.
In:
Iii simpósio brasileiro de qualidade de software.
Brasil.
-
Physical Sciences
Computer Science Applications
E N HÖHN; Jose Carlos MALDONADO; M MENDONÇA; S C P F FABBRI; A L V BOAS et al.
2004.
Pbr: transferência de tecnologia baseada em pacotes de experimentação.
In:
Iii simpósio brasileiro de qualidade de software.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
R E GARCIA; M C F OLIVEIRA; Jose Carlos MALDONADO; M G MENDONÇA.
2004.
Visual analysis of data from empirical studies.
In:
International workshop on visual languages and computing (vlc´2004).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M I CAGNIN; Jose Carlos MALDONADO; R D PENTEADO; R T V BRAGA; F S GERMANO.
2004.
Gren-wizardversioncontrol: uma ferramenta de apoio ao controle de versão das aplicações criadas pelo framework gren.
In:
Xi sessão de ferramentas do xviii simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
M I CAGNIN; Jose Carlos MALDONADO; A CHAN; R D PENTEADO; F S GERMANDO.
2004.
Reuso na atividade de teste para reduzir custo e esforço de vv&t no desenvolvimento e na reengenharia de software.
In:
Xviii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M I CAGNIN; Jose Carlos MALDONADO; R T V BRAGA; F S GERMANDO; R D PENTEADO.
2004.
Uma ferramenta de apoio ao controle de versão das aplicações criadas por um framework.
In:
Xxx conferência latino-americana de informática.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
A D ROCHA; A S SIMÃO; Jose Carlos MALDONADO; P C MASIERO.
2004.
Teste funcional: uma abordagem auxiliada por aspectos.
In:
I workshop brasileiro de desenvolvimento de software orientado a aspectos.
Brasil.
-
Physical Sciences
Artificial Intelligence
M I CAGNIN; Jose Carlos MALDONADO; P C MASIERO; R T V BRAGA; R D PENTEADO.
2004.
An evolution process for application frameworks.
In:
I workshop de manutenção de software moderna em conjunto com xviii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science Applications
Maristela CAGNIN; Debora Maria Barroso PAIVA; José Carlos MALDONADO; Rosangela Aparecida D PENTEADO; Renata Pontin De Mattos FORTES et al.
2004.
From design rationale to reengineering rationale: lessons learned in a maintenance pilot case study.
In:
4ª jornadas iberoamericanas de ingeniería del software e ingeniería del conocimiento.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
M I CAGNIN; R T V BRAGA; R D PENTEADO; Jose Carlos MALDONADO; P C MASIERO et al.
2004.
Empirical studies on framework-based (re)-engineering.
In:
First experimental software engineering latin american workshop in conjuction with xviii simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
O A L LEMOS; A M R VINCENZI; Jose Carlos MALDONADO; P C MASIERO.
2004.
Teste de unidade de programas orientados a aspectos.
In:
Xviii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
D S CRUZES; M G MENDONÇA; Jose Carlos MALDONADO; M JINO.
2004.
Using visualization to bring context information to software engineering model building.
In:
International workshop on visual languages and computing (vlc´2004).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Thaise YANO; A S SIMÃO; Jose Carlos MALDONADO.
2004.
Estudo do teste de mutação para a linguagem standard ml.
In:
30ª conferência latinoamericana de informática.
Peru.
-
Social Sciences & Humanities
Education
E F BARBOSA; Jose Carlos MALDONADO.
2004.
Mecanismos de apoio modelagem de contedos: uma contribuio ao processo de desenvolvimento de mdulos educacionais.
In:
Simpósio brasileiro de informática na educação (sbie'2004).
Brasil.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; José Carlos MALDONADO; Carmen Lúcia Lodi MAIDANTCHIK.
2003.
Padronização de processos para o desenvolvimento de módulos educacionais.
In:
Xxix latin-american conference on informatics.
Bolívia.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; José Carlos MALDONADO; Ivan Luiz Marques RICARTE.
2003.
Exploring learning objects under conceptual; instructional and didactic perspectives.
In:
I pgl db research conference.
Brasil.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; Richard LEBLANC; José Carlos MALDONADO; Mark GUZDIAL.
2003.
The challenge of teaching software testing earlier into design courses.
In:
Ii workshop on the teaching of software testing.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; R LEBLANC; M GUZDIAL; Jose Carlos MALDONADO.
2003.
Introducing testing practices into objects and design course.
In:
16th conference on software engineering education and training (csee&t 2003).
Espanha.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
S LINKMAN; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
2003.
An evaluation of systematic functional testing using mutation testing.
In:
Vii international conference on empirical assessment in software engineering - ease'2003.
Inglaterra.
-
Physical Sciences
Computer Science (miscellaneous)
Auri Marcelo Rizzo VINCENZI; W E WONG; Jose Carlos MALDONADO.
2003.
Jabuti: a coverage analysis tool for java programs.
In:
Xvii simpósio brasileiro de engenharia de software - sbes'2003.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Auri Marcelo Rizzo VINCENZI; Márcio Eduardo DELAMARO; Jose Carlos MALDONADO; W E WONG.
2003.
Java bytecode static analysis: deriving structural testing requirements.
In:
Ii uk software testing workshop.
Inglaterra.
-
Physical Sciences
Artificial Intelligence
Adenilso Da Silva SIMÃO; Simone Do Rocio Senger De SOUZA; Jose Carlos MALDONADO.
2003.
A family of coverage testing criteria for coloured petri nets.
In:
Xvii simpósio brasileiro de engenharia de software - sbes'2003.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Thaise YANO; Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO.
2003.
Proteum/sml - uma ferramenta de apoio ao teste de mutação para a linguagem standard ml.
In:
Sessao de ferramentas do xvii simpósio brasileiro de engenharia de engenharia de software - sbes'2003.
Brasil.
-
Physical Sciences
Biomedical Engineering
Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO.
2003.
Coloured petri nets: safety analysis using mutation testing.
In:
First latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Computer Science Applications
W E WONG; Tatiana SUGETA; Y QI; Jose Carlos MALDONADO.
2003.
Smart debugging software architectural design in sdl.
In:
27th annual international computer software and applications conference - compsac'2003.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Maria Istela CAGNIN; Jose Carlos MALDONADO; Rosangela Aparecida Dellosso PENTEADO; Fernão Stella De Rodrigues GERMANO.
2003.
Parfait: towards a framework-based agile reengineering process.
In:
Agile development conference.
Estados Unidos.
-
Physical Sciences
Biomedical Engineering
Maria Istela CAGNIN; Jose Carlos MALDONADO; Rosangela Aparecida Dellosso PENTEADO; Fernão Stella De Rodrigues GERMANO.
2003.
Investigation and definition of a computer-aided framework-based agile reengineering process.
In:
Workshop de teses em engenharia de software do simpósio brasileiro de engenharia de software - sbes'2003.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Maria Istela CAGNIN; Jose Carlos MALDONADO; Fernão Stella De Rodrigues GERMANO; Paulo Cesar MASIERO; Alessandra CHAN et al.
2003.
An agile reverse engineering process based on a framework.
In:
Vi workshop em engenharia de requisitos.
Brasil.
-
Physical Sciences
Artificial Intelligence
Maria Istela CAGNIN; Jose Carlos MALDONADO; Fernão Stella De Rodrigues GERMANO; Alessandra CHAN; Rosangela Aparecida Dellosso PENTEADO.
2003.
Um estudo de caso de reengenharia utilizando o processo parfait.
In:
Simpósio de desenvolvimento e manutenção de software da marinha.
Brasil.
-
Physical Sciences
Artificial Intelligence
Alessandra CHAN; Maria Istela CAGNIN; Jose Carlos MALDONADO.
2003.
Estudo e aplicação de um processo de reengenharia em sistemas legados.
In:
Xxi simpósio internacional de iniciação científica da usp (siicusp).
Brasil.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; José Carlos MALDONADO; Ivan Luiz Marques RICARTE.
2002.
Towards the determination of requirements for conceptual modeling on learning materials.
In:
Informatics curricula; teaching methods and best practice working conference.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO; Roberto Da Silva BIGONHA.
2002.
Using denotational semantics in the valitation of the compiler for a mutation-oriented language.
In:
5th workshop on formal methods.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adenilso Da Silva SIMÃO; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
2002.
Mudelgen: a tool for processing mutant operator description.
In:
Simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adenilso Da Silva SIMÃO; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO; Antonio Carlos De Lima SANTANA.
2002.
Idel: a language for program instrumentation.
In:
Conferencia latinoamericana de informática clei.
Uruguai.
-
Physical Sciences
Computer Science (miscellaneous)
Auri Marcelo Rizzo VINCENZI; Marcio E DELAMARO; Adenilso Da Silva SIMÃO; W E WONG; Jose Carlos MALDONADO.
2002.
Jabá: a java bytecode analyzer.
In:
Simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
André Luís Dos Santos DOMINGUES; Adenilso Da Silva SIMÃO; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
2002.
Evaltool: um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos.
In:
Simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Luciana Andréia Fondazzi MARTIMIANO; Jose Carlos MALDONADO.
2002.
An evaluation of regression testing techniques: a case study.
In:
Xxviii conferência latino-americana de informática.
Uruguai.
-
Physical Sciences
Computer Science (miscellaneous)
Ellen Francine BARBOSA; Jose Carlos MALDONADO; Ivan L M RICARTE.
2002.
Learning materials: towards the establishment of guidelines for domain modeling.
In:
Ictem?2002 - ifip wg 3.2 working conference on informatics curricula; teaching methods and best practice.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Lordello CHAIM; Jose Carlos MALDONADO; Mario JINO; Plínio R S VILELA.
2002.
Data-flow testing of programs with pointers and records: implementation; effectiveness; and cost.
In:
International conference on computer science; software engineering; information technology; e-business; and applications.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Lordello CHAIM; Jose Carlos MALDONADO; Mario JINO.
2002.
On the use of dynamic data-flow testing information for fault localizations.
In:
Workshop on software quality of the international conference on software engineering.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
F SHULL; V BASILI; J CARVER; Jose Carlos MALDONADO; G H TRAVASSOS.
2002.
Replicating software engineering experiments: adressing the tacit knowledge problem.
In:
International symposium on empirical software engineering.
Japão.
-
Physical Sciences
General Computer Science
Regiane Aparecida MARUCCI; Sandra Camargo Pinto Ferraz FABBRI; Jose Carlos MALDONADO; G H TRAVASSOS.
2002.
Oorts/prodes: definição de técnicas de leitura para um processo de software orientado a objetos in: i simpósio brasileiro de qualidade de software.
In:
I simpósio brasileiro de qualidade de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Tatiana SUGETA; Jose Carlos MALDONADO; Paulo Cesar MASIERO; Sandra Camargo Pinto Ferraz FABBRI.
2001.
Proteum/st: a tool to support statecharts validation based on mutation testing.
In:
4o workshop ibero-americano de engenharia e ambientes de software - ideas'2001.
Costa Rica.
-
Physical Sciences
Artificial Intelligence
Auri Marcelo Rizzo VINCENZI; Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO; Márcio Eduardo DELAMARO; Roseli Aparecida Francelin ROMERO.
2001.
Bayesian-learning based guidelines to determine equivalent mutants.
In:
13th international conference on software engineering & knowledge engineering - seke'2001.
Argentina.
-
Physical Sciences
Computer Science (miscellaneous)
Elisa Yumi NAKAGAWA; Jose Carlos MALDONADO.
2001.
Software-fault injection based on mutant operators.
In:
Ix simpósio brasileiro de tolerantes a falhas.
Brasil.
-
Physical Sciences
Computer Science Applications
Maria Istela CAGNIN; Rosangela Aparecida Dellosso PENTEADO; Paulo Cesar MASIERO; Jose Carlos MALDONADO.
2001.
Comparison of maintainability improvement by segmentation and reengineering - a case study.
In:
Fifth european conference on software maintenance and reengineering.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Adenilso Da Silva SIMÃO; Tatiana SUGETA; Jose Carlos MALDONADO; Maria Carolina MONARD.
2001.
Prolog & txl: um estudo de caso para prototipação de ferramentas de apoio para o teste estrutural.
In:
1a jornadas iberoamericanas de ingeniera del software e ingeniera del conocimiento (jiisic 2001).
Argentina.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Rodrigo Funabashi JORGE; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
2001.
Teste de mutação: estratégias baseadas em equivalências de mutantes para redução do custo de aplicação.
In:
Clei2001 - xxvii conferência latino americana de informática.
Venezuela.
-
Social Sciences & Humanities
Education
Leticia Mara PERES; Silvia Regina VERGILIO; Jose Carlos MALDONADO.
2001.
Path selection in the structural testing: proposition; implementation and application of strategies.
In:
Xxi sccc - international conference of the chilean computer science society.
Chile.
-
Physical Sciences
Computer Science (miscellaneous)
Thelma Elita COLANZI; Paulo Cesar MASIERO; Jose Carlos MALDONADO.
2001.
Sdproc/uml: integrating testing with object-oriented software development process.
In:
I workshop em ingenieria de software e 2001 jornadas chileanas de computation.
Chile.
-
Physical Sciences
Computer Science (miscellaneous)
Márcio Eduardo DELAMARO; Mauro PEZZÉ; Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
2001.
Mutant operators for testing concurrent java programs.
In:
Xv sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO.
2001.
Mudel: a language and system for describing and generating mutants.
In:
Xv sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Simone Do Rocio Senger De SOUZA; Jose Carlos MALDONADO; Sandra Camargo Pinto Ferraz FABBRI.
2001.
Fcce: uma família de critérios de teste para validação de sistemas especificados em estelle.
In:
Xv sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marco Arthur Pereira CANDOLO; Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO.
2001.
Mgaset - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito.
In:
Xv sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Silvia Regina VERGILIO; Jose Carlos MALDONADO; Mario JINO.
2001.
Resultados da aplicação de diferentes técnicas de geração de dados de teste sensíveis a defeitos.
In:
Clei2001 - xxvii conferência latino americana de informática.
Estados Unidos.
-
Social Sciences & Humanities
Education
Rejane Moreira Da Costa FIGUEIREDO; Jose Carlos MALDONADO; Carlos Frederico BREMER.
2001.
Asp - um novvo modelo de outsourging de tecnologia da informação.
In:
Escola regional de informática de são paulo.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Rosely SANCHES; Sandra Camargo Pinto Ferraz FABBRI; Jose Carlos MALDONADO.
2001.
Qualidade de software: da engenharia de softwae aosmoelos de qualidade.
In:
Escola regional de informática de são paulo.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Simone Do Rocio Senger De SOUZA; Jose Carlos MALDONADO.
2001.
Validação de especificações de sistemas reativos: definição e análise de critérios de teste.
In:
Xiv ctd - concurso de teses e dissertações; xxi congresso da sociedade brasileira de computação.
Brasil.
-
Physical Sciences
Artificial Intelligence
Ellen Francine BARBOSA; José Carlos MALDONADO; Auri Marcelo Rizzo VINCENZI.
2000.
Towards the determination of sufficient mutant operators for c.
In:
International workshop on automated program analysis; testing and verification.
Irlanda.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Jose Carlos MALDONADO; Marcio E DELAMARO; Sandra C P F FABBRI; Adenilso S SIMÃO; Tatiana SUGETA et al.
2000.
Proteum: a family of tools to support specification and program testing based on mutation.
In:
Mutation 2000: a symposium on mutation testing for the new century.
Estados Unidos.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Marcio E DELAMARO; Jose Carlos MALDONADO; Auri M R VINCENZI.
2000.
Proteum/im 2.0: an integrated mutation testing environment.
In:
Mutation 2000: a symposium on mutation testing for the new century.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Jose Carlos MALDONADO; Ellen Francine BARBOSA; Auri M R VINCENZI; Marcio E DELAMARO.
2000.
Evaluating n-selective mutation for c programs: unit and integration testing.
In:
Mutation 2000: a symposium on mutation testing for the new century.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Adenilso S SIMÃO; Jose Carlos MALDONADO.
2000.
Mutation-based test sequence generation for petri nets.
In:
Workshop de métodos formais - xiv simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
A N CRESPO; M JINO; A PASQUINI; Jose Carlos MALDONADO.
2000.
A binomial software reliability model based on coverage of structural testing criteria.
In:
Xiv simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Adenilso S SIMÃO; Jose Carlos MALDONADO.
2000.
Proteum-rs/pn : uma ferramenta para apoiar a edição; simulação e validação de redes petri baseada no teste de mutação.
In:
14o simpósio brasileiro de engenharia se software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Simone R S SOUZA; Jose Carlos MALDONADO; Sandra C P F FABBRI; Paulo Cesar MASIERO.
2000.
Statecharts specifications: a family of coverage testing criteria.
In:
Clei2000 - xxvi conferência latino americana de informática.
México.
-
Life Sciences
Genetics
Jose Carlos MALDONADO; Simone Do Rocio Senger De SOUZA; Sandra C P F FABBRI; W Lopes De SOUZA.
2000.
Mutation testing applied to estelle specifications.
In:
33rd hawaii international conference on system sciences - mini-track on distributed systems testing.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO; Ellen Francine BARBOSA; Márcio Eduardo DELAMARO.
2000.
Unit and integration testing strategies for c programs using mutation-based criteria.
In:
Mutation 2000: a symposium on mutation testing for the new century.
Estados Unidos.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
2000.
Constraint based criteria: an approach for test case selection in the structural testing.
In:
1st ieee latin american test workshop.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
L M PERES; Silvia R VERGÍLIO; M JINO; Jose Carlos MALDONADO.
2000.
Path selection strategies in the context of software testing criteria.
In:
1st ieee latin american test workshop.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Adenilso S SIMÃO; Jose Carlos MALDONADO.
2000.
Proteum-rs/pn: a tool to support edition; simulation and validation of petri nets based on mutation testing.
In:
Xiv sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Ellen Francine BARBOSA; Jose Carlos MALDONADO; Auri Marcelo Rizzo VINCENZI; Márcio Eduardo DELAMARO; Simone Do Rocio Senger De SOUZA et al.
2000.
Introdução ao teste de software.
In:
Xiv simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Edmundo S SPOTO; Mario JINO; Jose Carlos MALDONADO.
2000.
Teste estrural de software: uma abordagem para aplicações de banco de dados relacional.
In:
Xiv simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ellen Francine BARBOSA; Christian M ADRIANO; Jose Carlos MALDONADO; Ivan L M RICARTE; Mario JINO.
2000.
Forecasting theoretical; empirical and tool forecasting theoretical; empirical and tool specific knowledge in a software testing learning scenario.
In:
International conference on engineering and computer education.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M A P CONDOLO; Adenilso Da Silva SIMÃO; Jose Carlos MALDONADO.
2000.
Mgaset java: geração de sequências de teste para validação de especificações baseada em máquinas de estado finito.
In:
Simpósio internacional de iniciação científica da usp.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Auri Marcelo Rizzo VINCENZI; José Carlos MALDONADO; Ellen Francine BARBOSA; Márcio Eduardo DELAMARO.
1999.
Operadores essenciais de interface: um estudo de caso.
In:
Xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO; Marcio E DELAMARO.
1999.
Proteum/fsm: a tool to support finite state machine validation based on mutation testing.
In:
International conference of the chilean computer science society.
Chile.
-
Physical Sciences
Artificial Intelligence
Sandra C P F FABBRI; Jose Carlos MALDONADO; Tatiana SUGETA; P C MASIERO.
1999.
Mutation testing applied to validate specifications based on statecharts.
In:
International symposium on software reliability engineering.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Renata A CARVALHO; Sandra C P F FABBRI; Jose Carlos MALDONADO.
1999.
Um estudo sobre a avaliação do custo de aplicação da análise de mutantes na validação de máquinas de estados finitos.
In:
Xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
P R VILELA; Jose Carlos MALDONADO; M JINO.
1999.
Pairwise data flow based integration testing.
In:
Xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Tatiana SUGETA; Jose Carlos MALDONADO; Sandra C P F FABBRI.
1999.
Proteum-rs/st - uma ferramenta para apoiar a validação de especificações statecharts baseada no critério analise de mutantes.
In:
Xiii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Thelma Elita COLANZI; Jose Carlos MALDONADO; P C MASIERO.
1999.
Teste de software oo: uma abordagem para a organização e o planejamento da atividade de teste.
In:
Workshop de qualidade de software - xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science Applications
Tatiana SUGETA; Jose Carlos MALDONADO.
1999.
Proteum-rs/st: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
In:
Xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Luciana A F MARTIMIANO; Jose Carlos MALDONADO.
1999.
Estudo de técnicas de teste de regressão baseado em mutação seletiva.
In:
Xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Ana Paula GLADCHAEFF; D M SILVA; Jose Carlos MALDONADO.
1999.
Diretrizes para um instrumento de avaliação de software de ensino.
In:
Xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata A CARVALHO; Sandra C P F FABBRI; Jose Carlos MALDONADO.
1999.
Um estudo para a determinação de um conjunto essencial preliminar de operadores de mutação para a validação de máquinas de estados finitos.
In:
17o simpósio brasileiro de redes de computadores.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Marcio E DELAMARO; Jose Carlos MALDONADO.
1999.
Interface mutation: assessing testing quality at interprocedural level.
In:
Xix sccc - international conference of the chilean computer science society.
Chile.
-
Physical Sciences
Computer Science (miscellaneous)
Jose Carlos MALDONADO; Elisa Y NAKAGAWA.
1999.
Itool - uma ferramenta para injeção de defeitos de software.
In:
Xiii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
E F BARBOSA; Auri Marcelo R VINCENZI; Jose Carlos MALDONADO.
1998.
Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas c.
In:
Xii simpósio brasileiro de engenharia de software - sbes'98.
Brasil.
-
Physical Sciences
Artificial Intelligence
Simone R S SOUZA; Jose Carlos MALDONADO.
1998.
Applying test set minimization to mutation-based test criteria.
In:
Issat'98 - international conference on reliability and quality in design.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
A N CRESPO; M JINO; A PASQUINI; Jose Carlos MALDONADO.
1998.
Code coverage of potential-uses criteria and software reliability.
In:
Issat'98 - international conference on reliability and quality in design.
Estados Unidos.
-
Social Sciences & Humanities
Psychology (miscellaneous)
M G J M TOMAZELA; Jose Carlos MALDONADO.
1998.
Avaliação do custo de aplicação dos critérios potenciais usos no teste de programas cobol.
In:
Ix cits - congresso internacional de tecnologia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
P C MASIERO; F S R GERMANO; Jose Carlos MALDONADO.
1998.
Object and systems life cycle revisited: their use in object-oriented analysis and design methods.
In:
International workshop on evaluation of modeling methods in systems analysis and design.
Itália.
-
Physical Sciences
General Computer Science
R M COSTA; G M IAVARONI; R SANCHES; Jose Carlos MALDONADO; P C MASIERO.
1998.
Engenharia reversa: da interface do software aos modelos de análise do método fusion.
In:
Assoo'98 - simposio en orientacion a objetos.
Argentina.
-
Social Sciences & Humanities
Psychology (miscellaneous)
P R VILELA; Jose Carlos MALDONADO; D S CRUZES; M JINO.
1998.
Viewgraph: visualizing control flow graphs and call graphs.
In:
Xii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Jose Carlos MALDONADO; Sandra C P F FABBRI; P C MASIERO.
1998.
Validação de especificações formais com a aplicação do critério análise de mutantes.
In:
I wmf - workshop de métodos formais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Lordello CHAIM; Mario JINO; José Carlos MALDONADO; Elisa Y NAKAGAWA.
1998.
Poke-tool - estado atual de uma ferramenta para teste estrutural de software baseado em análise de fluxo de dados.
In:
Xii simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Jose Carlos MALDONADO; Auri Marcelo Rizzo VINCENZI; Ellen Francine BARBOSA; Simone Do Rocio Senger De SOUZA; Márcio Eduardo DELAMARO.
1998.
Aspectos teóricos e empíricos de teste de cobertura de software.
In:
Vi escola de informática da sbc - regional sul.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
W E WONG; Jose Carlos MALDONADO; Marcio E DELAMARO; Simone R S SOUZA.
1997.
Use of proteum to accelerate mutation testing in c programs.
In:
3rd issat - international conference on reliability and quality in design.
Estados Unidos.
-
Social Sciences & Humanities
Education
P R VILELA; Jose Carlos MALDONADO; M JINO.
1997.
Data flow testing of programs with pointers: a strategy based on potential uses.
In:
10th international software quality week 1997.
Estados Unidos.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Luciana F PAILO; Villas BOAS; Jose Carlos MALDONADO; M JINO.
1997.
Avaliação da adequação de conjuntos de teste funcional utilizando critérios estruturais com o apoio de ferramentas de teste comerciais.
In:
Viii cits - conferência internacional de tecnologia de software.
Brasil.
-
Health Sciences
Medicine (miscellaneous)
E WONG; Jose Carlos MALDONADO; Marcio E DELAMARO.
1997.
Reducing the cost of regression testing by using selective mutation.
In:
Viii cits - conferência internacional de tecnologia de software.
Brasil.
-
Social Sciences & Humanities
Education
A N CRESPO; A PASQUINI; M JINO; Jose Carlos MALDONADO.
1997.
Cobertura dos critérios potenciais-usos e a confiabilidade do software.
In:
Xi simpósio brasileiro de engenharia de software - sbes'97.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Marcio E DELAMARO; Jose Carlos MALDONADO.
1997.
Teste de integração: projeto de operadores para o critério mutação de interface.
In:
Xi simpósio brasileiro de engenharia de software - sbes'97.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO.
1997.
Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts.
In:
Xi simpósio brasileiro de engenharia de software - sbes'97.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Simone R S SOUZA; Jose Carlos MALDONADO.
1997.
Avaliação do impacto da minimização de conjuntos de casos de teste no custo e eficácia do critério análise de mutantes.
In:
Xi simpósio brasileiro de engenharia de software - sbes'97.
Brasil.
-
Physical Sciences
Artificial Intelligence
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1997.
Constraint based selection of test sets to satisfy structural testing criteria.
In:
Xvii international conference of the sccc; sociedad chilena de ciencia de la computacion.
Chile.
-
Physical Sciences
Computer Science (miscellaneous)
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO.
1997.
Mutation analysis in the context of reactive system specification and validation.
In:
5th annual international conference on software quality management.
Inglaterra.
-
Social Sciences & Humanities
Psychology (miscellaneous)
André Villas BOAS; Jose Carlos MALDONADO; Sandra C P F FABBRI.
1997.
Gestão de configuração na atividade de teste.
In:
Workshop de qualidade de software - xi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
M E DELAMARO; Jose Carlos MALDONADO; E Y NAKAGAWA.
1997.
Proteum/im: uma ferramenta de apoio ao teste de integração.
In:
Xi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Sandra FERRARI; Itana M S GIMENES; Jose Carlos MALDONADO.
1997.
Integração de uma ferramenta de teste em ambientes de engenharia de software baseados em pcte.
In:
Ii workshop de teses em engenharia de software - xi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
E F BARBOSA; Jose Carlos MALDONADO.
1997.
Uma contribuição para a determinação de um conjunto de operadores de mutações essenciais no teste de programas c.
In:
Ii workshop de teses em engenharia de software - xi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Auri Marcelo Rizzo VINCENZI; Jose Carlos MALDONADO.
1997.
Subsídios para o estabelecimento de estratégias de teste utilizando a técnica de mutação.
In:
Ii workshop de teses em engenharia de software - xi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
E Y NAKAGAWA; Jose Carlos MALDONADO.
1997.
Um sistema de injeção de defeitos baseado em operadores de mutação.
In:
Ii workshop de teses em engenharia de software - xi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Auri Marcelo Rizzo VINCENZI; Ellen Francine BARBOSA; Simone Do Rocio Senger De SOUZA; Márcio Eduardo DELAMARO; Jose Carlos MALDONADO.
1997.
Critério análise de mutantes: estado atual e perspectivas.
In:
I workshop do projeto validação e teste de sistemas de operação.
Brasil.
-
Social Sciences & Humanities
Education
Elisa Yumi NAKAGAWA; Márcio Eduardo DELAMARO; Marcos Lordello CHAIM; Jose Carlos MALDONADO; Mario JINO.
1997.
Aspectos de projeto e implementação de interfaces gráficas do usuário para ferramentas de teste de software.
In:
Workshop do projeto validação e teste de sistemas de operação.
Brasil.
-
Social Sciences & Humanities
Education
S R S SOUZA; J C MALDONADO; Silvia Regina VERGILIO.
1997.
Análise de mutantes e potenciais-usos: uma avaliação empírica.
In:
Viii conferência internacional de tecnologia de software: qualidade de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1996.
Infeasible paths within the context of data flow based criteria.
In:
6th icsq - international conference on software quality.
Canadá.
-
Physical Sciences
Environmental Science (miscellaneous)
A N TSUKUMO; C R CAPOVILLA; M JINO; Jose Carlos MALDONADO.
1996.
The second experiment of application of iso/iec 9126 standards on quality evaluation of braziian software products.
In:
6th icsq - international conference on software quality.
Canadá.
-
Physical Sciences
Artificial Intelligence
Marcio E DELAMARO; Jose Carlos MALDONADO; A P MATHUR.
1996.
Integration testing using interface mutation.
In:
The 7th international symposium on software reliability engineering - issre'96.
Estados Unidos.
-
Life Sciences
Neuroscience (miscellaneous)
Márcio Eduardo DELAMARO; Jose Carlos MALDONADO.
1996.
Proteum: a tool for the assessment of test adequacy for c programs.
In:
Conference on performability on computing system.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
J CANGUSSU; R A D PENTEADO; P C MASIERO; Jose Carlos MALDONADO.
1995.
Validation of statecharts based on programmed execution.
In:
Vii international conference on computing and information.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
A N TSUKUMO; C R CAPOVILLA; M JINO; Jose Carlos MALDONADO.
1995.
Iso/iec: an experiment of application on brazilian software products.
In:
Isess'95 - 2nd international symposium and forum on software engineering standards.
Canadá.
-
Social Sciences & Humanities
Education
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1995.
Um experimento de aplicação de critérios baseados em fluxo de dados no teste de programas c.
In:
Xv sbc-semish - congresso da sociedade brasileira de computação; seminário integrado de software e hardware e panel'95.
Brasil.
-
Social Sciences & Humanities
Education
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1995.
Geração de dados de teste: uma estratégia que preserva a hierarquia de critérios.
In:
Ix sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO; Marcio E DELAMARO; E WONG.
1995.
Mutation testing applied to validate specifications based on petri nets.
In:
Forte'95 - 8th international ifip conference on formal description techniques for distributed systems and communications protocols.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
K N BORGES; F S RAMOS; Jose Carlos MALDONADO; M L CHAIM; M JINO.
1995.
Poke-tool versão clipper - uma ferramenta para suporte ao teste estrutural baseado em análise de fluxo de dados.
In:
Ix sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Sandra C P F FABBRI; Jose Carlos MALDONADO; Marcio E DELAMARO; P C MASIERO.
1995.
Proteum/fsm - uma ferramenta para apoiar a validação de máquinas de estado finito pelo critério análise de mutantes.
In:
Ix sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
K K NAKAZATO; Márcio ALEXANDRINO; Jose Carlos MALDONADO; Sandra C P F FABBRI; P C MASIERO.
1995.
Mgaset - módulo de geração de sequências de teste.
In:
Ix sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
André Villas BOAS; Jose Carlos MALDONADO; M JINO.
1995.
Estudo comparativo de critérios de teste de software para o estabelecimento de estratégias de aplicação.
In:
Workshop de qualidade de software - ix sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Jose Carlos MALDONADO; M E DELAMARO; Simone Do Rocio Senger De SOUZA; Luciana F PAILO.
1995.
Análise de mutantes: uma avaliação empírica do axioma de antiextensionalidade e da propriedade de equivalência.
In:
Workshp de qualidade de software - ix sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
P R VILELA; Jose Carlos MALDONADO; M JINO; M L CHAIM.
1994.
Visualização de grafos de programa: uma abordagem sem reposicionamento.
In:
Vii sibigrapi - simpósio brasileiro de computação gráfica e processamento de imagens.
Brasil.
-
Physical Sciences
Artificial Intelligence
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO; Marcio E DELAMARO.
1994.
Mutation analysis testing for finite state machines.
In:
5th international symposium on software reliability engineering.
Estados Unidos.
-
Social Sciences & Humanities
Education
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1994.
Caminhos não executáveis no teste de integração: caracterização; previsão e determinação.
In:
Viii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
W E WONG; Jose Carlos MALDONADO; Marcio E DELAMARO; A P MATHUR.
1994.
Constained mutation in c programs.
In:
Viii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO; Marcio E DELAMARO.
1994.
Aplicação da análise de mutantes na validação de especificações baseadas em redes petri.
In:
Viii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Sandra C P F FABBRI; Marcio E DELAMARO; Jose Carlos MALDONADO; P C MASIERO.
1994.
Proteum/fsm - especificação de uma ferramenta para apoiar a validação de máquinas de estado finito pelo critério análise de mutantes.
In:
Xii sbrc - simpósio brasileiro de redes de computadores.
Brasil.
-
Health Sciences
General Medicine
Jose Carlos MALDONADO; Sandra C P F FABBRI; Marcio E DELAMARO; P C MASIERO.
1994.
Análise de mutantes no teste de software e na validação de sistemas reativos.
In:
Jornada da computação; sessão regular da academia brasileira de ciências.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M E DELAMARO; Sandra C P F FABBRI; Jose Carlos MALDONADO.
1994.
Teste baseado em mutação e qualidade de software.
In:
Workshop de qualidade de software - viii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
J CANGUSSU; P C MASIERO; Jose Carlos MALDONADO.
1993.
Execução programada de statecharts.
In:
Vii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1993.
Uma estratégia para geração de dados de teste.
In:
Vii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
C F V BRITES; M L CHAIM; H S COSTA; M JINO; R S KONDO et al.
1993.
Software test evaluation applied to hardware simulation.
In:
Viii sbmicro - congresso da sociedade brasileira de microeletrônica.
Brasil.
-
Social Sciences & Humanities
Education
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1993.
Influência do número de predicados na executabilidade de um caminho no contexto de teste baseado em fluxo de dados.
In:
Xix conferência latinoamericana de estudios en informática.
Argentina.
-
Social Sciences & Humanities
Education
Márcio Eduardo DELAMARO; José Carlos MALDONADO; Mario JINO; Marcos Lordello CHAIM.
1993.
Proteum: uma ferramenta de teste baseada na análise de mutantes.
In:
Vii simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Sandra C P F FABBRI; Jose Carlos MALDONADO; P C MASIERO; Marcio E DELAMARO.
1993.
Análise de mutantes baseada em máquinas de estado finito.
In:
Xi sbrc - simpósio brasileiro de redes de computadores.
Brasil.
-
Physical Sciences
Artificial Intelligence
Jose Carlos MALDONADO; M L CHAIM; M JINO.
1992.
Using the essential branch concept to support data-flow based testing criteria application.
In:
5th international conference on software engineering and its applications.
França.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Jose Carlos MALDONADO; Silvia R VERGÍLIO; M L CHAIM; M JINO.
1992.
Critérios potenciais usos: análise da aplicação de um benchmark.
In:
Vi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Silvia R VERGÍLIO; Jose Carlos MALDONADO; M JINO.
1992.
Caminhos não-executáveis na automação das atividades de teste.
In:
Vi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Artificial Intelligence
Jose Carlos MALDONADO; M L CHAIM; M JINO.
1992.
Briding the gap in the presence of infeasible paths: potential uses testing criteria.
In:
Xii international conference of the sccc (sociedad chilena de la ciencia de la computación).
Chile.
-
Social Sciences & Humanities
Psychology (miscellaneous)
P C MASIERO; I BOAVENTURA; Jose Carlos MALDONADO.
1992.
Dynamic properties of statecharts: a reachability tree and analysis of some properties.
In:
Xviii conferência latinoamericana de informática.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Leitão Jr P S; Jose Carlos MALDONADO; M JINO; M L CHAIM.
1992.
Poke-tool - versão cobol - uma ferramenta para suporte ao teste estrutural de programas cobol baseado em análise de fluxo de dados.
In:
Vi sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Jose Carlos MALDONADO.
1991.
Poke-tool:uma ferramenta para suporte ao teste estrutural de programas baseado em análise de fluxo de dados.
In:
Caderno de ferramentas do v sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
J C MALDONADO; M L CHAIM; Silvia Regina VERGILIO; M JINO.
1991.
Critérios potenciais usos: uma contribuição para a atividade de garantia de qualidade de software.
In:
Workshop em avaliação de qualidade de software.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M L CHAIM; Jose Carlos MALDONADO; M JINO.
1989.
Modelando a determinação de potenciais du-caminhos através da análise de fluxo de dados.
In:
Iii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Jose Carlos MALDONADO; M L CHAIM; M JINO.
1989.
Arquitetura de uma ferramenta de teste de software de apoio aos critérios potenciais usos.
In:
Xxii congresso nacional de informática - sucesu.
Brasil.
-
Social Sciences & Humanities
Education
Jose Carlos MALDONADO; M L CHAIM; M JINO.
1988.
Seleção de casos de testes baseada na análise de fluxo de dados através dos critérios potenciais usos.
In:
Ii sbes - simpósio brasileiro de engenharia de software.
Brasil.
-
Physical Sciences
Computer Networks and Communications
Jose Carlos MALDONADO.
1985.
A comparative study of link protocols for typical fault-tolerance multiprocessing unit for on-board satellite applications.
In:
I simpósio em sistemas de computadores tolerantes a falhas.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Jose Carlos MALDONADO; R L D CEREDA.
1984.
S-micro: sistema para simulação de unidade de controle microprogramada.
In:
5o congresso brasileiro de automática / i congresso latino-americano de automática.
Brasil.
-
Physical Sciences
Computer Science Applications
Jose Carlos MALDONADO; E W BERGAMINI.
1983.
Um sistema de controle e supervisão de bordo para aplicações em (multi) missões espaciais.
In:
I simpósio brasileiro de telecomunicações.
Brasil.
-
Physical Sciences
Computer Science Applications
Jose Carlos MALDONADO; R A MENDES.
1981.
Um sistema de supervisão de bordo para aplicações em missões espaciais.
In:
Ii encontro nacional de automática.
Brasil.