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
According to DO178C/RTCA criterion it is mandatory to achieve Level A certification for MC/DC. Concolic testing is the combination of Concrete and Symbolic execution. ...
Java-HCT generates more number of test cases since it combines the features of both Feedback-Directed Random Test and Concolic Testing. Hence, through Java-HCT, we achieve high MC/DC. ...
Since, we focus to increase MC/DC percentage, so we have developed this COPECA to measaure MC/DC percentage. ...
doi:10.15439/2016f289
dblp:conf/fedcsis/GodboleyDM16
fatcat:fvkxsm3pgfan7egtukalqwhroq
Enhanced modified condition/decision coverage using exclusive-nor code transformer
2013
2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s)
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 2014; you can also visit the original URL.
The file type is application/pdf.
It drives CREST TOOL to generate test suite and increase the MC/DC coverage. Our technique helps to achieve a significant increase in MC/DC coverage as compared to traditional CONCOLIC testing. ...
In this paper, we propose an automated technique to generate a test suite that helps in achieving an increase in MC/DC coverage of a program under test. ...
Our Proposed Approach The main purpose of our proposed MC/DC tester is to extend the Concolic testing to get increased MC/DC coverage. ...
doi:10.1109/imac4s.2013.6526469
fatcat:v7m7jbyjyfaxpi54qulm7xcew4
Increase in Modified Condition/Decision Coverage using program code transformer
2013
2013 3rd IEEE International Advance Computing Conference (IACC)
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.
Our approach helps to achieve an increase in MC/DC coverage as compared to the traditional CONCOLIC testing. ...
This transformed program is inserted into the CONCOLIC tester (CREST TOOL) to generate test data for increased MC/DC coverage. ...
A brief Description of our approach [MT] Our approach developing MC/DC TESTER (MT), has central logic to extend the Concolic testing to get increased MC/DC. ...
doi:10.1109/iadcc.2013.6514432
fatcat:2ihf7qk77vb7peppi33rujr7zi
A Systematic Review of Concolic Testing with Aplication of Test Criteria
2018
Proceedings of the 20th International Conference on Enterprise Information Systems
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.
The search for test cases to increase the coverage of structural tests is being addressed by approaches that generate test cases using symbolic and concolic execution. ...
We present in this paper a systematic review, using approach, of methods, techniques and tools regarding to concolic testing with application of test criteria. ...
Papers
Data Test
Generation
Coverage Criteria
Concolic testing Tools
Concolic Mutation
Branch
Coverage
Path
Coverage
MC/DC
Used
Implemented
(Qu and Robinson, 2011)
✓
✓
DART,
CUTE, ...
doi:10.5220/0006776301210132
dblp:conf/iceis/ArakiP18
fatcat:mpihjjeg2ndu5fer3kijr3r5zu
Moving the goalposts: coverage satisfaction is not enough
2014
Proceedings of the 7th International Workshop on Search-Based Software Testing - SBST 2014
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 2016; you can also visit the original URL.
The file type is application/pdf.
., critical systems areas-structural coverage criteria must be satisfied to achieve certification. ...
While tempting, recent empirical evidence indicates these tools should be used with caution, as merely achieving high structural coverage is not necessarily indicative of high fault detection ability. ...
Dupuy and Leveson evaluate the MC/DC as a complement to functional testing, finding that the use of MC/DC improves the quality of tests [4] . ...
doi:10.1145/2593833.2593837
dblp:conf/icse/GaySWH14
fatcat:rhcw7zrecba6noc6wzjexreem4
The Risks of Coverage-Directed Test Case Generation
2015
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 2019; you can also visit the original URL.
The file type is application/pdf.
Finally, Observable MC/DC, a criterion designed to account for program structure and the selection of the test oracle, can-in part-address the failings of traditional structural coverage criteria, allowing ...
13.5% more faults than test suites generated specifically to achieve coverage. ...
achieved by MC/DC, condition, and decision coverage-tests generated on the faulty version of Alarms only achieve 72% OMC/DC coverage, whereas 88% MC/DC coverage is achieved. ...
doi:10.1109/tse.2015.2421011
fatcat:awhynqe65ze7lfjgb7w3puo7lq
Green-JEXJ: A new tool to measure energy consumption of improved concolic testing
2015
2015 International Conference on Green Computing and Internet of Things (ICGCIoT)
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.
Our proposed method achieves 7.45% of average increase in branch coverage for some sample programs. ...
In this paper, we developed a tool to measure energy consumption of improved concolic testing. We have named our tool as Green-JEXJ (Green JEXNCT JCUTE). ...
In future, we will extend this work to measure energy consumption of MC/DC testing method. Further, we also aim to develop a distributed framework to increase the scalability of our approach. ...
doi:10.1109/icgciot.2015.7380424
fatcat:k37zgrxlpzhw3hf5fernms26w4
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
2008
Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08
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 2010; you can also visit the original URL.
The file type is application/pdf.
Our experiments indicate that a careful choice of heuristics and certain combinations of random and directed testing achieve better coverages as compared to the existing commercial tools. 1 ...
Specifically, REDIRECT uses a careful combination of the above techniques, and in addition, the method uses a set of pattern-guided heuristics for tackling nonlinear blocks. ...
Furthermore, using Reactis, we could achieve 50% MC/DC coverage of the Stateflow block, whereas, with REDIRECT, we could achieve 100% MC/DC coverage. ...
doi:10.1145/1450058.1450088
dblp:conf/emsoft/SatpathyYR08
fatcat:fkfmm7v2hndwtbpqbfbe7hzrvi
Handling dynamic data structures in search based testing
2008
Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08
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.
The result is a lightweight and efficient method, as shown in the results from a case study, which compares the method to CUTE, a concolic unit testing tool. ...
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have excelled. ...
Achieving branch coverage on the CIL transformed code is equivalent to achieving MC/DC (Modified Condition/Decision Coverage) on the original code. ...
doi:10.1145/1389095.1389435
dblp:conf/gecco/LakhotiaHM08
fatcat:jryqtcn42ba6pbgnt2gcup2hdu
Cross-layer analysis, testing and verification of automotive control software
2011
Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '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.
The coverage goals like state, transi-tion, and MC/DC over the SL/SF models can be translated into equivalent formal models like SAL [51] . ...
MC/DC (Modified Condition/Decision Coverage) [53] is also highly recommended as per the automotive standard ISO 26262. The coverage of the input domain is also another test criteria. ...
doi:10.1145/2038642.2038683
dblp:conf/emsoft/BroyCGRSRP11
fatcat:wixbqk74mrdhpl4e42n4hatqha
CTGEN - a Unit Test Generator for C
2012
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2012 pre-print arXiv:1211.6191v1 fatcat:h662vvm7szebhepiyj2nda3sf4
We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage and functional coverage based on pre-/post-condition specifications or internal assertions. ...
In this paper we describe the main features of CTGEN, their technical realisation, and we elaborate on its performance in comparison to a list of competing test generation tools. ...
The test generation technique is currently extended to support MC/DC coverage. .NET C C C C C machine code Java CAPABILITIES C0 Y Y Y Y Y Y Y Y Y C1 Y Y Y Y Y Y Y Y Y MC/DC N Y N N N N N N Y C2 N Y Y Y ...
doi:10.4204/eptcs.102.9
fatcat:vj6u26pborhcbc6afeed3y3ikm
PBCOV: a property-based coverage criterion
2014
Software quality journal
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.
Typically, a test requirement is a structural program element, and the coverage metric value represents the percentage of elements covered by a test suite. ...
PBCOV is a dynamic analysis technique that also leverages properties and is characterized by the following: (a) It considers the state space of first-order logic properties as the test requirements to ...
Typically MC/DC considers the coverage of a code decision predicate in terms of its clauses. ...
doi:10.1007/s11219-014-9237-3
fatcat:o2sqvmq7sze4namag2d5aloif4
Using Metamorphic Testing to Improve Dynamic Symbolic Execution
2015
2015 24th Australasian Software Engineering Conference
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.
Our hypothesis is that using metamorphic testing increases the ability of a DSE test suite to find faults, and that the follow-up tests execute some previously-uncovered segments. ...
From a given test suite, follow-up tests inputs are generated, and their outputs are compared to outputs from the original tests, using metamorphic relations. ...
ACKNOWLEDGMENTS The first author acknowledges support from Taibah University through a scholarship to pursue graduate studies at the University of Melbourne. ...
doi:10.1109/aswec.2015.16
dblp:conf/aswec/AlatawiMS15
fatcat:ayb7mwmvt5acjbguxakucbsis4
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
[article]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
To mitigate this problem, we propose DeepGini, a test prioritization technique designed based on a statistical perspective of DNN. ...
However, the testing oracle, which defines the correct output for a given input, is often not available in the automated testing. ...
In addition, Jones and Harrold [14] reported that MC/DC, a stricter form of branch coverage, is also applicable to coverage-based test prioritization. ...
arXiv:1903.00661v2
fatcat:qapiimde3jbgvpghieasxyvaby
On Testing Machine Learning Programs
[article]
2018
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 2019; you can also visit the original URL.
The file type is application/pdf.
Finally, we identify gaps in the literature related to the testing of ML programs and make recommendations of future research directions for the scientific community. ...
As the field of ML continues to grow, we are likely to witness transformative advances in a wide range of areas, from finance, energy, to health and transportation. ...
They propose a testing approach that consists of a set of four criteria inspired by MC/DC and a test cases generator based on linear programming (LP). ...
arXiv:1812.02257v1
fatcat:yhomj6slnzeb5hp4xxww2ymaa4
« Previous
Showing results 1 — 15 out of 29 results