Tag #test coverage
89 papers:
MSR-2019-ZhaiCD #python #source code- Test coverage in python programs (HZ, CC, PTD), pp. 116–120.
SANER-2019-SomeoliayiJMM #metric- Program State Coverage: A Test Coverage Metric Based on Executed Program States (KES, SJ, MM, SHMH), pp. 584–588.
ASE-2019-GodioBPAF #generative #performance #testing- Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
- ASE-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.
- ASE-2019-YangJ0WSLZX #automation #self
- Automatic Self-Validation for Code Coverage Profilers (YY, YJ0, ZZ0, YW, HS, HL, YZ, BX), pp. 79–90.
ESEC-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.
ICST-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.
- ASE-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.
- ASE-2018-Hilton0M #evolution #scalability
- A large-scale study of test coverage evolution (MH, JB0, DM), pp. 53–63.
- ICST-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.
- ICST-2017-MarcozziBDKP
- Taming Coverage Criteria Heterogeneity with LTest (MM, SB, MD, NK, VP), pp. 500–507.
- SANER-2016-TengeriHBGG #bytecode #java #source code
- Negative Effects of Bytecode Instrumentation on Java Source Code Coverage (DT, FH, ÁB, TG, TG), pp. 225–235.
- ICST-2016-ChengWXH0 #empirical #evaluation #functional #source code
- Empirical Evaluation of Test Coverage for Functional Programs (YC, MW0, YX, DH, LZ0), pp. 255–265.
- SANER-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.
SAC-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.
- ICST-2015-MondalHD #multi #testing
- Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.
- ICST-2015-PankumhangR
- Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.
SCAM-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.
SEKE-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.
ICSE-2014-GopinathJG #developer #evaluation- Code coverage for suite evaluation by developers (RG, CJ, AG), pp. 72–82.
DAC-2014-AthavaleMHV #analysis #source code #using- Code Coverage of Assertions Using RTL Source Code Analysis (VA, SM, SH, SV), p. 6.
DATE-2014-GuoWWH #automation #effectiveness #named- EATBit: Effective automated test for binary translation with high code coverage (HG, ZW, CW, RH), pp. 1–6.
- ICST-2014-BardinKC #execution #performance #symbolic computation
- Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
- ICST-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.
- ICST-2014-SchwarzlB
- Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.
ICTSS-2014-DwarakanathJ - Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
- ICTSS-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.
ISSTA-2014-MirzaAghaeiM #testing #web- DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
- SEKE-2013-ZouFCZZ #hybrid #testing
- A Hybrid Coverage Criterion for DynamicWeb Testing (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
- ICST-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.
- ISSTA-2013-GligoricGZSAM #testing #using
- Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ICSM-2012-BeszedesGSJLG #testing- Code coverage-based regression test selection and prioritization in WebKit (ÁB, TG, LS, JJ, LL, TG), pp. 46–55.
GT-VMT-2012-ArifulinaSE #specification #testing- Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
MoDELS-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.
- ICST-2012-BeyeneA #generative #string #testing
- Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
- ICST-2012-BlancoTS #approach #evaluation #interactive #testing
- Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.
- ICTSS-2012-GargantiniGM #robust
- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.
TAP-2012-BengoleaAMF #bound #testing #using- Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
PASTE-2011-FisherWTRL #evaluation- An evaluation of change-based coverage criteria (MFI, JW, FT, BGR, AL), pp. 21–28.
- GT-VMT-2011-HeckelKM #contract #towards #visual notation
- Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
- ICSE-2011-AdlerBRSSUZ #analysis #scalability
- Code coverage analysis in practice for large systems (YA, NB, OR, OS, NS, SU, AZ), pp. 736–745.
- ICSE-2011-Araya #effectiveness #visual notation
- Test blueprint: an effective visual support for test coverage (VPA), pp. 1140–1142.
- ICST-2011-HummerRSLD #composition
- Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.
- ICTSS-2011-Walkinshaw #black box #specification #testing
- Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
- TAP-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.
- ICSM-2010-PanditaXTH #generative #testing
- Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
RE-2010-Stanbridge #analysis #testing #user interface #using- Retrospective Requirement Analysis Using Code Coverage of GUI Driven System Tests (CS), pp. 411–412.
- ICST-2010-Weissleder #state machine #uml
- Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
- SCAM-2009-AlvesV #estimation
- Static Estimation of Test Coverage (TLA, JV), pp. 55–64.
CAiSE-2009-SalayM #diagrams #quality #using- Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.
- ISSTA-2009-AdlerFKPRSUZ #analysis #string #using
- Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.
FSE-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.
- ICSE-2008-RajanWH #testing
- The effect of program and model structure on mc/dc test adequacy coverage (AR, MWW, MPEH), pp. 161–170.
HPDC-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.
- ASE-2007-SantelicesH #data flow #monitoring
- Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.
- ESEC-FSE-2007-KosterK #behaviour #testing
- State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.
- ESEC-FSE-2007-LuJZ #case study
- A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.
- ICSE-2007-BernerWK #testing #using
- Enhancing Software Testing by Judicious Use of Code Coverage Information (SB, RW, RKK), pp. 612–620.
A-MOST-2007-KicillofGTB #automation #testing- Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
CAV-2007-NahhalD #hybrid- Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
- FSE-2006-RutherfordCW #distributed #testing
- Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
FASE-2005-RountevKS #diagrams #interactive #sequence chart #testing- Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.
- A-MOST-2005-CaiL #detection #fault #testing
- The effect of code coverage on fault detection under different testing profiles (XC, MRL), pp. 84–90.
FATES-2005-TasiranEBK #component #metric #novel- A Novel Test Coverage Metric for Concurrently-Accessed Software Components (ST, TE, GB, MEK), pp. 62–71.
- ICSE-2004-BriandLW #empirical #simulation #statechart #using
- Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
- ASE-2003-GuptaH #detection #invariant
- A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
- ESEC-FSE-2003-KapfhammerS #product line #testing
- A family of test adequacy criteria for database-driven applications (GMK, MLS), pp. 98–107.
- DATE-2003-SchanstraG #ram
- Consequences of RAM Bitline Twisting for Test Coverage (IS, AJvdG), pp. 11176–11177.
ESOP-2002-Horwitz #tool support- Tool Support for Improving Test Coverage (SH), pp. 162–177.
TACAS-2002-HongLSU #generative #logic- A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.
- ISSTA-2002-TikirH #performance #testing
- Efficient instrumentation for code coverage testing (MMT, JKH), pp. 86–96.
- TestCom-2002-WilliamsP #integer #interactive #problem
- Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.
- ICSM-2001-ElbaumGR #evolution
- The Impact of Software Evolution on Code Coverage Information (SGE, DG, GR), pp. 170–179.
- ESEC-FSE-2001-MemonSP #testing #user interface
- Coverage criteria for GUI testing (AMM, MLS, MEP), pp. 256–267.
- ICSE-1999-PavlopoulouY #monitoring
- Residual Test Coverage Monitoring (CP, MY), pp. 277–284.
- DAC-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.
- IWTCS-1998-ZhuVC #embedded #evaluation #testing
- Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.
ESEC-FSE-1997-DevanbuS #encryption #verification- Cryptographic Verification of Test Coverage Claims (PTD, SGS), pp. 395–413.
- ICSE-1996-MarreB #cost analysis
- Reducing and Estimating the Cost of Test Coverage Criteria (MM, AB), pp. 486–494.
- ICSE-1994-HutchinsFGO #effectiveness #testing
- Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria (MH, HF, TG, TJO), pp. 191–200.
- KBSE-1994-ChilenskiN #analysis #specification #tool support
- Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.
- ISSTA-1994-RothermelH #identification #requirements #testing
- Selecting Tests and Identifying Test Coverage Requirements for Modified Software (GR, MJH), pp. 169–184.
- IWPTS-1992-McAllisterVA #automation #metric #testing
- Automated Test Case Selection Based on Test Coverage Metrics (MM, STV, JAC), pp. 93–104.
- IWPTS-1991-VuongA #communication #metric #on the #protocol
- On Test Coverage Metrics for Communication Protocols (STV, JAC), pp. 31–45.
- TAV-1991-OstrandW #analysis #data flow #pointer #testing
- Data Flow-Based Test Adequacy Analysis for Languages with Pointers (TJO, EJW), pp. 74–86.
- ICSE-1989-DeMillo #testing
- Test Adequacy and Program Mutation (RAD), pp. 355–356.
- ICSE-1989-Weyuker
- In Defense of Coverage Criteria (EJW), p. 361.
- ICSE-1982-Ohba #quality
- Software Quality = Test Accuracy * Test Coverage (HO), pp. 287–295.
