Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing
ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software EngineeringArticle No.: 118, Pages 1–13https://doi.org/10.1145/3597503.3639106Deep neural networks (DNN) are being used in a wide range of applications including safety-critical systems. Several DNN test generation approaches have been proposed to generate fault-revealing test inputs. However, the existing test generation ...
- research-articleApril 2023
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 32, Issue 3Article No.: 81, Pages 1–48https://doi.org/10.1145/3576040Testing deep neural networks (DNNs) has garnered great interest in the recent years due to their use in many applications. Black-box test adequacy measures are useful for guiding the testing process in covering the input domain. However, the absence of ...
- posterJune 2023
BlueCov: Integrating Test Coverage and Model Checking with JBMC
SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied ComputingPages 1695–1697https://doi.org/10.1145/3555776.3577829Automated test case generation tools help businesses to write tests and increase the safety net provided by high regression test coverage when making code changes. Test generation needs to cover as much as possible of the uncovered code while avoiding ...
- research-articleDecember 2022
Iterative Android automated testing
Frontiers of Computer Science: Selected Publications from Chinese Universities (FCS), Volume 17, Issue 5https://doi.org/10.1007/s11704-022-1658-8AbstractWith the benefits of reducing time and workforce, automated testing has been widely used for the quality assurance of mobile applications (APPs). Compared with automated testing, manual testing can achieve higher coverage in complex interactive ...
- research-articleJuly 2022
Evaluating system-level test generation for industrial software: a comparison between manual, combinatorial and model-based testing
AST '22: Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software TestPages 148–159https://doi.org/10.1145/3524481.3527235Adequate testing of safety-critical systems is vital to ensure correct functional and non-functional operations. Previous research has shown that testing such systems requires a lot of effort, thus automated testing techniques have found a certain ...
-
- research-articleJanuary 2022
Web applications testing techniques: a systematic mapping study
International Journal of Web Engineering and Technology (IJWET), Volume 17, Issue 4Pages 372–412https://doi.org/10.1504/ijwet.2022.129250Due to the importance of web application testing techniques for detecting faults and assessing quality attributes, many research papers were published in this field. For this reason, it became essential to analyse, classify and summarise the research in ...
Reducing the search space of bug inducing commits using failure coverage
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringPages 1459–1462https://doi.org/10.1145/3468264.3473129Knowing how exactly a bug has been introduced into the code can help developers debug the bug efficiently. However, techniques currently used to retrieve Bug Inducing Commits (BICs) from the repository timeline are limited in their accuracy. Automated ...
- research-articleJune 2021
Teaching Testing with Modern Technology Stacks in Undergraduate Software Engineering Courses
ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1Pages 241–247https://doi.org/10.1145/3430665.3456352Students' experience with software testing in undergraduate computing courses is often relatively shallow, as compared to the importance of the topic. This experience report describes introducing industrial-strength testing into CMPSC 156, an upper ...
- research-articleNovember 2021
Artifact: distribution-aware testing of neural networks using generative models
ICSE '21: Proceedings of the 43rd International Conference on Software Engineering: Companion ProceedingsPages 205–206https://doi.org/10.1109/ICSE-Companion52605.2021.00091The artifact used for the experimental evaluation of Distribution-Aware Testing of Neural Networks Using Generative Models is publicly available on GitHub and it is reusable. The artifact consists of python scripts, trained deep neural network model ...
Distribution-Aware Testing of Neural Networks Using Generative Models
ICSE '21: Proceedings of the 43rd International Conference on Software EngineeringPages 226–237https://doi.org/10.1109/ICSE43902.2021.00032The reliability of software that has a Deep Neural Network (DNN) as a component is urgently important today given the increasing number of critical applications being deployed with DNNs. The need for reliability raises a need for rigorous testing of the ...
- research-articleMay 2020
Generating Representative Test Sequences from Real Workload for Minimizing DRAM Verification Overhead
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 25, Issue 4Article No.: 30, Pages 1–23https://doi.org/10.1145/3391891Dynamic Random Access Memory (DRAM) standards have evolved for higher bandwidth, larger capacity, and lower power consumption, so their specifications have become complicated to satisfy the design goals. These complex implementations have significantly ...
- research-articleNovember 2019
Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 4, Issue 1Article No.: 8, Pages 1–26https://doi.org/10.1145/3311954The trend of connected/autonomous features adds significant complexity to the traditional automotive systems to improve driving safety and comfort. Engineers are facing significant challenges in designing test environments that are more complex than ...
- research-articleMay 2019
Mythical unit test coverage
ICSE-SEIP '19: Proceedings of the 41st International Conference on Software Engineering: Software Engineering in PracticePages 267–268https://doi.org/10.1109/ICSE-SEIP.2019.00038It is a continuous struggle to understand how much a product should be tested before the delivery to the market. Ericsson decided to evaluate the adequacy of unit test coverage criterion that they employed for years as a guide for sufficiency of ...
- research-articleMay 2019
Test coverage in python programs
MSR '19: Proceedings of the 16th International Conference on Mining Software RepositoriesPages 116–120https://doi.org/10.1109/MSR.2019.00027We study code coverage in several popular Python projects: flask, matplotlib, pandas, scikit-learn, and scrapy. Coverage data on these projects is gathered and hosted on the Codecov website, from where this data can be mined. Using this data, and a ...
- research-articleJanuary 2019
Test coverage and impact analysis for detecting refactoring faults: a study on the inline method
International Journal of Business Information Systems (IJBIS), Volume 32, Issue 2Pages 161–169https://doi.org/10.1504/ijbis.2019.103072Using refactoring techniques is known as a good practice to enhance the software quality either by decreasing the complexity or enhance the behaviour of the software. Here, we conduct a study using inline method refactoring technique to investigate the ...
- research-articleSeptember 2018
An automated approach to estimating code coverage measures via execution logs
ASE '18: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software EngineeringPages 305–316https://doi.org/10.1145/3238147.3238214Software testing is a widely used technique to ensure the quality of software systems. Code coverage measures are commonly used to evaluate and improve the existing test suites. Based on our industrial and open source studies, existing state-of-the-art ...
- research-articleJuly 2018
Automated test mapping and coverage for network topologies
ISSTA 2018: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 73–83https://doi.org/10.1145/3213846.3213859Communication devices such as routers and switches play a critical role in the reliable functioning of embedded system networks. Dozens of such devices may be part of an embedded system network, and they need to be tested in conjunction with various ...
- research-articleMarch 2018
Proposal for A Structural Integration Test Coverage Metric for Object-Oriented Programs
ACM SIGSOFT Software Engineering Notes (SIGSOFT), Volume 43, Issue 1Pages 1–4https://doi.org/10.1145/3178315.3178330Though a large number of test coverage metrics have been proposed in the context of unit and system testing of object oriented programs, structural coverage metrics for integration testing have scarcely been reported. In this context, we propose an ...
- research-articleJuly 2017
A distributed implementation using apache spark of a genetic algorithm applied to test data generation
GECCO '17: Proceedings of the Genetic and Evolutionary Computation Conference CompanionPages 1857–1863https://doi.org/10.1145/3067695.3084219This paper presents a distributed implementation for a genetic algorithm, using Apache Spark, a fast and popular data processing framework. Our approach is rather general, but in this paper the parallelized genetic algorithm is used for test data ...
- research-articleMay 2017
Ticket coverage: putting test coverage into context
There is no metric that determines how well the implementation of a ticket has been tested. As a consequence, code changed within the context of a ticket might unintentionally remain untested and get into production. This is a major problem, because ...