Works (73)
Updated: November 16th, 2024 10:40
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.
author keywords: Automated Vulnerability Repair; Large Language Models
open access via arxiv.org (repository)
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).
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.
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.
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.
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.
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.
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).
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.
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.
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).
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.
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
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.
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
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
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.
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
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
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
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.
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
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
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
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.
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
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
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
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.
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
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.
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
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.
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
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.
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
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.
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
Ed(s): M. Bobaru*, K. Havelund *, G. Holzmann * & R. Joshi *
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.
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.
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
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
Source: ORCID
Added: June 21, 2023
2008 conference paper
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008
ACM.
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.
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.
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.
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
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
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
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.
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
Ed(s): K. Etessami * & S. Rajamani *
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.
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
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.
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
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.