BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
test coverage
Google test coverage

Tag #test coverage

89 papers:

MSRMSR-2019-ZhaiCD #python #source code
Test coverage in python programs (HZ, CC, PTD), pp. 116–120.
SANERSANER-2019-SomeoliayiJMM #metric
Program State Coverage: A Test Coverage Metric Based on Executed Program States (KES, SJ, MM, SHMH), pp. 584–588.
ASEASE-2019-GodioBPAF #generative #performance #testing
Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASEASE-2019-WangZL00L #named #novel #testing #thread
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes (ZW, YZ, SL, JS0, XC0, HL), pp. 722–734.
ASEASE-2019-YangJ0WSLZX #automation #self
Automatic Self-Validation for Code Coverage Profilers (YY, YJ0, ZZ0, YW, HS, HL, YZ, BX), pp. 79–90.
ESEC-FSEESEC-FSE-2019-IvankovicPJF
Code coverage at Google (MI, GP, RJ, GF), pp. 955–963.
ICSE-2019-YangZSS00X #debugging #difference #random #testing #tool support
Hunting for bugs in code coverage tools via randomized differential testing (YY, YZ, HS, ZS, ZZ0, LX0, BX), pp. 488–498.
ICSTICST-2019-HellhakeSW #black box #data flow #distributed #integration #testing #using
Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems (DH, TS, SW0), pp. 420–429.
ASEASE-2018-ChenSXHJ #approach #automation #execution #metric
An automated approach to estimating code coverage measures via execution logs (BC, JS, PX, XH, ZM(J), pp. 305–316.
ASEASE-2018-Hilton0M #evolution #scalability
A large-scale study of test coverage evolution (MH, JB0, DM), pp. 53–63.
ICSTICST-2018-KimHKPK #source code #testing
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage (YK, SH, BK, DLP, MK), pp. 239–249.
ICSTICST-2017-MarcozziBDKP
Taming Coverage Criteria Heterogeneity with LTest (MM, SB, MD, NK, VP), pp. 500–507.
SANERSANER-2016-TengeriHBGG #bytecode #java #source code
Negative Effects of Bytecode Instrumentation on Java Source Code Coverage (DT, FH, ÁB, TG, TG), pp. 225–235.
ICSTICST-2016-ChengWXH0 #empirical #evaluation #functional #source code
Empirical Evaluation of Test Coverage for Functional Programs (YC, MW0, YX, DH, LZ0), pp. 255–265.
SANERSANER-2015-KochharTL #debugging #effectiveness #empirical #scalability #testing
Code coverage and test suite effectiveness: Empirical study with real bugs in large systems (PSK, FT, DL), pp. 560–564.
SACSAC-2015-AlvesMM #case study #detection #fault #impact analysis #refactoring
Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring (ELGA, TM, PDdLM), pp. 1534–1540.
ICSTICST-2015-MondalHD #multi #testing
Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.
ICSTICST-2015-PankumhangR
Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.
SCAMSCAM-2014-TengeriBHG #analysis #repository #testing #tool support
Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.
SEKESEKE-2014-ZhouWLZ #correctness #empirical #probability #testing
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
ICSEICSE-2014-GopinathJG #developer #evaluation
Code coverage for suite evaluation by developers (RG, CJ, AG), pp. 72–82.
DACDAC-2014-AthavaleMHV #analysis #source code #using
Code Coverage of Assertions Using RTL Source Code Analysis (VA, SM, SH, SV), p. 6.
DATEDATE-2014-GuoWWH #automation #effectiveness #named
EATBit: Effective automated test for binary translation with high code coverage (HG, ZW, CW, RH), pp. 1–6.
ICSTICST-2014-BardinKC #execution #performance #symbolic computation
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ICSTICST-2014-MiicBT #analysis #automation #multi #platform #testing
Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ICSTICST-2014-SchwarzlB
Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.
ICTSSICTSS-2014-DwarakanathJ
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
ICTSSICTSS-2014-El-FakihSY #assessment #automaton #on the #testing
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
ISSTAISSTA-2014-MirzaAghaeiM #testing #web
DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
SEKESEKE-2013-ZouFCZZ #hybrid #testing
A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
ICSTICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #tool support
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ISSTAISSTA-2013-GligoricGZSAM #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ICSMEICSM-2012-BeszedesGSJLG #testing
Code coverage-based regression test selection and prioritization in WebKit (ÁB, TG, LS, JJ, LL, TG), pp. 46–55.
GT-VMTGT-VMT-2012-ArifulinaSE #specification #testing
Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
MODELSMoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #using
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
ICSTICST-2012-BeyeneA #generative #string #testing
Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
ICSTICST-2012-BlancoTS #approach #evaluation #interactive #testing
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.
ICTSSICTSS-2012-GargantiniGM #robust
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.
TAPTAP-2012-BengoleaAMF #bound #testing #using
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
PASTEPASTE-2011-FisherWTRL #evaluation
An evaluation of change-based coverage criteria (MFI, JW, FT, BGR, AL), pp. 21–28.
GT-VMTGT-VMT-2011-HeckelKM #contract #towards #visual notation
Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
ICSEICSE-2011-AdlerBRSSUZ #analysis #scalability
Code coverage analysis in practice for large systems (YA, NB, OR, OS, NS, SU, AZ), pp. 736–745.
ICSEICSE-2011-Araya #effectiveness #visual notation
Test blueprint: an effective visual support for test coverage (VPA), pp. 1140–1142.
ICSTICST-2011-HummerRSLD #composition
Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.
ICTSSICTSS-2011-Walkinshaw #black box #specification #testing
Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
TAPTAP-2011-AguirreBFG #black box #bound #generative #testing
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
ICSMEICSM-2010-PanditaXTH #generative #testing
Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
RERE-2010-Stanbridge #analysis #testing #user interface #using
Retrospective Requirement Analysis Using Code Coverage of GUI Driven System Tests (CS), pp. 411–412.
ICSTICST-2010-Weissleder #state machine #uml
Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
SCAMSCAM-2009-AlvesV #estimation
Static Estimation of Test Coverage (TLA, JV), pp. 55–64.
CAiSECAiSE-2009-SalayM #diagrams #quality #using
Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.
ISSTAISSTA-2009-AdlerFKPRSUZ #analysis #string #using
Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.
FSEFSE-2008-LaiCC #control flow #data flow #testing
Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.
ICSEICSE-2008-RajanWH #testing
The effect of program and model structure on mc/dc test adequacy coverage (AR, MWW, MPEH), pp. 161–170.
HPDCHPDC-2008-HeSWF #approximate #automation #performance #recognition
Code coverage, performance approximation and automatic recognition of idioms in scientific applications (JH, AS, RFVdW, MAF), pp. 223–224.
ASEASE-2007-SantelicesH #data flow #monitoring
Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.
ESEC-FSEESEC-FSE-2007-KosterK #behaviour #testing
State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.
ESEC-FSEESEC-FSE-2007-LuJZ #case study
A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.
ICSEICSE-2007-BernerWK #testing #using
Enhancing Software Testing by Judicious Use of Code Coverage Information (SB, RW, RKK), pp. 612–620.
AMOSTA-MOST-2007-KicillofGTB #automation #testing
Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
CAVCAV-2007-NahhalD #hybrid
Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
FSEFSE-2006-RutherfordCW #distributed #testing
Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
FASEFASE-2005-RountevKS #diagrams #interactive #sequence chart #testing
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.
AMOSTA-MOST-2005-CaiL #detection #fault #testing
The effect of code coverage on fault detection under different testing profiles (XC, MRL), pp. 84–90.
FATESFATES-2005-TasiranEBK #component #metric #novel
A Novel Test Coverage Metric for Concurrently-Accessed Software Components (ST, TE, GB, MEK), pp. 62–71.
ICSEICSE-2004-BriandLW #empirical #simulation #statechart #using
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
ASEASE-2003-GuptaH #detection #invariant
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
ESEC-FSEESEC-FSE-2003-KapfhammerS #product line #testing
A family of test adequacy criteria for database-driven applications (GMK, MLS), pp. 98–107.
DATEDATE-2003-SchanstraG #ram
Consequences of RAM Bitline Twisting for Test Coverage (IS, AJvdG), pp. 11176–11177.
ESOPESOP-2002-Horwitz #tool support
Tool Support for Improving Test Coverage (SH), pp. 162–177.
TACASTACAS-2002-HongLSU #generative #logic
A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.
ISSTAISSTA-2002-TikirH #performance #testing
Efficient instrumentation for code coverage testing (MMT, JKH), pp. 86–96.
ICTSSTestCom-2002-WilliamsP #integer #interactive #problem
Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.
ICSMEICSM-2001-ElbaumGR #evolution
The Impact of Software Evolution on Code Coverage Information (SGE, DG, GR), pp. 170–179.
FSEESEC-FSE-2001-MemonSP #testing #user interface
Coverage criteria for GUI testing (AMM, MLS, MEP), pp. 256–267.
ICSEICSE-1999-PavlopoulouY #monitoring
Residual Test Coverage Monitoring (CP, MY), pp. 277–284.
DACDAC-1998-FallahDK98a #functional #metric #named #performance #verification
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification (FF, SD, KK), pp. 152–157.
ICTSSIWTCS-1998-ZhuVC #embedded #evaluation #testing
Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.
ESECESEC-FSE-1997-DevanbuS #encryption #verification
Cryptographic Verification of Test Coverage Claims (PTD, SGS), pp. 395–413.
ICSEICSE-1996-MarreB #cost analysis
Reducing and Estimating the Cost of Test Coverage Criteria (MM, AB), pp. 486–494.
ICSEICSE-1994-HutchinsFGO #effectiveness #testing
Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria (MH, HF, TG, TJO), pp. 191–200.
ASEKBSE-1994-ChilenskiN #analysis #specification #tool support
Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.
ISSTAISSTA-1994-RothermelH #identification #requirements #testing
Selecting Tests and Identifying Test Coverage Requirements for Modified Software (GR, MJH), pp. 169–184.
ICTSSIWPTS-1992-McAllisterVA #automation #metric #testing
Automated Test Case Selection Based on Test Coverage Metrics (MM, STV, JAC), pp. 93–104.
ICTSSIWPTS-1991-VuongA #communication #metric #on the #protocol
On Test Coverage Metrics for Communication Protocols (STV, JAC), pp. 31–45.
ISSTATAV-1991-OstrandW #analysis #data flow #pointer #testing
Data Flow-Based Test Adequacy Analysis for Languages with Pointers (TJO, EJW), pp. 74–86.
ICSEICSE-1989-DeMillo #testing
Test Adequacy and Program Mutation (RAD), pp. 355–356.
ICSEICSE-1989-Weyuker
In Defense of Coverage Criteria (EJW), p. 361.
ICSEICSE-1982-Ohba #quality
Software Quality = Test Accuracy * Test Coverage (HO), pp. 287–295.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.