2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2022

Syrius: Synthesis of Rules for Intrusion Detectors

ALCANTARA, L.; PADILHA, G.; ABREU, RUI; DAMORIM, M
IEEE TRANSACTIONS ON RELIABILITY
2022

RVprio: A tool for prioritizing runtime verification violations

CABRAL, LUCAS; MIRANDA, BRENO; LIMA, IGOR; d'Amorim, Marcelo
SOFTWARE TESTING VERIFICATION & RELIABILITY
2022

Leveraging Practitioners' Feedback to Improve a Security Linter

REIS, SOFIA; ABREU, R.; DAMORIM, MARCELO; FORTUNATO, D.
International Conference on Automated Software Engineering
2022

ThirdEye: Attention Maps for Safe Autonomous Driving Systems (

STOCCO, A.; NUNES, P.; DAMORIM, MARCELO; TONELLA, P.
International Conference on Automated Software Engineering
2022

Fuzzing class specifications

MOLINA, FACUNDO; d'Amorim, Marcelo; AGUIRRE, NAZARENO
[ICSE] ICSE '22: 44th International Conference on Software Engineering
2021

Exposing bugs in JavaScript engines through test transplantation and differential testing

LIMA, I.; SILVA, J.; MIRANDA, B.; PINTO, G.; D?AMORIM, MARCELO
SOFTWARE QUALITY JOURNAL (ONLINE)
2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

TEIXEIRA, LEOPOLDO; MIRANDA, BRENO; REBELO, HENRIQUE; d'Amorim, Marcelo
[ICST] 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
2021

Soundy Automated Parallelization of Test Execution

MONDAL, SHOUVICK; SILVA, DENINI; d'Amorim, Marcelo
[ICSME] 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME)
2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair

HENKEL, JORDAN; SILVA, DENINI; TEIXEIRA, LEOPOLDO; d'Amorim, Marcelo; REPS, THOMAS
[ICSE] 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021

Shaker: a Tool for Detecting More Flaky Tests Faster

CORDEIRO, MARCELLO; SILVA, DENINI; TEIXEIRA, LEOPOLDO; MIRANDA, BRENO; d'Amorim, Marcelo
[ASE] 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021

Identifying method-level mutation subsumption relations using Z3

Gheyi, Rohit; RIBEIRO, MÁRCIO; SOUZA, BEATRIZ; GUIMARÃES, MARCIO; FERNANDES, LEO; D?AMORIM, MARCELO; ALVES, VANDER; TEIXEIRA, LEOPOLDO; FONSECA, BALDOINO
INFORMATION AND SOFTWARE TECHNOLOGY
2020

Practical detection of CMS plugin conflicts in large plugin sets

LIMA, IGOR; CÂNDIDO, JEANDERSON; D?AMORIM, MARCELO
INFORMATION AND SOFTWARE TECHNOLOGY
2020

Prioritizing Runtime Verification Violations

MIRANDA, BRENO; LIMA, IGOR; LEGUNSEN, OWOLABI; d'Amorim, Marcelo
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations

GUIMARAES, MARCIO AUGUSTO; FERNANDES, LEO; RIBEIRO, MARCIO; d'Amorim, Marcelo; Gheyi, Rohit
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

Visual sketching

d'Amorim, Marcelo; ABREU, RUI; MELLO, CARLOS
[ICSE] ICSE '20: 42nd International Conference on Software Engineering
2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker

SILVA, DENINI; TEIXEIRA, LEOPOLDO; d'Amorim, Marcelo
[ICSME] 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)
2020

What is the Vocabulary of Flaky Tests?

PINTO, GUSTAVO; MIRANDA, BRENO; DISSANAYAKE, SUPUN; d'Amorim, Marcelo; TREUDE, CHRISTOPH; BERTOLINO, ANTONIA
[MSR] MSR '20: 17th International Conference on Mining Software Repositories
2019

Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization

REIS, SOFIA; ABREU, RUI; d'Amorim, Marcelo
TwentyEighth International Joint Conference on Artificial Intelligence {IJCAI19}
2019

