Patricia D. L. Machado
Patricia D. L. Machado
Professor of Computer Science, Federal University of Campina Grande
Verified email at
Cited by
Cited by
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
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
Gridunit: software testing on the grid
A Duarte, W Cirne, F Brasileiro, P Machado
Proceedings of the 28th international conference on Software engineering …, 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
Testing from structured algebraic specifications
PDL Machado
International Conference on Algebraic Methodology and Software Technology …, 2000
Automated test case selection based on a similarity function
EG Cartaxo, FGO Neto, PDL Machado
Informatik 2007–Informatik trifft Logistik–Band 2, 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
On oracles for interpreting test results against algebraic specifications
PDL Machado
International Conference on Algebraic Methodology and Software Technology …, 1999
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
Towards property oriented testing
PDL Machado, DA Silva, AC Mota
Electronic Notes in Theoretical Computer Science 184, 3-19, 2007
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
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
Unit Testing for Casl Architectural Specifications
PDL Machado, D Sannella
International Symposium on Mathematical Foundations of Computer Science, 506-518, 2002
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
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
Testing from structured algebraic specifications: The oracle problem
PDL Machado
University of Edinburgh. College of Science and Engineering. School of …, 2000
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
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
Automating functional testing of components from UML specifications
DL Barbosa, HS Lima, PDL Machado, JCA Figueiredo, MA JucA, ...
International Journal of Software Engineering and Knowledge Engineering 17 …, 2007
Implementing mobile agent design patterns in the JADE framework
EF de Araujo Lima, PD de Lima Machado, JCA de Figueiredo, ...
EXP in Search of Innovation 3 (3), 2003
The system can't perform the operation now. Try again later.
Articles 1–20