Works (73)

Updated: September 16th, 2024 05:02

2024 article

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback

PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON AI-POWERED SOFTWARE, AIWARE 2024, pp. 103–111.

By: U. Kulsum n, H. Zhu*, B. Xu n & M. d'Amorim n

author keywords: Automated Vulnerability Repair; Large Language Models
Sources: ORCID, Web Of Science, NC State University Libraries
Added: July 15, 2024

2024 conference paper

Feedback-Directed Partial Execution

Hayet, I., Scott, A., & d'Amorim, M. (2024, September 11).

By: I. Hayet n, A. Scott n & M. d'Amorim n

Source: ORCID
Added: September 15, 2024

2024 article

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers

PROCEEDINGS 45TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS, SPW 2024, pp. 87–94.

By: S. Hamer n, M. d'Amorim n & L. Williams n

author keywords: Software Engineering Security; Empirical Study; Large Language Models; Software Supply Chain; Code Generation
Sources: Web Of Science, NC State University Libraries
Added: August 26, 2024

2023 conference paper

Do you see any problem? On the Developers Perceptions in Test Smells Detection

Lima, R., Costa, K., Souza, J., Teixeira, L., Fonseca, B., D'Amorim, M., … Miranda, B. (2023, November 7).

TL;DR: The findings reveal that the participants detect Test Smells in significantly different ways, and introduce some questions concerning the results of previous studies that do not consider the different perceptions of participants on detecting Test Smell. (via Semantic Scholar)
Source: ORCID
Added: February 22, 2024

2023 journal article

NCQ: Code Reuse Support for Node.js Developers

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(5), 3205–3225.

By: B. Reid*, M. d'Amorim n, M. Wagner* & C. Treude*

author keywords: Codes; Task analysis; Documentation; Problem-solving; Switches; Search problems; Search engines; Code reuse; code search; library selection
TL;DR: Node Code Query is presented, a Read-Eval-Print-Loop environment that allows developers to search for NPM packages using natural language queries, and search for code snippets related to those packages, and suggests that NCQ makes Node.js developers more efficient in reusing code. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries, ORCID
Added: June 26, 2023

2023 journal article

Runtime Verification of Crypto APIs: An Empirical Study

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(10), 4510–4525.

By: A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifacio, M. d'Amorim n, O. Legunsen*, E. Bodden*, E. Dias Canedo

author keywords: Security vulnerability; crypto API misuse; runtime verification
TL;DR: A study of runtime verification (RV) as a dynamic-analysis-based alternative for crypto API misuse detection and it is shown to be effective and efficient for amplifying the bug-finding ability of software tests. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries, ORCID
Added: December 18, 2023

2023 article

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing

2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, pp. 2094–2097.

By: F. Molina*, M. d'Amorim n & N. Aguirre*

author keywords: Oracle Problem; Specification Inference; Grammar-based Fuzzing
TL;DR: SPEcFuzZER is a tool that aims at alleviating the problem of writing class specifications by using a combination of grammar-based fuzzing, dynamic invariant detection and mutation analysis to auto-maticallyautomatically infer specifications for Java classes. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Sources: Web Of Science, NC State University Libraries
Added: January 29, 2024

2023 journal article

Test Flakiness Across Programming Languages

IEEE Transactions on Software Engineering.

By: K. Barbosa*, R. Ferreira, G. Pinto, M. d'Amorim* & B. Miranda*

TL;DR: A study focusing on three central aspects of test flakiness: concentration, similarity, and cost found that issues related to flaky tests are resolved either very early once they are posted, suggesting relevance, or very late, suggesting irrelevance. (via Semantic Scholar)
Source: ORCID
Added: February 22, 2024

2022 conference paper

Leveraging Practitioners’ Feedback to Improve a Security Linter

Reis, S., Abreu, R., d'Amorim, M., & Fortunato, D. (2022, October 10).

By: S. Reis*, R. Abreu*, M. d'Amorim* & D. Fortunato*

TL;DR: An important takeaway from this paper is that obtaining professional feedback is fundamental to improving the rules’ precision and extending the rulesets, which is critical for the usefulness and adoption of lightweight tools, such as IaC security linters. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: February 22, 2024

2022 journal article

RVprio: A tool for prioritizing runtime verification violations

Software Testing, Verification and Reliability.

By: L. Cabral*, B. Miranda*, I. Lima* & M. d'Amorim*

