| On the use of a similarity function for test case selection in the context of model‐based testing EG Cartaxo, PDL Machado, FGO Neto Software Testing, Verification and Reliability 21 (2), 75-100, 2011 | 137 | 2011 |
| Test case generation by means of UML sequence diagrams and labeled transition systems EG Cartaxo, FGO Neto, PDL Machado 2007 IEEE International Conference on Systems, Man and Cybernetics, 1292-1297, 2007 | 120 | 2007 |
| Gridunit: software testing on the grid A Duarte, W Cirne, F Brasileiro, P Machado Proceedings of the 28th international conference on Software engineering …, 2006 | 85 | 2006 |
| LTS-BT: a tool to generate and select functional test cases for embedded systems EG Cartaxo, WL Andrade, FGO Neto, PDL Machado Proceedings of the 2008 ACM symposium on Applied computing, 1540-1544, 2008 | 53 | 2008 |
| Automated test case selection based on a similarity function EG Cartaxo, FGO Neto, PDL Machado Informatik 2007–Informatik trifft Logistik–Band 2, 2007 | 41 | 2007 |
| Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing AEVB Coutinho, EG Cartaxo, PD de Lima Machado Software Quality Journal 24 (2), 407-445, 2016 | 39 | 2016 |
| Testing from structured algebraic specifications PDL Machado International Conference on Algebraic Methodology and Software Technology …, 2000 | 37 | 2000 |
| Generating interaction test cases for mobile phone systems from use case specifications ALL de Figueiredo, WL Andrade, PDL Machado ACM SIGSOFT Software Engineering Notes 31 (6), 1-10, 2006 | 35 | 2006 |
| Test Case Prioritization Techniques for Model-Based Testing: A Replicated Study JFS Ouriques, EG Cartaxo, PDL Machado arXiv preprint arXiv:1708.03240, 2017 | 34 | 2017 |
| Towards property oriented testing PDL Machado, DA Silva, AC Mota Electronic Notes in Theoretical Computer Science 184, 3-19, 2007 | 34 | 2007 |
| Using the computational grid to speed up software testing A Duarte, W Cirne, F Brasileiro, P Duarte, DL Machado Proceedings of 19th Brazilian symposium on software engineering 7, 2005 | 33 | 2005 |
| On oracles for interpreting test results against algebraic specifications PDL Machado International Conference on Algebraic Methodology and Software Technology …, 1999 | 33 | 1999 |
| Testing tools for Android context-aware applications: a systematic mapping DR Almeida, PDL Machado, WL Andrade Journal of the Brazilian Computer Society 25 (1), 12, 2019 | 31 | 2019 |
| An approach to modelling and applying mobile agent design patterns EFA Lima, PDL Machado, FR Sampaio, JCA Figueiredo ACM SIGSOFT Software Engineering Notes 29 (3), 1-8, 2004 | 31 | 2004 |
| Generating test cases for real-time systems based on symbolic models WL Andrade, PDL Machado IEEE Transactions on Software Engineering 39 (9), 1216-1229, 2013 | 29 | 2013 |
| Unit Testing for Casl Architectural Specifications PDL Machado, D Sannella International Symposium on Mathematical Foundations of Computer Science, 506-518, 2002 | 28 | 2002 |
| Prioritizing test cases for early detection of refactoring faults ELG Alves, PDL Machado, T Massoni, M Kim Software Testing, Verification and Reliability 26 (5), 402-426, 2016 | 26 | 2016 |
| An experimental evaluation of approaches to feature testing in the mobile phone applications domain LHO do Nascimento, PDL Machado Workshop on Domain specific approaches to software test automation: in …, 2007 | 26 | 2007 |
| Abstracting time and data for conformance testing of real-time systems WL Andrade, PDL Machado, T Jéron, H Marchand 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | 25 | 2011 |
| Full modification coverage through automatic similarity-based test case selection FG de Oliveira Neto, R Torkar, PDL Machado Information and Software Technology 80, 124-137, 2016 | 24 | 2016 |
Wilkerson AndradeFederal University of Campina Grande在 computacao.ufcg.edu.br 的电子邮件经过验证
