Testing Relative to Usage Scope

Coverage criteria provide a useful and widely used means to guide software testing; however, indiscriminately pursuing full coverage may not always be convenient or meaningful, as not all entities ...

[1]  John S. Gourlay.  A Mathematical Framework for the Investigation of Testing , 1983, IEEE Transactions on Software Engineering.

[2]  Rajesh Subramanyan,et al.  A survey on model-based testing approaches: a systematic review , 2007, WEASELTech '07.

[3]  Andrea De Lucia,et al.  Program slicing: methods and applications , 2001, Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation.

[4]  Robert J. Hall.  Automatic extraction of executable program subsets by simultaneous dynamic program slicing , 2004, Automated Software Engineering.

[5]  Antonia Bertolino,et al.  Social coverage for customized test adequacy and selection criteria , 2014, AST 2014.

[6]  Sanjai Rayadurgam,et al.  Coverage based test-case generation using model checkers , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.

[7]  Jian Song,et al.  An Automated Approach to Estimating Code Coverage Measures via Execution Logs , 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

[8]  Jeffrey M. Voas,et al.  PIE: A Dynamic Failure-Based Technique , 1992, IEEE Trans. Software Eng..

[9]  Antonia Bertolino,et al.  Does Code Coverage Provide a Good Stopping Rule for Operational Profile Based Testing? , 2016, 2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST).

[10]  Eda Marchetti,et al.  Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach , 2011, J. Syst. Softw..

[11]  Mark Harman,et al.  Test oracle assessment and improvement , 2016, ISSTA.

[12]  Gregg Rothermel,et al.  A safe, efficient regression test selection technique , 1997, TSEM.

[13]  Myra B. Cohen,et al.  Coverage and adequacy in software product line testing , 2006, ROSATEA '06.

[14]  G. A. Venkatesh,et al.  The semantic approach to program slicing , 1991, PLDI '91.

[15]  Hong Zhu,et al.  Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[16]  Yucheng Zhang,et al.  Assertions are strongly correlated with test suite effectiveness , 2015, ESEC/SIGSOFT FSE.

[17]  Mark Harman,et al.  The Oracle Problem in Software Testing: A Survey , 2015, IEEE Transactions on Software Engineering.

[18]  Marcus A. Rothenberger,et al.  Software reuse strategies and component markets , 2003, CACM.

[19]  Elaine J. Weyuker,et al.  An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..

[20]  Rupak Majumdar,et al.  Hybrid Concolic Testing , 2007, 29th International Conference on Software Engineering (ICSE'07).

[21]  Mariëlle Stoelinga,et al.  A Semantic Framework for Test Coverage , 2006, ATVA.

[22]  John D. Musa,et al.  Software-Reliability-Engineered Testing , 1996, Computer.

[23]  Stefano Russo,et al.  Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

[24]  Tomohiko Takagi,et al.  Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing? , 2009, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

[25]  Jeffrey M. Voas,et al.  Predicting where faults can hide from testing , 1991, IEEE Software.

[26]  Alessandro Orso,et al.  Gamma system: continuous evolution of software after deployment , 2002, ISSTA '02.

[27]  Claes Wohlin,et al.  Towards integration of use case modelling and usage-based testing , 2000, J. Syst. Softw..

[28]  Carol S. Smidts,et al.  Software testing with an operational profile: OP definition , 2014, CSUR.

[29]  Janusz W. Laski,et al.  Dynamic Program Slicing , 1988, Inf. Process. Lett..

[30]  Elaine J. Weyuker,et al.  A Formal Analysis of the Fault-Detecting Ability of Testing Methods , 1993, IEEE Trans. Software Eng..

[31]  Antonia Bertolino,et al.  Scope-aided test prioritization, selection and minimization for software reuse , 2017, J. Syst. Softw..

[32]  Lorenzo Strigini,et al.  On the Use of Testability Measures for Dependability Assessment , 1996, IEEE Trans. Software Eng..

[33]  K HollingsworthJeffrey,et al.  Efficient instrumentation for code coverage testing , 2002 .

[34]  Koushik Sen,et al.  Symbolic execution for software testing: three decades later , 2013, CACM.

[35]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[36]  Allen D. Malony,et al.  A Generic and Configurable Source-Code Instrumentation Component , 2009, ICCS.

[37]  Domenico Cotroneo,et al.  Assessment and Improvement of Hang Detection in the Linux Operating System , 2009, 2009 28th IEEE International Symposium on Reliable Distributed Systems.

[38]  Nazareno Aguirre,et al.  Field-exhaustive testing , 2016, SIGSOFT FSE.

[39]  Antonia Bertolino,et al.  Improving Test Coverage Measurement for Reused Software , 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

[40]  Theodorich Kopetzky,et al.  Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA Testsuite , 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

[41]  G RyderBarbara,et al.  A framework for reducing the cost of instrumented code , 2001 .

[42]  Aniello Cimitile,et al.  Conditioned program slicing , 1998, Inf. Softw. Technol..

[43]  Thomas W. Reps,et al.  Program analysis via graph reachability , 1997, Inf. Softw. Technol..

[44]  Mark David Weiser,et al.  Program slices: formal, psychological, and practical investigations of an automatic program abstraction method , 1979 .

[45]  Gordon Fraser,et al.  On Parameter Tuning in Search Based Software Engineering , 2011, SSBSE.

[46]  Gregg Rothermel,et al.  An empirical investigation of program spectra , 1998, PASTE '98.

[47]  Antonia Bertolino,et al.  An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing , 2017, Software Quality Journal.

[48]  B GoodenoughJohn,et al.  Toward a theory of test data selection , 1975 .

[49]  Yan Li,et al.  Approaches for the combined use of risk analysis and testing: a systematic literature review , 2014, International Journal on Software Tools for Technology Transfer.

[50]  Michael Felderer,et al.  Integrating risk-based testing in industrial test processes , 2013, Software Quality Journal.

[51]  Gordon Fraser,et al.  Combining Multiple Coverage Criteria in Search-Based Unit Test Generation , 2015, SSBSE.

[52]  Breno Miranda.  A proposal for revisiting coverage testing metrics , 2014, ASE.

[53]  Hongyuan Fu,et al.  Research progress on ecological protection technology of highway slope: status and challenges , 2020, Transportation Safety and Environment.

[54]  Elaine J. Weyuker,et al.  Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.