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.
Filters
An empirical evaluation of test case filtering techniques based on exercising complex information flows
2005
Proceedings of the 27th international conference on Software engineering - ICSE '05
Preserved Fulltext
We report the results of an empirical evaluation of several test case filtering techniques that are based on exercising complex information flows. ...
Profiling and analyzing such flows therefore provides a potentially important basis for filtering test cases. ...
This paper reports the results of an empirical evaluation of several test case filtering techniques that are based on exercising complex information flows. ...
doi:10.1145/1062455.1062531
dblp:conf/icse/LeonMP05
fatcat:mwkwuh7hcjebln2q73dozoqw4a
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles
[chapter]
2012
Lecture Notes in Computer Science
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.
An appropriate minimized test suite should exercise different execution paths within a program. However, minimization of test suites may result in significant fault detection loss. ...
Cluster analysis of execution profiles categorizes test cases according to their similarity in terms of exercising a certain coverage criterion. ...
An observation-based testing is defined by determining the following: (1) the type of the execution profile (2) a filtering or reduction technique to select a subset of executions and (3) an optional augmentation ...
doi:10.1007/978-3-642-28038-2_19
fatcat:h3yl4tk3i5cxzh4efw244ndqli
F3: fault localization for field failures
2013
Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013
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 2015; you can also visit the original URL.
The file type is application/pdf.
The results of our empirical evaluation, performed on a set of real-world programs and field failures, are promising: for all the failures considered, F 3 was able to (1) synthesize passing and failing ...
To address this limitation, in this paper we present F 3 , a novel technique that builds on BugRedux and extends it with support for fault localization. ...
One limitation of this technique is that it cannot handle control-flow related faults because it does not encode control-flow information in the formula. ...
doi:10.1145/2483760.2483763
dblp:conf/issta/JinO13
fatcat:3feqjwacsvhwdkaehdtujmrlga
Identifying Test Refactoring Candidates with Assertion Fingerprints
2015
Proceedings of the Principles and Practices of Programming on The Java Platform - PPPJ '15
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.
We provide an empirical study and a qualitative analysis of our results. ...
We present a novel technique, assertion fingerprints, for finding similar test cases based on the set of assertion calls in test methods. ...
Acknowledgments Divam Jain collected our benchmark suite and worked on an earlier technique for detecting similar test methods. ...
doi:10.1145/2807426.2807437
dblp:conf/pppj/FangL15
fatcat:q6b6s4d7ondcpigt5sze46kjdi
A Hint-Based Technique for System Level Model-Based Test Case Prioritization
[article]
2017
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.
Test Case Prioritization (TCP) techniques aim at proposing new test case execution orders to favor the achievement of certain testing goal, such as fault detection. ...
Current TCP research focus mainly on code-based regression testing; however in the Model-Based Testing (MBT) context, we still need more investigation. ...
filtering 100% of the test cases and being equal to the baseline ARP technique, nor just one test case that unveil the fault. ...
arXiv:1708.03236v1
fatcat:y7rquhv6yvg3zizxdazyxjezke
STUDY OF TEST CASE PRIORITIZATION TECHNIQUE USING APFD
2011
INTERNATIONAL JOURNAL OF COMPUTERS & 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 2013; you can also visit the original URL.
The file type is application/pdf.
In this paper we are proposing an algorithm to prioritize test cases based on rate of fault detection and impact of fault.The proposed algorithm recognises the exhausting fault at earlier stage of the ...
testing process.We are using an Average Percentage of Faults Detected (APFD) metric to determine the effectiveness of the new test case arrangements. ...
In [JEN2004], they have through empirical observations evaluated several test case filtering techniques. These test cases are based on exercising information flows. ...
doi:10.24297/ijct.v10i3.3277
fatcat:rxbzlnpo7bgqtasm7ro2xikjd4
Software Statistical Testing
[chapter]
1995
Predictably Dependable Computing 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 2020; you can also visit the original URL.
The file type is application/pdf.
Statistical testing is based on a probabilistic generation of test data: structural or functional criteria serve as guides for defining an input profile and a test size. ...
Statistical Testing This section focuses on both the motivation and the theoretical framework of the statistical testing approach defined by the authors. ...
Different graphical languages meet these three requirements, from which: the classical SADT technique, based on finite state machines and decision tables, and a more recent technique based on statecharts ...
doi:10.1007/978-3-642-79789-7_15
fatcat:xw2a2qruanhjtphhblobvrqxni
Reliable reconstruction strategy with higher grid resolution for limited data tomography
2015
NDT & E international
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.
It is observed that (i) explicit smearing is essential in limited data cases and (ii) optimal smearing parameters exist along with an interval of confidence within which reconstruction results can deemed ...
Proposed strategy focuses on attaining (a) accuracy and reliability of the reconstructed properties like the shapes, sizes and densities, and (b) stability in presence of noise by optimally choosing various ...
Effect of the grid resolution on solution techniques is studied via simulation and verified on real data. ...
doi:10.1016/j.ndteint.2014.09.012
fatcat:dfpkbl76ifgqplv46cr72tc7vi
Interactive Visual Analytics for Efficient Maintenance of Model Transformations
[chapter]
2013
Lecture Notes in Computer Science
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.
We present results of an empirical study, where we asked programmers to carry out typical maintenance tasks on a realworld transformation in QVT-O. ...
Data and control dependencies are statically analyzed and displayed in an interactive graph-based view with cross-view navigation and task-oriented filter criteria. ...
For the case study, we implemented our approach for QVT-O under Eclipse. 2
Design The purpose of the study is to empirically show that our approach makes maintaining model transformations more efficient ...
doi:10.1007/978-3-642-38883-5_14
fatcat:wbygquzfrjh3nlbrza5svvsehi
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
2011
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
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 2011; you can also visit the original URL.
The file type is application/pdf.
Specifically, we performed empirical study where we assessed whether execution hijacking could improve the effectiveness of two common dynamic analyses: software testing and memory error detection. ...
Typically, dynamic-analysis techniques operate on a small subset of all possible program behaviors, which limits their effectiveness and the representativeness of the computed results. ...
In a single execution of a kernel driver, LIMBO flips predicates based on a depth-first traversal of the driver's control-flow graph. ...
doi:10.1109/icst.2011.45
dblp:conf/icst/TsankovJOS11
fatcat:rqkuucyc3bggxj6yyfhetjfxfq
Near-Infrared Spectroscopy Is Promising to Detect Iliac Artery Flow Limitations in Athletes: A Pilot Study
2018
Journal of Sports Medicine
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 results are put into perspective based on an empirically fitted model. ...
However, current diagnostic techniques have unsatisfactory sensitivity and cannot be applied during exercise. ...
Due to the lack of a physiology-based model in our patient population, an empirical monoexponential model was used using the least squares method to be able to describe and quantify the data. ...
doi:10.1155/2018/8965858
pmid:30671480
pmcid:PMC6317127
fatcat:f4lo267cnjgxtfe7kw2xvrvcaq
Regression testing minimization, selection and prioritization: a survey
2012
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 2020; you can also visit the original URL.
The file type is application/pdf.
While test case selection techniques also seek to reduce the size of a test suite, the majority of selection techniques are modification-aware. ...
of T , T1, . . . , Tn, one associated with each of the ris such that any one of the test cases tj belonging to Ti can be used to achieve requirement ri. ...
Mark Harman is supported by EPSRC Grants EP/D050863, GR/S93684 & GR/T22872, by EU grant IST-33472 (EvoTest) and also by the kind support of DaimlerChrysler Berlin and Vizuri Ltd., London. ...
doi:10.1002/stv.430
fatcat:kg5sgywm4jfqjl5eiz6ols6x4a
Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE
[article]
2019
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
Dataflow coverage, one of the white-box testing criteria, focuses on the relations between variable definitions and their uses.Several empirical studies have proved data-flow testing is more effective ...
Moreover, we are planning to integrate the data-flow testing technique into the new proposed symbolic execution engine, SmartUnit, which is a cloud-based unit testing service for industrial software, supporting ...
Several empirical studies have revealed that data-flow coverage criteria is more effective than control-flow coverage criteria [1, 3] . ...
arXiv:1803.06516v2
fatcat:u4acdn5lpvcpxixhvqqm4qwt7y
Learning extended FSA from software: An empirical assessment
2012
Journal of Systems and Software
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.
In this paper, we present an empirical comparative study between techniques that infer simple automata and techniques that infer automata extended with information about data-flow. ...
A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. ...
Our empirical study about recall also provides information about the absolute effectiveness of the techniques when varying the number of traces (i.e., test cases). ...
doi:10.1016/j.jss.2012.04.001
fatcat:gk5j5njcnzby7gjswiu4hwlnlm
Regression Testing Cost Reduction Suite
2014
International Journal of Advanced Computer Science and Applications
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 proposed approach is applied on real-time case study. ...
In general, the test suite minimization problem is NP complete. This paper focuses on proposing an effective approach for reducing the cost of regression testing process. ...
coverage of code components, techniques that order test cases based on their coverage of code components not previously covered, and techniques that order test cases based on their estimated ability to ...
doi:10.14569/ijacsa.2014.050818
fatcat:dgfwkgdvfngkxjdygo4zqcyzvm
« Previous
Showing results 1 — 15 out of 36,980 results