A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs
2016
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems
Preserved Fulltext
Modified Condition / Decision Coverage (MC/DC) is the second strongest coverage criterion in white-box testing. ...
In our proposed work, we combine feedback-directed test cases generation with concolic testing to form Java-Hybrid Concolic Testing (Java-HCT). ...
We have implemented Java-Hybrid Concolic Testing using RANDOOP, jCUTE, and COPECA, and applied it to achieve high Modified Condition/Decision Coverage for Java programs. ...
doi:10.15439/2016f289
dblp:conf/fedcsis/GodboleyDM16
fatcat:fvkxsm3pgfan7egtukalqwhroq
Parallel symbolic execution for structural test generation
2010
Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Symbolic execution is a popular technique for automatically generating test cases achieving high structural coverage. ...
90x observed using 128 workers and a maximum test generation speedup of 70x observed using 64 workers. ...
suite achieving a predetermined level of Modified Condition/Decision Coverage (MC/DC) [6] relative to one or more parallel instances of random depth first search. ...
doi:10.1145/1831708.1831732
dblp:conf/issta/StaatsP10
fatcat:76odr76wwfh4fe5mhcxahmpmoq
Automatic test suite evolution
2011
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These similarities lead developers to follow common activities for repairing and generating test cases by using some common processes. ...
In this thesis, we propose a new technique for automating test suite evolution aiming to reduce both the developers effort and the costs of software evolution. ...
There are many code coverage criteria proposed in the literature such as statement, branch, condition, condition/decision, etc. ...
doi:10.1145/2025113.2025172
dblp:conf/sigsoft/MirzaAghaei11
fatcat:56vyxlsfcvcfxjmrvr7wzx5fam
A systematic literature review of how mutation testing supports quality assurance processes
2018
Software testing, verification & reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
programs used in the case studies. ...
After gathering this information, we can draw conclusions from the distribution of related techniques adopted under the above five facets and thereby provide guidelines for applying mutation testing and ...
[60] presented observable modified condition/decision coverage (OMC/DC); these novel test criteria were also evaluated via mutation testing. ...
doi:10.1002/stvr.1675
fatcat:cfkjrerjefcqxp6fr7usbacsmy
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
To further minimize the risk of human mistakes, space agencies, such as the European Space Agency (ESA), are looking for automated solutions for the assessment of software testing activities, which play ...
Over the years, mutation analysis has shown to be a promising solution for the automated assessment of test suites; it consists of measuring the quality of a test suite in terms of the percentage of injected ...
For MLFS, we considered a unit test suite achieving modified condition/decision coverage (MC/DC) coverage [105] . ...
arXiv:2101.05111v3
fatcat:2p4t2dj2ufdw5nbrov5wag24ga
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
2021
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
To further minimize the risk of human mistakes, space agencies, such as the European Space Agency (ESA), are looking for automated solutions for the assessment of software testing activities, which play ...
Over the years, mutation analysis has shown to be a promising solution for the automated assessment of test suites; it consists of measuring the quality of a test suite in terms of the percentage of injected ...
For MLFS, we considered a unit test suite achieving modified condition/decision coverage (MC/DC) coverage [105] . ...
doi:10.1109/tse.2021.3107680
fatcat:kmpctu57njebtf3dk3wu7b33bi
Goal-oriented dynamic test generation
2015
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
[12] , and has been modified to run distributed on a cluster for testing a flash storage platform [81] . ...
CUTE (A Concolic Unit Testing Engine for C) [124] extends
Godefroid et al.' ...
doi:10.1016/j.infsof.2015.05.007
fatcat:ebdngmeyijdmbdo4e6kzqh4xte
Automatic Generation Of Object-Oriented Unit Tests Using Genetic Programming
[article]
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The degree of achieved structural coverage indicates the adequacy of the tests and hence the test quality in general. ...
structural coverage. ...
Depending on the risk level ASIL (automotive safety integrity level) to be attained, statement coverage, decision coverage, path coverage, condition coverage, or modified condition decision coverage must ...
doi:10.14279/depositonce-1748
fatcat:oegbpveilff5jnwmpac2vta7la
Assessing test quality
[article]
2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We present the JAVALANCHE framework that applies several optimizations to enable automated and efficient mutation testing for real-life programs. ...
This work shows how to assess test quality through mutation testing with impact metrics, and through checked coverage. ...
Acknowledgements First of all, I would like to thank my adviser Andreas Zeller for the guidance and support while working on my PhD. ...
doi:10.22028/d291-26149
fatcat:ia37j3si5vdafagqu5sg5cdiha
Symbolic Execution Based Automated Static Bug Detection for Eclipse CDT
International Journal on Advances in Security
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The presented approach is evaluated with test cases from the Juliet test suite for C/C++. The evaluation shows a significant speed-up by path merging already for the small Juliet programs. ...
The speed-up depends on the number of decision nodes with more than one satisfiable branch and increases for larger programs. ...
or modified condition/decision coverage, there are also different interleaving coverage criteria for multi-threaded code [61] . ...
fatcat:chvzd6ic7rc7rfnyeqlavi3dhq