A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps

MAURO JUNIOR, DAVINO; MELO, LUIS; LU, HAO; DAMORIM, MARCELO; PRAKASH, ATUL
2019 IEEE Security and Privacy Workshops (SPW)
2019

Intent-Preserving Test Repair

Li, Xiangyu; d'Amorim, Marcelo; Orso, Alessandro
[ICST] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
2019

Using Docker to Assist Q&A Forum Users

MELO, LUIS; WIESE, IGOR SCALIANTE; DAMORIM, MARCELO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2018

Enlightened debugging

Li, Xiangyu; ZHU, SHAOWEI; d'Amorim, Marcelo; Orso, Alessandro
[ICSE] the 40th International Conference
2018

Automatically translating bug reports into test cases for mobile apps

FAZZINI, MATTIA; PRAMMER, MARTIN; d'Amorim, Marcelo; Orso, Alessandro
[ISSTA] the 27th ACM SIGSOFT International Symposium
2018

Time-space efficient regression testing for configurable systems

SOUTO, SABRINA; D?AMORIM, MARCELO
JOURNAL OF SYSTEMS AND SOFTWARE
2017

Test suite parallelization in open-source projects: A study on its usage and impact

CANDIDO, JEANDERSON; MELO, LUIS; d'Amorim, Marcelo
[ASE] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
2017

Prevalence of Single-Fault Fixes and Its Impact on Fault Localization

PEREZ, ALEXANDRE; ABREU, RUI; d'Amorim, Marcelo
[ICST] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
2017

Preface

XIE, TAO; CAI, YUANFANG; LIU, XUANZHE; WANG, XIAOYIN; ACHARYA, MITHUN P.; D?AMORIM, MARCELO; MA, XIAOXING
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
2017

Balancing Soundness and Efficiency for Practical Testing of Configurable Systems

SOUTO, SABRINA; d'Amorim, Marcelo; Gheyi, Rohit
[ICSE] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
2015

Faster bug detection for software product lines with incomplete feature models

SOUTO, SABRINA; GOPINATH, DIVYA; d'Amorim, Marcelo; Marinov, Darko; KHURSHID, SARFRAZ; BATORY, DON
[SPLC] the 19th International Conference
2015

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)

BARROS, PAULO; JUST, RENE; MILLSTEIN, SUZANNE; VINES, PAUL; DIETL, WERNER; DAMORIM, MARCELO; ERNST, MICHAEL D.
[ASE] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2015

Iterative distribution-aware sampling for probabilistic symbolic execution

BORGES, MATEUS; FILIERI, ANTONIO; d'Amorim, Marcelo; P'S'REANU, CORINA S.
[ESEC/FSE] the 2015 10th Joint Meeting
2014

Quantifying information leaks using reliability analysis

PHAN, QUOC-SANG; MALACARIA, PASQUALE; P'S'REANU, CORINA S.; d'Amorim, Marcelo
[SPIN] the 2014 International SPIN Symposium
2014

Compositional solution space quantification for probabilistic software analysis

BORGES, MATEUS; FILIERI, ANTONIO; d'Amorim, Marcelo; P'S'REANU, CORINA S.; VISSER, WILLEM
ACM SIGPLAN NOTICES
2013

Efficient static checker for tainted variable attacks

RIMSA, ANDREI; D?AMORIM, MARCELO; PEREIRA, FERNANDO MAGNO QUINTÃO; BIGONHA, ROBERTO S.
SCIENCE OF COMPUTER PROGRAMMING
2013

Compositional solution space quantification for probabilistic software analysis

BORGES, MATEUS; FILIERI, ANTONIO; d'Amorim, Marcelo; P'S'REANU, CORINA S.; VISSER, WILLEM
[PLDI] the 35th ACM SIGPLAN Conference
2013

Entropy-based test generation for improved fault localization

CAMPOS, JOSE; ABREU, RUI; FRASER, GORDON; d'Amorim, Marcelo
[ASE] 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)
2013

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems

