Mutation analysis testing for finite state machines SCPF Fabbri, ME Delamaro, JC Maldonado, PC Masiero Proceedings of 1994 IEEE international symposium on software reliability …, 1994 | 208 | 1994 |
Mutation testing applied to validate specifications based on statecharts SCPF Fabbri, JC Maldonado, T Sugeta, PC Masiero Proceedings 10th International Symposium on Software Reliability Engineering …, 1999 | 164 | 1999 |
A statechart-based model for hypermedia applications PC Masiero ACM Transactions on Information Systems 19 (1), 28-52, 2001 | 123* | 2001 |
Codegenie: using test-cases to search and reuse source code OAL Lemos, SK Bajracharya, J Ossher, RS Morla, PC Masiero, P Baldi, ... Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 113 | 2007 |
Mutation testing applied to validate specifications based on petri nets SCPF Fabbri, JC Maldonado, PC Masiero, ME Delamaro, E Wong Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth …, 1996 | 106 | 1996 |
Control and data flow structural testing criteria for aspect-oriented programs OAL Lemos, AMR Vincenzi, JC Maldonado, PC Masiero Journal of Systems and Software 80 (6), 862-882, 2007 | 92 | 2007 |
A pattern language for business resource management RTV Braga, FSR Germano, PC Masiero 6th Pattern Languages of Programs Conference (PLoP’99) 123, 124, 1999 | 92 | 1999 |
Testing aspect-oriented programming pointcut descriptors OAL Lemos, FC Ferrari, PC Masiero, CV Lopes Proceedings of the 2nd workshop on testing aspect-oriented programs, 33-38, 2006 | 79 | 2006 |
Ética em computação PC Masiero Edusp, 2000 | 79 | 2000 |
Proteum/FSM: a tool to support finite state machine validation based on mutation testing SCPF Fabbri, JC Maldonado, ME Delamaro Proceedings. SCCC'99 XIX International Conference of the Chilean Computer …, 1999 | 73 | 1999 |
A navigation-oriented hypertext model based on statecharts MA Santos Turine, MCF de Oliveira, PC Masiero Proceedings of the eighth ACM conference on Hypertext, 102-111, 1997 | 71 | 1997 |
Proteum: A family of tools to support specification and program testing based on mutation JC Maldonado, ME Delamaro, SCPF Fabbri, A da Silva Simão, T Sugeta, ... Mutation testing for the new century, 113-116, 2001 | 70 | 2001 |
A test-driven approach to code search and its application to the reuse of auxiliary functionality OAL Lemos, S Bajracharya, J Ossher, PC Masiero, C Lopes Information and Software Technology 53 (4), 294-306, 2011 | 68 | 2011 |
An exploratory study of fault-proneness in evolving aspect-oriented programs F Ferrari, R Burrows, O Lemos, A Garcia, E Figueiredo, N Cacho, F Lopes, ... Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 68 | 2010 |
A reachability tree for statecharts and analysis of some properties PC Masiero, JC Maldonado, IG Boaventura Information and Software Technology 36 (10), 615-624, 1994 | 66 | 1994 |
Applying test-driven code search to the reuse of auxiliary functionality OA Lazzarini Lemos, S Bajracharya, J Ossher, PC Masiero, C Lopes Proceedings of the 2009 ACM symposium on Applied Computing, 476-482, 2009 | 58 | 2009 |
Hypercharts: Extended statecharts to support hypermedia specification FB Paulo, PC Masiero, MCF de Oliveira IEEE Transactions on Software Engineering 25 (1), 33-49, 1999 | 58 | 1999 |
Integration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for java OAL Lemos, IG Franchin, PC Masiero Science of Computer Programming 74 (10), 861-878, 2009 | 48 | 2009 |
A process for framework construction based on a pattern language RTV Braga, PC Masiero Proceedings 26th Annual International Computer Software and Applications …, 2002 | 43 | 2002 |
Frameworks orientados a aspectos VV de Camargo, PC Masiero Anais do XIX Simpósio Brasileiro de Engenharia de Software, 200-215, 2005 | 42 | 2005 |