Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2024
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM
- Gabriel Ryan,
- Siddhartha Jain,
- Mingyue Shang,
- Shiqi Wang,
- Xiaofei Ma,
- Murali Krishna Ramanathan,
- Baishakhi Ray
Proceedings of the ACM on Software Engineering (PACMSE), Volume 1, Issue FSEArticle No.: 43, Pages 951–971https://doi.org/10.1145/3643769Testing plays a pivotal role in ensuring software quality, yet conventional Search Based Software Testing (SBST) methods often struggle with complex software units, achieving suboptimal test coverage. Recent work using large language models (LLMs) for ...
- research-articleJuly 2023
ωTest: WebView-Oriented Testing for Android Applications
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and AnalysisJuly 2023, Pages 992–1004https://doi.org/10.1145/3597926.3598112WebView is a UI widget that helps integrate web applications into the native context of Android apps. It provides powerful mechanisms for bi-directional interactions between the native-end (Java) and the web-end (JavaScript) of an Android app. However,...
- research-articleJuly 2023
ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and AnalysisJuly 2023, Pages 690–702https://doi.org/10.1145/3597926.3598088Deep learning (DL) applications are prevalent nowadays as they can help with multiple tasks. DL libraries are essential for building DL applications. Furthermore, DL operators are the important building blocks of the DL libraries, that compute the ...
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and AnalysisJuly 2023, Pages 423–435https://doi.org/10.1145/3597926.3598067Deep Learning (DL) systems have received exponential growth in popularity and have become ubiquitous in our everyday life. Such systems are built on top of popular DL libraries, e.g., TensorFlow and PyTorch which provide APIs as building blocks for DL ...
- ArticleMay 2023
Crucible Tools for Test Generation and Animation of Alloy Models
AbstractCrucible is a suite of tools supporting the use of Alloy as a functional specification language for high-integrity software systems. It incorporates a test generator, animator and range of supporting tools. Test generation is achieved by producing ...
-
- posterMay 2023
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and ControlMay 2023, Article No.: 30, Pages 1–2https://doi.org/10.1145/3575870.3589550In the paper titled " Stealthy attacks formalized as STL formulas for Falsification of CPS Security", we investigate a broad class of attacks on the sensor and actuation blocks in the form of additive perturbation that impacts the measurement and ...
- short-paperMay 2023
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and ControlMay 2023, Article No.: 15, Pages 1–8https://doi.org/10.1145/3575870.3587122We propose a framework for security vulnerability analysis for Cyber-Physical Systems (CPS). Our framework imposes only minimal assumptions on the structure of the CPS. Namely, we consider CPS with feedback control loops, state observers, and anomaly ...
Avgust: automating usage-based test generation from videos of app executions
- Yixue Zhao,
- Saghar Talebipour,
- Kesina Baral,
- Hyojae Park,
- Leon Yee,
- Safwat Ali Khan,
- Yuriy Brun,
- Nenad Medvidović,
- Kevin Moran
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software EngineeringNovember 2022, Pages 421–433https://doi.org/10.1145/3540250.3549134Writing and maintaining UI tests for mobile apps is a time-consuming and tedious task. While decades of research have produced auto- mated approaches for UI test generation, these approaches typically focus on testing for crashes or maximizing code ...
- research-articleJanuary 2023
Natural Test Generation for Precise Testing of Question Answering Software
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software EngineeringOctober 2022, Article No.: 71, Pages 1–12https://doi.org/10.1145/3551349.3556953Question answering (QA) software uses information retrieval and natural language processing techniques to automatically answer questions posed by humans in a natural language. Like other AI-based software, QA software may contain bugs. To automatically ...
- research-articleOctober 2020
Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage
AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software TestOctober 2020, Pages 61–70https://doi.org/10.1145/3387903.3389307Testing is a very important and expensive part of developing Android applications. Several tools for automatically testing Android applications have been proposed. In particular, Sapienz is a search-based tool that has been recently deployed in an ...
Higher-order demand-driven symbolic evaluation
Proceedings of the ACM on Programming Languages (PACMPL), Volume 4, Issue ICFPArticle No.: 102, Pages 1–28https://doi.org/10.1145/3408984Symbolic backwards execution (SBE) is a useful variation on standard forward symbolic evaluation; it allows a symbolic evaluation to start anywhere in the program and proceed by executing in reverse to the program start. SBE brings goal-directed ...
- research-articleJuly 2020
Feasible and stressful trajectory generation for mobile robots
ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and AnalysisJuly 2020, Pages 349–362https://doi.org/10.1145/3395363.3397387While executing nominal tests on mobile robots is required for their validation, such tests may overlook faults that arise under trajectories that accentuate certain aspects of the robot's behavior. Uncovering such stressful trajectories is challenging ...
- short-paperSeptember 2020
Improving the Accuracy of Spectrum-based Fault Localization for Automated Program Repair
ICPC '20: Proceedings of the 28th International Conference on Program ComprehensionJuly 2020, Pages 376–380https://doi.org/10.1145/3387904.3389290The sufficiency of test cases is essential for spectrum-based fault localization (in short, SBFL). If a given set of test cases is not sufficient, SBFL does not work. In such a case, we can improve the reliability of SBFL by adding new test cases. ...
- research-articleFebruary 2020
Generating tests to analyse dynamically-typed programs
ASE '19: Proceedings of the 34th IEEE/ACM International Conference on Automated Software EngineeringNovember 2019, Pages 1226–1229https://doi.org/10.1109/ASE.2019.00146The increasing popularity of dynamically-typed programming languages, such as JavaScript or Python, requires specific support methods for developers to avoid pitfalls arising from the dynamic nature of these languages. Static analyses are frequently ...
- research-articleOctober 2019
Extraction of test cases procedures from textual use cases to reduce test effort: Test Factory Experience Report
- Erick Barros dos Santos,
- Lucas Simão da Costa,
- Bruno Sabóia Aragão,
- Ismayle de Sousa Santos,
- Rossana Maria de Castro Andrade
SBQS '19: Proceedings of the XVIII Brazilian Symposium on Software QualityOctober 2019, Pages 266–275https://doi.org/10.1145/3364641.3364673The optimization of processes in the software development life cycle has become mandatory, since companies need to reduce the costs of their projects and shorten the time to market without affecting the quality of the product. With regards to software ...
- ArticleJuly 2019
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO
ICSOFT 2019: Proceedings of the 14th International Conference on Software TechnologiesJuly 2019, Pages 407–415https://doi.org/10.5220/0007923004070415This paper presents an approach for the automated testing of Enterprise Resource Planning (ERP) systems. ERPs are complex software systems that provide a chain management covering all corporate activities. Testing of these systems is a complex task ...
- ArticleOctober 2017
Crowd intelligence enhances automated mobile testing
ASE '17: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software EngineeringOctober 2017, Pages 16–26We show that information extracted from crowd-based testing can enhance automated mobile testing. We introduce Polariz, which generates replicable test scripts from crowd-based testing, extracting cross-app äóÖmotifäó» events: automatically inferred ...
- research-articleAugust 2017
Reproducing concurrency failures from crash stacks
ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringAugust 2017, Pages 705–716https://doi.org/10.1145/3106237.3106292Reproducing field failures is the first essential step for understanding, localizing and removing faults. Reproducing concurrency field failures is hard due to the need of synthesizing a test code jointly with a thread interleaving that induce the ...
- ArticleApril 2017
Search based GUI Test Generation in Java
ENASE 2017: Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software EngineeringApril 2017, Pages 179–186https://doi.org/10.5220/0006277801790186Modern software systems often communicate with their users by graphical user interfaces (GUI). While the underlying business logic may be fully covered by unit tests, the GUI mostly is not. Despite the widespread use of capture and replay tools, which ...
- ArticleDecember 2014
A Framework for Distributed Testing of Timed Composite Systems
APSEC '14: Proceedings of the 2014 21st Asia-Pacific Software Engineering Conference - Volume 01December 2014, Pages 47–54https://doi.org/10.1109/APSEC.2014.16Software systems are more and more complex. They are usually constructed by combining several components which can be implemented separately and deployed in distributed environments. This paper presents a framework for testing these kind of systems. ...