KIM, CHANG HWAN PETER; Marinov, Darko; KHURSHID, SARFRAZ; BATORY, DON; SOUTO, SABRINA; BARROS, PAULO; d'Amorim, Marcelo
[ESEC/FSE] the 2013 9th Joint Meeting
2012

Symbolic Execution with Interval Solving and Meta-heuristic Search

Mateus Borges; Marcelo d'Amorim; Saswat Anand; David H. Bushnell; Corina Pasareanu
[ICSTV] International Conference on Software Testing, Verification and Validation
2011

Tainted Flow Analysis on e-SSA-form Programs

Andrei Rimsa Alvares; d'Amorim, Marcelo; Fernando M. Q. Pereira
[CC] International Conference on Compiler Construction (CC)
2011

Fault-localization using dynamic slicing and change impact analysis

Elton Alves; Milos Gligoric; JAGANANTH, V.; d'Amorim, Marcelo
[ASE] IEEE/ACM International Conference on Automated Software Engineering
2011

CORAL: Solving Complex Constraints for Symbolic PathFinder

Matheus Arrais; Mateus Borges; d'Amorim, Marcelo; Corina Pasareanu
[NFM] NASA Formal Methods Symposium
2010

Assertion Checking in J-Sim Simulation Models of Network Protocols

Sobeih, A.; d'Amorim, M.; Viswanathan, M.; Marinov, D.; Hou, J. C.; d'Amorim, M.
Simulation (San Diego, Calif.)
2010

Efficient Checking of Tainted Variable Attacks

Andrei Rimsa Alvares; Marcelo d'Amorim; Fernando M. Q. Pereira
[SBLP] Congresso Brasileiro em Software (CBSoft), SBLP
2010

Randomized constraint solvers: a comparative study

Takaki, Mitsuo; Cavalcanti, Diego; Gheyi, Rohit; Iyoda, Juliano; D?AMORIM, MARCELO; Prudêncio, Ricardo B. C.
Innovations in Systems and Software Engineering (Internet)
2009

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs

Cristiano Bertolini; Glaucia Peres; Marcelo d'Amorim; Alexandre Mota
[ICST] International Conference on Software Testing Verification and Validation (ICST)
2009

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.

Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Prudêncio
[NFM] NASA Formal Methods Symposium
2008

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

d'Amorim, M.; LAUTERBURG, S.; Marinov, D.
IEEE Transactions on Software Engineering
2008

State extensions for java pathfinder

Tihomir Gvero; Milos Gligoric; Steven Lauterburg; d'Amorim, Marcelo; Darko Marinov; Sarfraz Khurshid
International Conference on Software Engineering (Tool Demo)
2007

Delta execution for efficient state-space exploration of object-oriented programs

d'Amorim, Marcelo; Lauterburg, Steven; Darko Marinov
[ISSTA] International Symposium on Software testing and analysis (ISSTA)
2007

Delta execution for software reliability

Yuanyuan Zhou; Darko Marinov; William Sanders; Craig Zilles; Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Steven Lauterburg; Ryan M. Lefever; Joe Tucek
Hot Topics in System Dependability
2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing

d'Amorim, Marcelo; Carlos Pacheco; Tao Xie; Darko Marinov; Michael Ernst
[ASE] International Conference on Automated Software Engineering (ASE)
2006

Optimized Execution of Deterministic Blocks in Java PathFinder

d'Amorim, Marcelo; Ahmed Sobeih; Darko Marinov
[ICFEM] International Conference on Formal Engineering Methods
2006

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

CHEN, FENG; d'Amorim, Marcelo; RO'U, GRIGORE
Electronic Notes in Theoretical Computer Science
2005

Event-based runtime verification of java programs

d'Amorim, Marcelo; Havelund, Klaus
Software Engineering Notes
2005

An Equational Specification for the Scheme Language

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Grigore Rosu
Simposio Brasileiro de Linguagens de Programacao
2005

Efficient Monitoring of Omega Languages

d'Amorim, Marcelo; Grigore Rosu
[CAV] Computer Aided Verification (CAV)
2005

An Equational Specification for the Scheme Language

DAMORIM, M; Grigore Rosu
Journal of Universal Computer Science (Print)
2002

