36,980 Hits in 8.7 sec

An empirical evaluation of test case filtering techniques based on exercising complex information flows

David Leon, Wes Masri, Andy Podgurski
2005 Proceedings of the 27th international conference on Software engineering - ICSE '05  
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]

Alireza Khalilian, Saeed Parsa
2012 Lecture Notes in Computer Science  
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

Wei Jin, Alessandro Orso
2013 Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013  
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

Zheng Felix Fang, Patrick Lam
2015 Proceedings of the Principles and Practices of Programming on The Java Platform - PPPJ '15  
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]

João Felipe Silva Ouriques, Emanuela Gadelha Cartaxo, Everton Leandro Galdino Alves, Patrícia Duarte Lima Machado
2017 arXiv   pre-print
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


Rahul Gupta, Akhilesh Kumar Yadav
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]

Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet
1995 Predictably Dependable Computing Systems  
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

M. Goswami, S. Shakya, A. Saxena, P. Munshi
2015 NDT & E international  
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]

Andreas Rentschler, Qais Noorshams, Lucia Happe, Ralf Reussner
2013 Lecture Notes in Computer Science  
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

Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha
2011 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation  
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

Martijn van Hooff, Goof Schep, Eduard Meijer, Mart Bender, Hans Savelberg
2018 Journal of Sports Medicine  
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

S. Yoo, M. Harman
2012 Software testing, verification & reliability  
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]

Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
2019 arXiv   pre-print
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

David Lo, Leonardo Mariani, Mauro Santoro
2012 Journal of Systems and Software  
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

Mohamed Alaa, Ismail Abd, Hesham El-Deeb
2014 International Journal of Advanced Computer Science and Applications  
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