TL;DR: RVprio is presented, the first automated approach for prioritizing RV violations in order of likelihood of being true bugs, and it was effective when applied to new unlabelled violations, from which it found previously unknown bugs. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: February 22, 2024

2022 journal article

Syrius: Synthesis of Rules for Intrusion Detectors

IEEE Transactions on Reliability.

By: L. Alcantara*, G. Padilha*, R. Abreu* & M. d'Amorim*

TL;DR: Syrius, a novel approach to synthesize rules for rule-based NIDS that leverages malicious and benign traffic to create rules for new attacks, is proposed and evaluated against a set of 21 network attacks with various characteristics. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: February 22, 2024

2022 conference paper

ThirdEye: Attention Maps for Safe Autonomous Driving Systems

Stocco, A., Nunes, P. J., D'Amorim, M., & Tonella, P. (2022, October 10).

By: A. Stocco*, P. Nunes*, M. D'Amorim* & P. Tonella*

TL;DR: This paper evaluates the effectiveness of different configurations of ThirdEye at predicting simulation-based injected failures induced by both unknown conditions (adverse weather and lighting) and unsafe/uncertain conditions created with mutation testing and shows that, overall, ThirdEye can predict 98% misbehaviours, outperforming a state-of-the-art failure predictor for autonomous vehicles. (via Semantic Scholar)
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Source: ORCID
Added: February 22, 2024

2021 journal article

Exposing bugs in JavaScript engines through test transplantation and differential testing

Software Quality Journal.

TL;DR: The results show that test transplantation and differential testing are easy to apply and very effective in finding bugs in complex software, such as JavaScript engines. (via Semantic Scholar)
Source: ORCID
Added: February 22, 2024

2019 journal article

Practical detection of CMS plugin conflicts in large plugin sets

Information and Software Technology.

TL;DR: PENA is a technique to detect conflicts in large sets of plugins as those present in plugin market places and can find as many conflicts as it can find against the technique that checks conflicts in all pairs of plugins. (via Semantic Scholar)
Source: ORCID
Added: February 22, 2024

2019 journal article

Using Docker to Assist Q&A Forum Users

IEEE Transactions on Software Engineering.

By: L. Melo*, I. Wiese* & M. drAmorim

TL;DR: Early evidence is provided that the use of Docker in Q&A forums should be encouraged for configuration-related posts, and that the cost of creating containers is not high, especially due to the fact that dockerfiles are highly similar and small. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: February 22, 2024

2017 conference paper

2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7922464

Marcelo D'Amorim

Source: ORCID
Added: June 21, 2023

2017 conference paper

Balancing soundness and efficiency for practical testing of configurable systems

Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, 632–642.

TL;DR: S-SPLat is proposed, a technique that combines heuristic sampling with symbolic search to obtain both breadth and depth in the exploration of the configuration space and suggests that it is preferable to use a combination of simple heuristics to drive the symbolic search as opposed to a single heuristic. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: June 21, 2023

2017 journal article

Preface

J. Comput. Sci. Technol., 32(6), 1057–1059.

By: T. Xie*, Y. Cai*, X. Liu*, X. Wang*, M. Acharya*, M. d’Amorim*, X. Ma*

Source: ORCID
Added: June 21, 2023

2017 conference paper

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

2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, 12–22.

TL;DR: The empirical study using 279 open-source projects reveals that there is a prevalence of single-fault fixes, with over 82% of all fixes only eliminating one bug from the system, enabling the use of simpler, (near-)optimal, fault predictors. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2017 conference paper

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8106906

Marcelo D'Amorim

Ed(s): G. Rosu, M. Penta & T. Nguyen

Source: ORCID
Added: June 21, 2023

2017 conference paper

Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017

http://dl.acm.org/citation.cfm?id=3097368

Marcelo D'Amorim

Ed(s): Sebasti\’a

Source: ORCID
Added: June 21, 2023

2017 conference paper

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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, 838–848.

Marcelo D'Amorim

TL;DR: Findings on the usage and impact of test suite parallelization in open-source projects are reported and it is suggested that, on average, developers prefer high predictability than high performance in running tests. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2017 journal article

Time-Space Efficient Regression Testing for Configurable Systems

CoRR, abs/1702.03457. http://arxiv.org/abs/1702.03457

By: S. Souto & M. d’Amorim

Source: ORCID
Added: June 21, 2023