Integrating Code Generation and Refactoring

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; NOGUEIRA, C.; SANTOS, G.; SOUZA, A.; BORBA, P.
ECOOP?2002 Workshop on Generative Programming
2001

Designing Jini Distributed Services - A Framework to support the development of reliable component networks

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Carlos Ferraz
First OOPSLA Workshop on Language Mechanisms for Programming Software Components.
2001

A Design for JTrader, an Internet Trading Federation.

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Carlos Ferraz
Simposio Brasileiro de Redes de Computadores
2001

Proxy-to-Proxy, a Structural Pattern for Leveraging Security on Highly Distributed Internet Applications

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Carlos Ferraz
First Latin American Conference on Pattern Languages of Programming - SugarloafPLoP'2001
2001

Reverse Lease Subscriber, a Design Pattern based on Service Trading for Failure Detection and Reconfiguration of Distributed Systems

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo
First Latin American Conference on Pattern Languages of Programming - SugarloafPLoP'2001
2000

Implementando Sistemas Orientados a Objetos para Web usando Servlets

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; SOARES, S.; NEVES, D.; AQUINO, G.; VALENÇA, A.; VALADARES, L.; FARO, M.
[IV] Simposio Brasileiro de Linguagens de Programacao

Publicações

2022

Syrius: Synthesis of Rules for Intrusion Detectors

ALCANTARA, L.; PADILHA, G.; ABREU, RUI; DAMORIM, M
IEEE TRANSACTIONS ON RELIABILITY
2022

RVprio: A tool for prioritizing runtime verification violations

CABRAL, LUCAS; MIRANDA, BRENO; LIMA, IGOR; d'Amorim, Marcelo
SOFTWARE TESTING VERIFICATION & RELIABILITY
2022

Leveraging Practitioners' Feedback to Improve a Security Linter

REIS, SOFIA; ABREU, R.; DAMORIM, MARCELO; FORTUNATO, D.
International Conference on Automated Software Engineering
2022

ThirdEye: Attention Maps for Safe Autonomous Driving Systems (

STOCCO, A.; NUNES, P.; DAMORIM, MARCELO; TONELLA, P.
International Conference on Automated Software Engineering
2022

Fuzzing class specifications

MOLINA, FACUNDO; d'Amorim, Marcelo; AGUIRRE, NAZARENO
[ICSE] ICSE '22: 44th International Conference on Software Engineering
2021

Exposing bugs in JavaScript engines through test transplantation and differential testing

LIMA, I.; SILVA, J.; MIRANDA, B.; PINTO, G.; D?AMORIM, MARCELO
SOFTWARE QUALITY JOURNAL (ONLINE)
2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

TEIXEIRA, LEOPOLDO; MIRANDA, BRENO; REBELO, HENRIQUE; d'Amorim, Marcelo
[ICST] 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
2021

Soundy Automated Parallelization of Test Execution

MONDAL, SHOUVICK; SILVA, DENINI; d'Amorim, Marcelo
[ICSME] 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME)
2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair

HENKEL, JORDAN; SILVA, DENINI; TEIXEIRA, LEOPOLDO; d'Amorim, Marcelo; REPS, THOMAS
[ICSE] 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021

Shaker: a Tool for Detecting More Flaky Tests Faster

CORDEIRO, MARCELLO; SILVA, DENINI; TEIXEIRA, LEOPOLDO; MIRANDA, BRENO; d'Amorim, Marcelo
[ASE] 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021

Identifying method-level mutation subsumption relations using Z3

Gheyi, Rohit; RIBEIRO, MÁRCIO; SOUZA, BEATRIZ; GUIMARÃES, MARCIO; FERNANDES, LEO; D?AMORIM, MARCELO; ALVES, VANDER; TEIXEIRA, LEOPOLDO; FONSECA, BALDOINO
INFORMATION AND SOFTWARE TECHNOLOGY
2020

Practical detection of CMS plugin conflicts in large plugin sets

