Filters








10 Hits in 6.5 sec

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs

Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra
2016 Proceedings of the 2016 Federated Conference on Computer Science and Information Systems  
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

Matt Staats, Corina Pǎsǎreanu
2010 Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10  
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

Mehdi Mirzaaghaei
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
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

Qianqian Zhu, Annibale Panichella, Andy Zaidman
2018 Software testing, verification & reliability  
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]

Oscar Cornejo, Fabrizio Pastore, Lionel Briand
2021 arXiv   pre-print
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

Oscar Eduardo Cornejo Olivares, Fabrizio Pastore, Lionel Briand
2021 IEEE Transactions on Software Engineering  
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

TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan
2015 Information and Software Technology  
[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]

Stefan Wappler, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
2008
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]

David Schuler, Universität Des Saarlandes, Universität Des Saarlandes
2011
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

Andreas Ibing
International Journal on Advances in Security   unpublished
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