Patricia D. L. Machado
Patricia D. L. Machado
Professor of Computer Science, Federal University of Campina Grande
Verified email at
Cited by
Cited by
Test case generation by means of UML sequence diagrams and labeled transition systems
EG Cartaxo, FGO Neto, PDL Machado
Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on …, 2007
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
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
GI Jahrestagung (2) 7, 399-404, 2007
On oracles for interpreting test results against algebraic specifications
PDL Machado
International Conference on Algebraic Methodology and Software Technology …, 1999
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
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
Unit Testing for Casl Architectural Specifications
PDL Machado, D Sannella
International Symposium on Mathematical Foundations of Computer Science, 506-518, 2002
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
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
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
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
Testing from structured algebraic specifications: The oracle problem
PDL Machado
University of Edinburgh. College of Science and Engineering. School of …, 2000
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
Abstracting time and data for conformance testing of real-time systems
WL Andrade, PDL Machado, T Jéron, H Marchand
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE …, 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
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