LIMA, IGOR; CÂNDIDO, JEANDERSON; D?AMORIM, MARCELO
INFORMATION AND SOFTWARE TECHNOLOGY
2020

Prioritizing Runtime Verification Violations

MIRANDA, BRENO; LIMA, IGOR; LEGUNSEN, OWOLABI; d'Amorim, Marcelo
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations

GUIMARAES, MARCIO AUGUSTO; FERNANDES, LEO; RIBEIRO, MARCIO; d'Amorim, Marcelo; Gheyi, Rohit
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

Visual sketching

d'Amorim, Marcelo; ABREU, RUI; MELLO, CARLOS
[ICSE] ICSE '20: 42nd International Conference on Software Engineering
2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker

SILVA, DENINI; TEIXEIRA, LEOPOLDO; d'Amorim, Marcelo
[ICSME] 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)
2020

What is the Vocabulary of Flaky Tests?

PINTO, GUSTAVO; MIRANDA, BRENO; DISSANAYAKE, SUPUN; d'Amorim, Marcelo; TREUDE, CHRISTOPH; BERTOLINO, ANTONIA
[MSR] MSR '20: 17th International Conference on Mining Software Repositories
2019

Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization

REIS, SOFIA; ABREU, RUI; d'Amorim, Marcelo
TwentyEighth International Joint Conference on Artificial Intelligence {IJCAI19}
2019

A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps

MAURO JUNIOR, DAVINO; MELO, LUIS; LU, HAO; DAMORIM, MARCELO; PRAKASH, ATUL
2019 IEEE Security and Privacy Workshops (SPW)
2019

Intent-Preserving Test Repair

Li, Xiangyu; d'Amorim, Marcelo; Orso, Alessandro
[ICST] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
2019

Using Docker to Assist Q&A Forum Users

MELO, LUIS; WIESE, IGOR SCALIANTE; DAMORIM, MARCELO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2018

Enlightened debugging

Li, Xiangyu; ZHU, SHAOWEI; d'Amorim, Marcelo; Orso, Alessandro
[ICSE] the 40th International Conference
2018

Automatically translating bug reports into test cases for mobile apps

FAZZINI, MATTIA; PRAMMER, MARTIN; d'Amorim, Marcelo; Orso, Alessandro
[ISSTA] the 27th ACM SIGSOFT International Symposium
2018

Time-space efficient regression testing for configurable systems

SOUTO, SABRINA; D?AMORIM, MARCELO
JOURNAL OF SYSTEMS AND SOFTWARE
2017

Test suite parallelization in open-source projects: A study on its usage and impact

CANDIDO, JEANDERSON; MELO, LUIS; d'Amorim, Marcelo
[ASE] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
2017

Prevalence of Single-Fault Fixes and Its Impact on Fault Localization

PEREZ, ALEXANDRE; ABREU, RUI; d'Amorim, Marcelo
[ICST] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
2017

Preface

XIE, TAO; CAI, YUANFANG; LIU, XUANZHE; WANG, XIAOYIN; ACHARYA, MITHUN P.; D?AMORIM, MARCELO; MA, XIAOXING
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
2017

Balancing Soundness and Efficiency for Practical Testing of Configurable Systems

SOUTO, SABRINA; d'Amorim, Marcelo; Gheyi, Rohit
[ICSE] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
2015

Faster bug detection for software product lines with incomplete feature models

SOUTO, SABRINA; GOPINATH, DIVYA; d'Amorim, Marcelo; Marinov, Darko; KHURSHID, SARFRAZ; BATORY, DON
[SPLC] the 19th International Conference
2015

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)

BARROS, PAULO; JUST, RENE; MILLSTEIN, SUZANNE; VINES, PAUL; DIETL, WERNER; DAMORIM, MARCELO; ERNST, MICHAEL D.
[ASE] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2015

Iterative distribution-aware sampling for probabilistic symbolic execution

BORGES, MATEUS; FILIERI, ANTONIO; d'Amorim, Marcelo; P'S'REANU, CORINA S.
[ESEC/FSE] the 2015 10th Joint Meeting
2014

Quantifying information leaks using reliability analysis

