Patrícia Duarte de Lima Machado
Orcid: 0000-0002-0661-0067Affiliations:
- Federal University of Campina Grande, Campina Grande, Brazil
According to our database1,
Patrícia Duarte de Lima Machado
authored at least 80 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
2
1
2
3
4
2
1
2
2
1
1
1
1
1
1
2
3
3
2
2
1
1
3
1
3
3
1
3
4
8
2
1
2
2
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report.
J. Softw. Eng. Res. Dev., 2023
Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023
2022
A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading.
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022
Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022
2021
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021
Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021
Proceedings of the SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021, 2021
2020
Softw. Test. Verification Reliab., 2020
Special section on testing and repair for software engineering technologies and applications.
Softw. Qual. J., 2020
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020
2019
J. Braz. Comput. Soc., 2019
Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019
An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019
2018
IEEE Trans. Software Eng., 2018
Softw. Qual. J., 2018
Proceedings of the XXXII Brazilian Symposium on Software Engineering, 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Test coverage of impacted code elements for detecting refactoring faults: An exploratory study.
J. Syst. Softw., 2017
CoRR, 2017
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017
2016
Softw. Test. Verification Reliab., 2016
Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing.
Softw. Qual. J., 2016
A family of test selection criteria for Timed Input-Output Symbolic Transition System models.
Sci. Comput. Program., 2016
Inf. Softw. Technol., 2016
On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques.
Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016
2015
Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing.
J. Softw. Eng. Res. Dev., 2015
Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
2013
IEEE Trans. Software Eng., 2013
RITA, 2013
On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing.
Proceedings of the 27th Brazilian Symposium on Software Engineering, 2013
Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013
Proceedings of the 8th International Workshop on Automation of Software Test, 2013
2012
Sci. Comput. Program., 2012
2011
On the use of a similarity function for test case selection in the context of model-based testing.
Softw. Test. Verification Reliab., 2011
Proceedings of the Fifth Brazilian Symposium on Software Components, 2011
Proceedings of the Fifth Brazilian Symposium on Software Components, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
2010
Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010
2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the Third Brazilian Symposium on Software Components, 2009
2008
Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos.
Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008
2007
Int. J. Softw. Eng. Knowl. Eng., 2007
Proceedings of the IEEE International Conference on Systems, 2007
Test case generation by means of UML sequence diagrams and labeled transition systems.
Proceedings of the IEEE International Conference on Systems, 2007
An experimental evaluation of approaches to feature testing in the mobile phone applications domain.
Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007
Proceedings of the First Brazilian Symposium on Software Components, 2007
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the Testing Techniques in Software Engineering, 2007
Proceedings of the Testing Techniques in Software Engineering, 2007
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007
2006
Generating interaction test cases for mobile phone systems from use case specifications.
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the Second Workshop on Model Based Testing, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
2005
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005
2004
ACM SIGSOFT Softw. Eng. Notes, 2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the Mobility Aware Technologies and Applications, 2004
2003
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003
2002
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002
2000
PhD thesis, 2000
Formal testing from structured algebraic specifications: normalisationand the oracle problem.
RITA, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1995
On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995
1994
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994