2016 conference paper

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Marcelo D'Amorim

Ed(s): R. Bloem* & E. Arbel*

TL;DR: Current Trends and Future Direction in Eco-system of Hardware Formal Verification: A Technical and Business Perspective is presented. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2016 conference paper

Iterative User-Driven Fault Localization

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, 82–98.

TL;DR: Swift, an iterative user-driven technique designed to support developers during debugging, is proposed, which is a first important step towards defining fault localization techniques that account for the presence of humans in the loop and are practically applicable. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: June 21, 2023

2015 conference paper

30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449

Marcelo D'Amorim

Ed(s): M. Cohen, L. Grunske & M. Whalen

Source: ORCID
Added: June 21, 2023

2015 conference paper

Faster bug detection for software product lines with incomplete feature models

Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, 151–160.

Marcelo D'Amorim

TL;DR: SPLif, the first approach for testing SPLs that does not require the a priori availability of feature models, is introduced, to use a profile of passing and failing test runs to quickly identify failures that are indicative of real problems in test or code rather than specious failures due to illegal feature combinations. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2015 conference paper

Iterative distribution-aware sampling for probabilistic symbolic execution

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, 866–877.

TL;DR: An iterative distribution-aware sampling approach to support probabilistic symbolic execution for arbitrarily complex mathematical constraints and continuous input distributions is proposed, where the symbolic constraints are decomposed into sub-problems whose solution can be solved independently. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2015 conference paper

Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015

http://dl.acm.org/citation.cfm?id=2791060

Marcelo D'Amorim

Ed(s): D. Schmidt

Source: ORCID
Added: June 21, 2023

2015 conference paper

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015

Marcelo D'Amorim

Ed(s): E. Nitto, M. Harman & P. Heymans

Source: ORCID
Added: June 21, 2023

2015 conference paper

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

30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, 669–679.

Source: ORCID
Added: June 21, 2023

2014 conference paper

2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014

http://dl.acm.org/citation.cfm?id=2632362

Marcelo D'Amorim

Ed(s): N. Rungta & O. Tkachuk

Source: ORCID
Added: June 21, 2023

2014 conference paper

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 284–299.

By: T. Liu*, M. Araújo*, M. d’Amorim* & M. Taghdiri*

TL;DR: Results suggest that tools should take advantage of incremental solving support from modern SMT solvers and researchers should look for ways to combine stack- and cache-based approaches to reduce execution cost even further. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2014 conference paper

ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014

http://dl.acm.org/citation.cfm?id=2594291

Marcelo D'Amorim

Ed(s): M. O’Boyle & K. Pingali

Source: ORCID
Added: June 21, 2023

2014 conference paper

Compositional solution space quantification for probabilistic software analysis

ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, 123–132.

TL;DR: This work presents a compositional statistical approach for the efficient quantification of solution spaces for arbitrarily complex constraints over bounded floating-point domains that leverages interval constraint propagation to improve the accuracy of the estimation by focusing the sampling on the regions of the input domain containing the sought solutions. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2014 conference paper

Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

Marcelo D'Amorim

Ed(s): E. Yahav*

Source: ORCID
Added: June 21, 2023

2014 conference paper

Quantifying information leaks using reliability analysis

2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, 105–108.

TL;DR: A novel application of the reliability analysis technique, namely Quantitative Information Flow analysis (QIF), is reported on, to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: June 21, 2023

2013 conference paper

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409

Marcelo D'Amorim

Ed(s): E. Denney, T. Bultan & A. Zeller

Source: ORCID
Added: June 21, 2023

2013 journal article

Efficient static checker for tainted variable attacks

Sci. Comput. Program., 80, 91–105.

By: A. Rimsa*, M. d’Amorim*, F. Pereira* & R. Silva Bigonha

TL;DR: This paper gives an O(V^2) solution to the problem of detecting tainted flow attacks as an instance of type-checking, and uses Bodik et al.'s extended Static Single Assignment (e-SSA) program representation. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: June 21, 2023

2013 conference paper

Entropy-based test generation for improved fault localization

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, 257–267.

TL;DR: This work extends the search-based test generation tool EVOSUITE to use entropy in the fitness function of its underlying genetic algorithm, and applies it to seven real faults, leading to a 91% average reduction of diagnosis candidates needed to inspect to find the true faulty one. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2013 conference paper

Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013

http://dl.acm.org/citation.cfm?id=2491411