PHAN, QUOC-SANG; MALACARIA, PASQUALE; P'S'REANU, CORINA S.; d'Amorim, Marcelo
[SPIN] the 2014 International SPIN Symposium
2014

Compositional solution space quantification for probabilistic software analysis

BORGES, MATEUS; FILIERI, ANTONIO; d'Amorim, Marcelo; P'S'REANU, CORINA S.; VISSER, WILLEM
ACM SIGPLAN NOTICES
2013

Efficient static checker for tainted variable attacks

RIMSA, ANDREI; D?AMORIM, MARCELO; PEREIRA, FERNANDO MAGNO QUINTÃO; BIGONHA, ROBERTO S.
SCIENCE OF COMPUTER PROGRAMMING
2013

Compositional solution space quantification for probabilistic software analysis

BORGES, MATEUS; FILIERI, ANTONIO; d'Amorim, Marcelo; P'S'REANU, CORINA S.; VISSER, WILLEM
[PLDI] the 35th ACM SIGPLAN Conference
2013

Entropy-based test generation for improved fault localization

CAMPOS, JOSE; ABREU, RUI; FRASER, GORDON; d'Amorim, Marcelo
[ASE] 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)
2013

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems

KIM, CHANG HWAN PETER; Marinov, Darko; KHURSHID, SARFRAZ; BATORY, DON; SOUTO, SABRINA; BARROS, PAULO; d'Amorim, Marcelo
[ESEC/FSE] the 2013 9th Joint Meeting
2012

Symbolic Execution with Interval Solving and Meta-heuristic Search

Mateus Borges; Marcelo d'Amorim; Saswat Anand; David H. Bushnell; Corina Pasareanu
[ICSTV] International Conference on Software Testing, Verification and Validation
2011

Tainted Flow Analysis on e-SSA-form Programs

Andrei Rimsa Alvares; d'Amorim, Marcelo; Fernando M. Q. Pereira
[CC] International Conference on Compiler Construction (CC)
2011

Fault-localization using dynamic slicing and change impact analysis

Elton Alves; Milos Gligoric; JAGANANTH, V.; d'Amorim, Marcelo
[ASE] IEEE/ACM International Conference on Automated Software Engineering
2011

CORAL: Solving Complex Constraints for Symbolic PathFinder

Matheus Arrais; Mateus Borges; d'Amorim, Marcelo; Corina Pasareanu
[NFM] NASA Formal Methods Symposium
2010

Assertion Checking in J-Sim Simulation Models of Network Protocols

Sobeih, A.; d'Amorim, M.; Viswanathan, M.; Marinov, D.; Hou, J. C.; d'Amorim, M.
Simulation (San Diego, Calif.)
2010

Efficient Checking of Tainted Variable Attacks

Andrei Rimsa Alvares; Marcelo d'Amorim; Fernando M. Q. Pereira
[SBLP] Congresso Brasileiro em Software (CBSoft), SBLP
2010

Randomized constraint solvers: a comparative study

Takaki, Mitsuo; Cavalcanti, Diego; Gheyi, Rohit; Iyoda, Juliano; D?AMORIM, MARCELO; Prudêncio, Ricardo B. C.
Innovations in Systems and Software Engineering (Internet)
2009

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs

Cristiano Bertolini; Glaucia Peres; Marcelo d'Amorim; Alexandre Mota
[ICST] International Conference on Software Testing Verification and Validation (ICST)
2009

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.

Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Prudêncio
[NFM] NASA Formal Methods Symposium
2008

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

d'Amorim, M.; LAUTERBURG, S.; Marinov, D.
IEEE Transactions on Software Engineering
2008

State extensions for java pathfinder

Tihomir Gvero; Milos Gligoric; Steven Lauterburg; d'Amorim, Marcelo; Darko Marinov; Sarfraz Khurshid
International Conference on Software Engineering (Tool Demo)
2007

Delta execution for efficient state-space exploration of object-oriented programs

d'Amorim, Marcelo; Lauterburg, Steven; Darko Marinov
[ISSTA] International Symposium on Software testing and analysis (ISSTA)
2007

