Patrícia D. L. Machado

73 papers A* 1A 1B 3Misc 1Journal 19Unranked 45

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research. SAST Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
2023	J	`jnl`	Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report. J. Softw. Eng. Res. Dev. Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
2022	—	`conf`	A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading. SBES Wesley N. M. Torres, Everton L. G. Alves, Patrícia D. L. Machado
2022	—	`conf`	A Survey of Requirements Engineering and Software Testing Practices in Agile Teams. SAST Jarbele C. S. Coutinho, Wilkerson de Lucena Andrade, Patrícia D. L. Machado
2021	—	`conf`	Investigating Test Smells in JavaScript Test Code. SAST Dalton N. Jorge, Patrícia D. L. Machado, Wilkerson de L. Andrade
2021	—	`conf`	Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams. SBES Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
2021	—	`conf`	Towards a Technique to Detect Weaknesses in C Programs. SBES Raphael Muniz, Wilkerson de L. Andrade, Patrícia D. L. Machado
2020	—	`conf`	A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. SBES Beatriz Souza, Patrícia D. L. Machado
2020	J	`jnl`	Can operational profile coverage explain post-release bug detection? Softw. Test. Verification Reliab. Lucas Andrade, Patrícia D. L. Machado, Wilkerson de L. Andrade
2020	—	`conf`	Context-Aware Android Applications Testing. SBES Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade
2020	—	`conf`	ENVIAR: ENVIronment dAta simulatoR. SBES Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade
2020	J	`jnl`	Special section on testing and repair for software engineering technologies and applications. Softw. Qual. J. Ian Bayley, Yan Cai, Patrícia D. L. Machado
2019	—	`conf`	An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites. COMPSAC (1) Wesley N. M. Torres, Everton L. G. Alves, Patrícia D. L. Machado
2019	—	`conf`	Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping. SBES Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
2019	J	`jnl`	Testing tools for Android context-aware applications: a systematic mapping. J. Braz. Comput. Soc. Diego R. Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade
2018	—	`conf`	Can automated test case generation cope with extract method validation? SBES Indy P. S. C. Silva, Everton L. G. Alves, Patrícia D. L. Machado
2018	A	`conf`	Integrating Requirements Specification and Model-Based Testing in Agile Development. RE Dalton N. Jorge, Patrícia D. L. Machado, Everton L. G. Alves, Wilkerson de L. Andrade
2018	J	`jnl`	Test case prioritization techniques for model-based testing: a replicated study. Softw. Qual. J. João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado
2017	—	`conf`	AST 2017 Workshop Summary. AST@ICSE Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper
2017	J	`jnl`	Testing real-time systems from compositional symbolic specifications. Int. J. Softw. Tools Technol. Transf. Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade
2016	J	`jnl`	A family of test selection criteria for Timed Input-Output Symbolic Transition System models. Sci. Comput. Program. Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado
2016	J	`jnl`	Full modification coverage through automatic similarity-based test case selection. Inf. Softw. Technol. Francisco Gomes de Oliveira Neto, Richard Torkar, Patrícia D. L. Machado
2016	—	`conf`	On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques. SAST João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco Gomes de Oliveira Neto, Ana Emília Victor Barbosa Coutinho
2016	J	`jnl`	Prioritizing test cases for early detection of refactoring faults. Softw. Test. Verification Reliab. Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim
2015	—	`conf`	An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. ICSE (2) Francisco Gomes de Oliveira Neto, Richard Torkar, Patrícia D. L. Machado
2015	J	`jnl`	Automating test-based inspection of design models. Softw. Qual. J. Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado
2014	J	`jnl`	Automatic generation of built-in contract test drivers. Softw. Syst. Model. Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
2014	—	`conf`	Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. SBMF Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado
2013	—	`conf`	A refactoring-based approach for test case selection and prioritization. AST@ICSE Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Samuel T. C. Santos
2013	J	`jnl`	Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE Trans. Software Eng. Wilkerson de L. Andrade, Patrícia D. L. Machado
2013	—	`conf`	On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing. SBES João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado
2013	—	`conf`	Searching for models to evaluate software technology. CMSBSE@ICSE Francisco Gomes de Oliveira Neto, Robert Feldt, Richard Torkar, Patrícia D. L. Machado
2012	J	`jnl`	Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). Sci. Comput. Program. Patrícia D. L. Machado
2012	J	`jnl`	Testing interruptions in reactive systems. Formal Aspects Comput. Wilkerson de L. Andrade, Patrícia D. L. Machado
2011	—	`conf`	Abstracting Time and Data for Conformance Testing of Real-Time Systems. ICST Workshops Wilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand
2011	—	`conf`	Guidelines for Platform Independent Modeling for Real Time Systems Using UML. SBCARS Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
2011	J	`jnl`	On the use of a similarity function for test case selection in the context of model-based testing. Softw. Test. Verification Reliab. Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto
2011	—	`conf`	Testing Architectures for Real Time Systems. SBCARS Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
2010	—	`conf`	An integration testing approach based on test patterns and MDA techniques. SugarLoafPLoP Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho
2009	—	`conf`	Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. SBCARS Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado
2009	—	`conf`	Interruption Testing of Reactive Systems. SBMF Wilkerson de L. Andrade, Patrícia D. L. Machado
2009	—	`ed.`	Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008 SBMF Patrícia D. L. Machado
2009	—	`conf`	Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. SBMF Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida
2008	Misc	`conf`	LTS-BT: a tool to generate and select functional test cases for embedded systems. SAC Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado
2008	—	`conf`	Preface. SBMF Patrícia D. L. Machado
2008	—	`conf`	Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos. SBES Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto, João Felipe S. Ouriques
2008	—	`conf`	Weighting Influence of User Behavior in Software Validation. DEXA Workshops Antonia Bertolino, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti
2007	—	`conf`	An experimental evaluation of approaches to feature testing in the mobile phone applications domain. DOSTA Laisa H. O. do Nascimento, Patrícia D. L. Machado
2007	—	`conf`	Automated Test Case Selection Based on a Similarity Function. GI Jahrestagung (2) Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado
2007	—	`conf`	Automatic Generation of Platform Independent Built-in Contract Testers. SBCARS Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino
2007	—	`conf`	Automatic Test-Case Generation. PSSE Patrícia D. L. Machado, Augusto Sampaio
2007	J	`jnl`	Automating Functional Testing of Components from UML Specifications. Int. J. Softw. Eng. Knowl. Eng. Daniel L. Barbosa, Helton S. Lima, Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Makelli A. Jucá, Wilkerson de L. Andrade
2007	B	`conf`	Component-based integration testing from UML interaction diagrams. SMC Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima
2007	—	`conf`	Software Testing: An Overview. PSSE Patrícia D. L. Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado
2007	B	`conf`	Test case generation by means of UML sequence diagrams and labeled transition systems. SMC Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado
2007	—	`conf`	The Oracle Problem for Testing against Quantified Properties. QSIC Patrícia D. L. Machado, Wilkerson de L. Andrade
2006	J	`jnl`	Generating interaction test cases for mobile phone systems from use case specifications. ACM SIGSOFT Softw. Eng. Notes André L. L. de Figueiredo, Wilkerson de L. Andrade, Patrícia D. L. Machado
2006	A*	`conf`	GridUnit: software testing on the grid. ICSE Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado
2006	—	`conf`	Towards Test Purpose Generation from CTL Properties for Reactive Systems. MBT Daniel Aguiar da Silva, Patrícia D. L. Machado
2005	—	`conf`	Towards Property Oriented Testing. SBMF Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota
2004	J	`jnl`	An approach to modelling and applying mobile agent design patterns. ACM SIGSOFT Softw. Eng. Notes Emerson F. A. Lima, Patrícia D. L. Machado, Fláavio R. Sampaio, Jorge C. A. de Figueiredo
2004	—	`conf`	Identifying and Documenting Test Patterns from Mobile Agent Design Patterns. MATA André Figueiredo, Antônio Almeida, Patrícia D. L. Machado
2004	—	`ed.`	Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003 WMF Ana Cavalcanti, Patrícia D. L. Machado
2004	—	`conf`	Testing from Structured Algebraic Specifications: The Veritas Case Study. SBMF Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues
2003	—	`conf`	Preface. WMF Ana Cavalcanti, Patrícia D. L. Machado
2003	—	`conf`	Um Método de Teste Funcional para Verificação de Componentes. SBES Carina M. Farias, Patrícia D. L. Machado
2002	B	`conf`	Unit Testing for CASL Architectural Specifications. MFCS Patrícia D. L. Machado, Donald Sannella
2000	J	`jnl`	Formal testing from structured algebraic specifications: normalisationand the oracle problem. RITA Patrícia D. L. Machado
2000	—	`conf`	Testing from Structured Algebraic Specifications. AMAST Patrícia D. L. Machado
2000	—	`—`	Testing from structured algebraic specifications : the oracle problem. Patrícia D. L. Machado
1999	—	`conf`	The Rôle of Normalisation in Testing from Structured Algebraic Specifications. WADT Patrícia D. L. Machado
1998	—	`conf`	On Oracles for Interpreting Test Results against Algebraic Specifications. AMAST Patrícia D. L. Machado
1995	—	`conf`	On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. ZUM Patrícia D. L. Machado, Silvio Romero de Lemos Meira