Marcelo D'Amorim

Ed(s): B. Meyer, L. Baresi & M. Mezini

Source: ORCID
Added: June 21, 2023

2013 conference paper

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

Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, 257–267.

Marcelo D'Amorim

TL;DR: SPLat is presented, a new way to dynamically prune irrelevant configurations: the configurations to run for a test can be determined during test execution by monitoring accesses to configuration variables, which achieves an optimal reduction in the number of configurations. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2012 conference paper

Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6200016

Marcelo D'Amorim

Ed(s): G. Antoniol, A. Bertolino & Y. Labiche

Source: ORCID
Added: June 21, 2023

2012 conference paper

Symbolic Execution with Interval Solving and Meta-heuristic Search

Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012, 111–120.

By: M. Borges*, M. d’Amorim*, S. Anand*, D. Bushnell* & C. Pasareanu*

TL;DR: A new method to solve complex mathematical constraints such as constraints that include floating-point variables and transcendental functions is presented, which combines two existing methods: meta-heuristic search and interval solving. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: June 21, 2023

2011 conference paper

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6093623

Marcelo D'Amorim

Ed(s): P. Alexander, C. Pasareanu & J. Hosking

Source: ORCID
Added: June 21, 2023

2011 conference paper

CORAL: Solving Complex Constraints for Symbolic PathFinder

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, 359–374.

By: M. Souza*, M. Borges*, M. d’Amorim* & C. Pasareanu*

TL;DR: CorAL's heuristic solvers have been designed to deal with mathematical constraints and their heuristics have been improved based on examples from the aerospace domain and this integration significantly broadens the application of Symbolic PathFinder at NASA and in industry. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2011 conference paper

Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings

Marcelo D'Amorim

Ed(s): J. Knoop*

Source: ORCID
Added: June 21, 2023

2011 conference paper

Fault-localization using dynamic slicing and change impact analysis

26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011, 520–523.

Marcelo D'Amorim

TL;DR: The impact of several approaches to ignoring unrelated statements in order to improve the effectiveness of fault-localization tools is evaluated. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2011 conference paper

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Marcelo D'Amorim

Source: ORCID
Added: June 21, 2023

2011 conference paper

Tainted Flow Analysis on e-SSA-Form Programs

Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, 124–143.

TL;DR: This paper gives an O(V2) solution to the problem of detecting tainted flow attacks by using Bodik et al.'s extended Static Single Assignment (e-SSA) program representation and shows that this approach tends to outperform the data-flow algorithm for bigger inputs. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: June 21, 2023

2010 journal article

Randomized constraint solvers: a comparative study

ISSE, 6(3), 243–253.

TL;DR: Several randomized solvers are proposed and evaluated to address the complexity of constraints and it is observed that the solvers were complementary, which suggests that one should alternate their use in iterations of a concolic execution driver. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2009 conference paper

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

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., 56–65.

By: M. Takaki, D. Cavalcanti, R. Gheyi, J. Iyoda, M. d’Amorim & R. Prudêncio

Source: ORCID
Added: June 21, 2023

2009 conference paper

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

Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, 21–30.

TL;DR: An empirical evaluation of four black-box testing techniques for crashing programs through their GUI interface: SH, AF, DH, and BxT shows that AF and BXT offered better precision than SH and DH and could crash the application consistently. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2009 journal article

Assertion Checking in J-Sim Simulation Models of Network Protocols

Simulation, 86(11), 651–673.

Marcelo D'Amorim

TL;DR: This paper develops protocol-specific search heuristics to guide SSE towards finding assertion violations in less time and evaluates the efficiency of the SSE framework by comparing its performance with that of a state-of-the-art model checker for Java programs, namely Java PathFinder. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2009 conference paper

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009

Marcelo D'Amorim

Ed(s): E. Denney, D. Giannakopoulou & C. Pasareanu

Source: ORCID
Added: June 21, 2023

2009 conference paper

Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4815321

Marcelo D'Amorim

Source: ORCID
Added: June 21, 2023

2008 conference paper

30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008

ACM.

Marcelo D'Amorim

Ed(s): W. Sch\"a

Source: ORCID
Added: June 21, 2023

2008 journal article

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

IEEE Trans. Software Eng., 34(5), 597–613.

By: M. d’Amorim*, S. Lauterburg* & D. Marinov*

Source: ORCID
Added: June 21, 2023

2008 conference paper

State extensions for java pathfinder

30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, 863–866.

By: T. Gvero*, M. Gligoric*, S. Lauterburg*, M. d’Amorim, D. Marinov & S. Khurshid

TL;DR: This paper summarizes four extensions that have been developed to the JPF state representation and operations and provides a new functionality to JPF, and three extensions improve performance of JPF in various scenarios. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2007 conference paper

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

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007, 50–60.

By: M. d’Amorim*, S. Lauterburg* & D. Marinov*

TL;DR: Delta execution simultaneously operates on several states/heaps and shares the common parts across the executions, separately executing only the "deltas" where the executions differ, exploiting the fact that many execution paths in state-space exploration partially overlap. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2007 conference paper

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007

Marcelo D'Amorim

Ed(s): D. Rosenblum & S. Elbaum

TL;DR: This year's symposium continues its tradition of being the premier forum for presentation of research results on leading edge issues related to software testing and analysis and marks the move from a biannual schedule to an annual schedule for the symposium. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2006 conference paper

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543

Marcelo D'Amorim

Source: ORCID
Added: June 21, 2023

2006 conference paper

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543

Marcelo D'Amorim

Source: ORCID
Added: June 21, 2023

2006 conference paper

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

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, 59–68.

TL;DR: A novel pair, model-based symbolic testing is developed, and the results show that the pairs are complementary (i.e., reveal faults differently), with their respective strengths and weaknesses. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: June 21, 2023

2006 journal article

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

Electr. Notes Theor. Comput. Sci., 144(4), 3–20.

Marcelo D'Amorim

TL;DR: This paper presents Java-MOP, an MOP environment for developing robust Java applications that allows users to specify and monitor properties which can refer not only to the current program state, but also to the entire execution trace of a program, including past and future behaviors. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2005 journal article

An Equational Specification for the Scheme Language

J. UCS, 11(7), 1327–1348.

TL;DR: The formal semantics of Scheme 3 is described as an equational theory in the Maude rewriting system and some performance results of the interpreter obtained for free from the executable specification are shown. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2005 conference paper

Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Marcelo D'Amorim

Source: ORCID
Added: June 21, 2023

2005 conference paper

Efficient Monitoring of omega-Languages

Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, 364–378.

TL;DR: It is shown how Buchi automata can be reduced in size and transformed into special, statistically optimal nondeterministic finite state machines, called binary transition tree finite state Machines (BTT-FSMs), which recognize precisely the minimal bad prefixes of the original ω-regular-language. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2005 journal article

Event-based runtime verification of java programs

ACM SIGSOFT Software Engineering Notes, 30(4), 1–7.

TL;DR: The temporal logic HAWK and its supporting tool for runtime verification of Java programs are introduced and it is shown that monitoring on a state-by-state basis avoiding any need to store the input trace is achieved. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2004 conference paper

A Formal Monitoring-Based Framework for Software Development and Analysis

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 357–372.

Marcelo D'Amorim

TL;DR: A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and allowing them together to form a system called monitoring-oriented programming (MOP). (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2004 conference paper

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Marcelo D'Amorim

Ed(s): J. Davies*, W. Schulte* & M. Barnett*

TL;DR: This tutorial introduces the RAISE method, and demonstrates the range of software life-cycle activities supported by the tools, including generation of specifications from UML class diagrams, validation and verification of specifications, refinement, prototyping, execution of test cases, mutation testing, and generation of documents. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2001 conference paper

A Design for JTrader, an Internet Trading Service

Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings, 159–166.

Marcelo D'Amorim

TL;DR: The design of JTrader is presented, an Internet Trading Service based on Jini Technology whose main purpose is to address root problems around service trading on the Internet. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2001 conference paper

Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings

Marcelo D'Amorim

Ed(s): T. B\"o*

TL;DR: The Jinni Agent Programming Infrastructure is extended with a multicast network transport layer, showing that the resulting protocol emulates client/server exchanges while providing high performance multicasting of remote calls to multiple sites. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

Employment

Updated: October 11th, 2022 10:27

2022 - present

North Carolina State University Raleigh, North Carolina, US
Associate Professor Computer Science

2009 - present

Universidade Federal de Pernambuco Recife, PE, BR
Professor Associado Ciência da Computação

Education

Updated: March 1st, 2018 13:39

2002 - 2007

University of Illinois at Urbana-Champaign Urbana, Illinois, US
PhD Computer Science

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.