Delta execution for software reliability

Yuanyuan Zhou; Darko Marinov; William Sanders; Craig Zilles; Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Steven Lauterburg; Ryan M. Lefever; Joe Tucek
Hot Topics in System Dependability
2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing

d'Amorim, Marcelo; Carlos Pacheco; Tao Xie; Darko Marinov; Michael Ernst
[ASE] International Conference on Automated Software Engineering (ASE)
2006

Optimized Execution of Deterministic Blocks in Java PathFinder

d'Amorim, Marcelo; Ahmed Sobeih; Darko Marinov
[ICFEM] International Conference on Formal Engineering Methods
2006

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

CHEN, FENG; d'Amorim, Marcelo; RO'U, GRIGORE
Electronic Notes in Theoretical Computer Science
2005

Event-based runtime verification of java programs

d'Amorim, Marcelo; Havelund, Klaus
Software Engineering Notes
2005

An Equational Specification for the Scheme Language

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Grigore Rosu
Simposio Brasileiro de Linguagens de Programacao
2005

Efficient Monitoring of Omega Languages

d'Amorim, Marcelo; Grigore Rosu
[CAV] Computer Aided Verification (CAV)
2005

An Equational Specification for the Scheme Language

DAMORIM, M; Grigore Rosu
Journal of Universal Computer Science (Print)
2002

Integrating Code Generation and Refactoring

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; NOGUEIRA, C.; SANTOS, G.; SOUZA, A.; BORBA, P.
ECOOP?2002 Workshop on Generative Programming
2001

Designing Jini Distributed Services - A Framework to support the development of reliable component networks

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Carlos Ferraz
First OOPSLA Workshop on Language Mechanisms for Programming Software Components.
2001

A Design for JTrader, an Internet Trading Federation.

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Carlos Ferraz
Simposio Brasileiro de Redes de Computadores
2001

Proxy-to-Proxy, a Structural Pattern for Leveraging Security on Highly Distributed Internet Applications

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; Carlos Ferraz
First Latin American Conference on Pattern Languages of Programming - SugarloafPLoP'2001
2001

Reverse Lease Subscriber, a Design Pattern based on Service Trading for Failure Detection and Reconfiguration of Distributed Systems

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo
First Latin American Conference on Pattern Languages of Programming - SugarloafPLoP'2001
2000

Implementando Sistemas Orientados a Objetos para Web usando Servlets

Marcelo d'Amorim;d'Amorim, Marcelo;DAMORIM, M;d'Amorim, M.;DAMORIM, MARCELO;D?AMORIM, MARCELO;d¿Amorim, Marcelo; SOARES, S.; NEVES, D.; AQUINO, G.; VALENÇA, A.; VALADARES, L.; FARO, M.
[IV] Simposio Brasileiro de Linguagens de Programacao
damorim

Marcelo Bezerra d'Amorim

Professor Associado III

Engenharia de Software e Linguagens de Programação
Link para o site pessoal de Marcelo Bezerra d'Amorim
Link para o perfil do lattes de Marcelo Bezerra d'Amorim
Link para o perfil do ORCID de Marcelo Bezerra d'Amorim
Link para o perfil do DBLP de Marcelo Bezerra d'Amorim
Link para o perfil do LinkedIn de Marcelo Bezerra d'Amorim
Link para o perfil do sigaa de Marcelo Bezerra d'Amorim
E-mail
damorim@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4379
Sala
A104
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
damorim

Marcelo Bezerra d'Amorim

Professor Associado III

Engenharia de Software e Linguagens de Programação
Link para o site pessoal de Marcelo Bezerra d'Amorim
Link para o perfil do lattes de Marcelo Bezerra d'Amorim
Link para o perfil do ORCID de Marcelo Bezerra d'Amorim
Link para o perfil do DBLP de Marcelo Bezerra d'Amorim
Link para o perfil do LinkedIn de Marcelo Bezerra d'Amorim
Link para o perfil do sigaa de Marcelo Bezerra d'Amorim
E-mail
damorim@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4379
Sala
A104
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações