Stem coverag$ (all stems)

306 papers:

CASE-2015-LuoCCOLL #fault #geometry #locality #modelling

Enhancement of weld coverage and localization of defect through geometrical modeling for ultrasound inspection of TKY weld (HL, QHC, WSC, ETO, WJL, WL), pp. 1484–1489.

CASE-2015-MillerM #locality #using

Optimal planning for target localization and coverage using range sensing (LMM, TDM), pp. 501–508.

HT-2015-SampsonMML #clustering #keyword #twitter

Surpassing the Limit: Keyword Clustering to Improve Twitter Sample Coverage (JS, FM, RM, HL), pp. 237–245.

SIGMOD-2015-KouUMG

Weighted Coverage based Reviewer Assignment (NMK, LHU, NM, ZG), pp. 2031–2046.

TACAS-2015-ZengSLH #precise #predict

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.

SANER-2015-KochharTL #debugging #effectiveness #empirical #scalability #test coverage #testing

Code coverage and test suite effectiveness: Empirical study with real bugs in large systems (PSK, FT, DL), pp. 560–564.

SEKE-2015-ZhangGAU #analysis #mobile

Test Model and Coverage Analysis for Location-based Mobile Services (TZ, JG, OEKA, TU), pp. 80–86.

MoDELS-2015-MannaSG #combinator #specification #testing

Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.

SAC-2015-AlvesMM #case study #detection #fault #impact analysis #refactoring #test coverage

Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring (ELGA, TM, PDdLM), pp. 1534–1540.

ESEC-FSE-2015-KargenS #slicing #source code #using

Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.

ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.

ICST-2015-FarzanHV #concurrent #execution #testing

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.

ICST-2015-MondalHD #multi #test coverage #testing

Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.

ICST-2015-PanichellaKT #branch #optimisation #problem

Reformulating Branch Coverage as a Many-Objective Optimization Problem (AP, FMK, PT), pp. 1–10.

ICST-2015-PankumhangR #test coverage

Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.

ISSTA-2015-SatoHC #testing

Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.

TAP-2015-SoekenSD #invariant #ocl #specification

Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.

ASE-2014-Miranda #metric #testing

A proposal for revisiting coverage testing metrics (BM), pp. 899–902.

DAC-2014-AthavaleMHV #analysis #source code #test coverage #using

Code Coverage of Assertions Using RTL Source Code Analysis (VA, SM, SH, SV), p. 6.

DAC-2014-FarkashHB #incremental #validation

Coverage Learned Targeted Validation for Incremental HW Changes (MF, BGH, MB), p. 6.

DAC-2014-WuXKCH #named #simulation #statistics #towards

REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage (WW, WX, RK, YLC, LH), p. 6.

DATE-2014-CongLYX #evaluation #prototype #testing #validation

Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.

DATE-2014-GuoWWH #automation #effectiveness #named #test coverage

EATBit: Effective automated test for binary translation with high code coverage (HG, ZW, CW, RH), pp. 1–6.

PODS-2014-IndykMMM #composition

Composable core-sets for diversity and coverage maximization (PI, SM, MM, VSM), pp. 100–108.

FASE-2014-CavalcantiG #data flow #testing

Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.

MSR-2014-McIntoshKAH #bibliography #case study #code review #quality

The impact of code review coverage and code review participation on software quality: a case study of the qt, VTK, and ITK projects (SM, YK, BA, AEH), pp. 192–201.

SCAM-2014-TengeriBHG #analysis #repository #test coverage #testing #tool support

Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.

CIKM-2014-Deolalikar #distance #documentation #enterprise

Distance or Coverage?: Retrieving Knowledge-Rich Documents From Enterprise Text Collections (VD), pp. 1771–1774.

ICPR-2014-AlbarelliCBT #3d #online

High-Coverage 3D Scanning through Online Structured Light Calibration (AA, LC, FB, AT), pp. 4080–4085.

KDD-2014-ZhangCSWZ #network #probability #set #social

Minimizing seed set selection with probabilistic coverage guarantee in a social network (PZ, WC, XS, YW, JZ), pp. 1306–1315.

RecSys-2014-VargasBKC #recommendation

Coverage, redundancy and size-awareness in genre diversity for recommender systems (SV, LB, AK, PC), pp. 209–216.

Onward-2014-GroceAG

Coverage and Its Discontents (AG, MAA, RG), pp. 255–268.

SAC-2014-PaulL #bibliography

A systematic literature review on modified condition and decision coverage (TKP, MFL), pp. 1301–1308.

ICSE-2014-GopinathJG #developer #evaluation #test coverage

Code coverage for suite evaluation by developers (RG, CJ, AG), pp. 72–82.

ICSE-2014-InozemtsevaH #correlation #effectiveness #testing

Coverage is not strongly correlated with test suite effectiveness (LI, RH), pp. 435–445.

HPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata #runtime

Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.

ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.

ICST-2014-MiicBT #analysis #automation #multi #test coverage #testing

Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.

ICST-2014-SchwarzlB #test coverage

Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.

ICTSS-2014-DwarakanathJ #test coverage

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 #test coverage #testing

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.

ICTSS-2014-Schmidberger #metric

Well-Defined Coverage Metrics for the Glass Box Test (RS), pp. 113–128.

ISSTA-2014-AlshahwanH #detection #fault #testing

Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.

ISSTA-2014-MarinescuHC #analysis #evolution #framework #named

Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.

ISSTA-2014-ZouCZZG #effectiveness #testing #web

Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.

ASE-2013-SouzaC #fault #integration #locality

Adding context to fault localization with integration coverage (HAdS, MLC), pp. 628–633.

ASE-2013-TasharofiPLJ #automation #named #source code #testing

Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.

DATE-2013-LishernessLC #analysis #mutation testing

Mutation analysis with coverage discounting (PL, NL, KT(C), pp. 31–34.

FASE-2013-SakamotoTHWF #code generation #integration #named #testing #web

POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.

MSR-2013-WangDZCXZ #api #mining #source code

Mining succinct and high-coverage API usage patterns from source code (JW, YD, HZ, KC, TX, DZ), pp. 319–328.

WCRE-2013-SmithsonEAKB #correctness #trade-off

Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness (MS, KE, KA, AK, RB), pp. 52–61.

CIKM-2013-WangYLZH #network #summary #topic #word

Content coverage maximization on word networks for hierarchical topic summarization (CW, XY, YL, CZ, JH), pp. 249–258.

RecSys-2013-HammarKN #e-commerce #recommendation #using

Using maximum coverage to optimize recommendation systems in e-commerce (MH, RK, BJN), pp. 265–272.

SEKE-2013-ZouFCZZ #hybrid #test coverage #testing

A Hybrid Coverage Criterion for DynamicWeb Testing (S) (YZ, CF, ZC, XZ, ZZ), pp. 210–213.

AMT-2013-CalegariD #qvt #testing

Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.

AMT-2013-FinotMSD #metamodelling #testing #using

Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.

ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.

PADL-2013-Aranda-LopezNSS #formal method #recursion #sql

Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.

RE-2013-GordonB #modelling #requirements

Assessing regulatory change through legal requirements coverage modeling (DGG, TDB), pp. 145–154.

ESEC-FSE-2013-MarinescuC #named #testing

KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.

ICSE-2013-HassanA #data flow #multi

Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.

ICSE-2013-WhalenGYHS

Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.

ICST-2013-CzemerinskiBU #abstraction #behaviour #black box

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.

ICST-2013-GargantiniGM #analysis #automation #named #robust

AURORA: AUtomatic RObustness coveRage Analysis Tool (AG, MG, EM), pp. 463–470.

ICST-2013-HongSAKR #concurrent #effectiveness #metric #testing

The Impact of Concurrent Coverage Metrics on Testing Effectiveness (SH, MS, JA, MK, GR), pp. 232–241.

ICST-2013-NardoABL #case study #industrial #testing

Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.

ICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support

OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.

ICTSS-2013-EnoiuSP #diagrams #logic #testing #using

Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.

ISSTA-2013-GligoricGZSAM #test coverage #testing #using

Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.

ISSTA-2013-SteimannFA #empirical #fault

Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators (FS, MF, RA), pp. 314–324.

ISSTA-2013-TsankovDB #testing

Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.

DAC-2012-MalburgFF #automation #design #hardware #locality #metric #using

Automated feature localization for hardware designs using coverage metrics (JM, AF, GF), pp. 941–946.

DATE-2012-DenizSH #embedded #manycore #verification

Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.

DATE-2012-HaedickeGD #metric #verification

A guiding coverage metric for formal verification (FH, DG, RD), pp. 617–622.

DATE-2012-PeranandamRSYGR #generative #modelling #testing

An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.

DATE-2012-QinM #automation #generative #protocol #testing

Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.

VLDB-2013-DrosouP12 #difference

DisC diversity: result diversification based on dissimilarity and coverage (MD, EP), pp. 13–24.

FASE-2012-StaatsGWH #generative #on the #testing

On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.

ICSM-2012-BeszedesGSJLG #test coverage #testing

Code coverage-based regression test selection and prioritization in WebKit (ÁB, TG, LS, JJ, LL, TG), pp. 46–55.

ICALP-v1-2012-ChakrabartyH #testing

Testing Coverage Functions (DC, ZH), pp. 170–181.

IFM-2012-BlackmoreHBER #automation #generative #simulation #verification

Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.

GT-VMT-2012-ArifulinaSE #specification #test coverage #testing

Coverage Criteria for Testing DMM Specifications (SA, CS, GE).

ICGT-2012-KhanRH #contract #modelling #testing #visual notation

Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.

CIKM-2012-MakinoTO #aspect-oriented #summary

Balanced coverage of aspects for text summarization (TM, HT, MO), pp. 1742–1746.

CIKM-2012-SiposSSJ #corpus #summary #using #word

Temporal corpus summarization using submodular word coverage (RS, AS, PS, TJ), pp. 754–763.

SEKE-2012-YangCXZZ #approach #multi #optimisation

A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization (RY, ZC, BX, ZZ, WZ), pp. 470–475.

SEKE-2012-ZhangCGZSC #named #reduction #requirements #testing

CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements (LZ, XC, QG, HZ, XS, DC), pp. 217–224.

MoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.

MoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.

OOPSLA-2012-YuNPP #named #parallel #source code #testing #thread

Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.

FSE-2012-ParkHHCGTFX #named #performance

CarFast: achieving higher statement coverage faster (SP, BMMH, IH, CC, MG, KT, CF, QX), p. 35.

ICSE-2012-SongPF #interactive #named #using

iTree: Efficiently discovering high-coverage configurations using interaction trees (CS, AP, JSF), pp. 903–913.

ICSE-2012-Yu #analysis #identification #using

Improving failure-inducing changes identification using coverage analysis (KY), pp. 1604–1606.

ICST-2012-BeyeneA #generative #string #test coverage #testing

Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.

ICST-2012-GotliebHB #constraints #programming #using

Minimum Pairwise Coverage Using Constraint Programming Techniques (AG, AH, BB), pp. 773–774.

ICTSS-2012-GargantiniGM #robust #test coverage

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.

ISSTA-2012-AlshahwanH #detection #fault #testing #web

State aware test case regeneration for improving web application test suite coverage and fault detection (NA, MH), pp. 45–55.

ISSTA-2012-GrossFZ #search-based #testing

Search-based system testing: high coverage, no false alarms (FG, GF, AZ), pp. 67–77.

ISSTA-2012-HongAPKH #concurrent #source code #testing

Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.

TAP-2012-BengoleaAMF #bound #test coverage #testing #using

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.

ASE-2011-DengJ #dependence #fault

Inferred dependence coverage to support fault contextualization (FD, JAJ), pp. 512–515.

ASE-2011-Dwyer #analysis #behaviour #testing

Unifying testing and analysis through behavioral coverage (MBD), p. 2.

ASE-2011-Groce #adaptation #generative #programming

Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.

CASE-2011-TengHTK #optimisation

Optimizing coverage for a Chlamydia trachomatis screening program (YT, LH, WT, NK), pp. 531–536.

DATE-2011-KochteW #evaluation #fault #satisfiability

SAT-based fault coverage evaluation in the presence of unknown values (MAK, HJW), pp. 1303–1308.

DATE-2011-LiuSTV #design #generative #towards #using #validation

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.

PASTE-2011-FisherWTRL #evaluation #test coverage

An evaluation of change-based coverage criteria (MFI, JW, FT, BGR, AL), pp. 21–28.

GT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation

Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).

DUXU-v1-2011-ChellaliBBZ #interface #multi #video

Interface for Multi-robots Based Video Coverage (RC, EB, KB, MZ), pp. 203–210.

SEKE-2011-SouzaSMCSZ #concurrent #quality #reachability #testing #using

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality (SdRSdS, PSLdS, MCCM, MSC, AdSS, EZ), pp. 207–212.

SEKE-2011-ZhaoZWY #fault #locality #named #reduction

PAFL: Fault Localization via Noise Reduction on Coverage Vector (LZ, ZZ, LW, XY), pp. 203–206.

ICMT-2011-BauerK #model transformation

Combining Specification-Based and Code-Based Coverage for Model Transformation Chains (EB, JMK), pp. 78–92.

MoDELS-2011-CichosOLS #generative #modelling #product line #testing

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.

MoDELS-2011-CichosOLS #generative #modelling #product line #testing

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.

OOPSLA-2011-ThummalapentaXTHS #sequence #testing

Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.

ICSE-2011-AdlerBRSSUZ #analysis #scalability #test coverage

Code coverage analysis in practice for large systems (YA, NB, OR, OS, NS, SU, AZ), pp. 736–745.

ICSE-2011-Araya #effectiveness #test coverage #visual notation

Test blueprint: an effective visual support for test coverage (VPA), pp. 1140–1142.

ICSE-2011-WangSG #concurrent #testing

Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.

SPLC-2011-KatoY #cumulative #feature model #interactive #product line

Variation Management for Software Product Lines with Cumulative Coverage of Feature Interactions (SK, NY), pp. 140–149.

CAV-2011-SinghalA #simulation #using #verification

Using Coverage to Deploy Formal Verification in a Simulation World (VS, PA), pp. 44–49.

ICST-2011-HummerRSLD #composition #test coverage

Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.

ICST-2011-SchulerZ #quality

Assessing Oracle Quality with Checked Coverage (DS, AZ), pp. 90–99.

ICTSS-2011-CastillosDJT #modelling #ocl #testing #uml

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.

ISSTA-2011-AllwoodCE #haskell #source code #testing

High coverage testing of Haskell programs (TORA, CC, SE), pp. 375–385.

ISSTA-2011-DiGiuseppeJ #fault #locality #multi #on the

On the influence of multiple faults on coverage-based fault localization (ND, JAJ), pp. 210–220.

TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.

TAP-2011-Tan #automaton #metric #testing

State Coverage Metrics for Specification-Based Testing with Büchi Automata (LT), pp. 171–186.

CASE-2010-RososhanskyXL #automation #using

Coverage based tool path planning for automated polishing using contact stress theory (MR, FX, YL), pp. 592–597.

CASE-2010-XuSY #algorithm #problem

Exact algorithms for non-overlapping 2-frame problem with non-partial coverage for networked robotic cameras (YX, DS, JY), pp. 503–508.

DAC-2010-ChocklerKP #model checking

Coverage in interpolation-based model checking (HC, DK, MP), pp. 182–187.

DAC-2010-HorowitzJLLLM #analysis #equivalence #modelling

Fortifying analog models with equivalence checking and coverage analysis (MH, MJ, FL, SL, BL, JM), pp. 425–430.

CSMR-2010-AlalfiCD #automation #metric #web

Automating Coverage Metrics for Dynamic Web Applications (MHA, JRC, TRD), pp. 51–60.

ICSM-2010-PanditaXTH #generative #test coverage #testing

Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.

CIKM-2010-LiSDX #multi #summary #topic

Exploiting novelty, coverage and balance for topic-focused multi-document summarization (XL, YDS, LD, CYX), pp. 1765–1768.

RecSys-2010-GeDJ #recommendation

Beyond accuracy: evaluating recommender systems by coverage and serendipity (MG, CDB, DJ), pp. 257–260.

RE-2010-Stanbridge #analysis #test coverage #testing #user interface #using

Retrospective Requirement Analysis Using Code Coverage of GUI Driven System Tests (CS), pp. 411–412.

SAC-2010-MiaoOWS #distributed #network #using

Coverage-hole trap model in target tracking using distributed relay-robot network (HM, CCO, XW, CS), pp. 1299–1304.

ICST-2010-Weissleder #state machine #test coverage #uml

Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.

ICTSS-2010-LamanchaU #generative #product line #testing #using

Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage (BPL, MPU), pp. 111–125.

ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing

Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.

TAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.

ASE-2009-TaleghaniA #estimation

State-Space Coverage Estimation (AT, JMA), pp. 459–467.

ASE-2009-ZhangZHZM #named #testing

Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.

CASE-2009-MysoreNUMR #algorithm #performance

An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas (NM, PN, RSU, RM, SR), pp. 233–240.

DAC-2009-XiongSZV #multi #process #statistics

Statistical multilayer process space coverage for at-speed test (JX, YS, VZ, CV), pp. 340–345.

DATE-2009-KavousianosC #fault #generative #testing

Generation of compact test sets with high defect coverage (XK, KC), pp. 1130–1135.

DATE-2009-Schat #fault #on the

On the relationship between stuck-at fault coverage and transition fault coverage (JS), pp. 1218–1221.

ITiCSE-2009-DennyLHP #repository #student #topic

Coverage of course topics in a student generated MCQ repository (PD, ALR, JH, HCP), pp. 11–15.

ICSM-2009-LuciaOT #analysis #empirical #traceability

The role of the coverage analysis during IR-based traceability recovery: A controlled experiment (ADL, RO, GT), pp. 371–380.

ICSM-2009-ZhangZHZM #testing

Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.

SCAM-2009-AlvesV #estimation #test coverage

Static Estimation of Test Coverage (TLA, JV), pp. 55–64.

CHI-2009-WuT #named #visualisation

PhotoScope: visualizing spatiotemporal coverage of photos for construction management (FW, MT), pp. 1103–1112.

CAiSE-2009-SalayM #diagrams #quality #test coverage #using

Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.

ICSE-2009-SantelicesJYH #lightweight #multi #using

Lightweight fault-localization using multiple coverage types (RAS, JAJ, YY, MJH), pp. 56–66.

ICSE-2009-WangCCZ #correctness #fault #locality #refinement

Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.

ICST-2009-AngelettiGNPS #analysis #automation #generative #testing

Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.

ICST-2009-KoochakzadehGM #lessons learnt #metric

Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned (NK, VG, FM), pp. 220–229.

ICST-2009-SteimannB #fault #multi

A Simple Coverage-Based Locator for Multiple Faults (FS, MB), pp. 366–375.

ISSTA-2009-AdlerFKPRSUZ #analysis #string #test coverage #using

Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.

ISSTA-2009-NaminA #effectiveness #testing

The influence of size and coverage on test suite effectiveness (ASN, JHA), pp. 57–68.

TestCom-FATES-2009-El-FakihYF #fault #finite #state machine #testing

Testing Timed Finite State Machines with Guaranteed Fault Coverage (KEF, NY, HF), pp. 66–80.

TestCom-FATES-2009-GrieskampQWKC #constraints #interactive #smt #theorem proving

Interaction Coverage Meets Path Coverage by SMT Constraint Solving (WG, XQ, XW, NK, MBC), pp. 97–112.

TestCom-FATES-2009-GuoDW #erlang #source code #testing

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.

DAC-2008-HoTDDGS #identification #logic #verification

Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.

SEFM-2008-Gladisch #branch #generative #testing

Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.

ICML-2008-KuzelkaZ #estimation #first-order #performance

Fast estimation of first-order clause coverage through randomization and maximum likelihood (OK, FZ), pp. 504–511.

SEKE-2008-BrandlFW #modelling #reasoning #testing #using

Coverage-based Testing Using Qualitative Reasoning Models (HB, GF, FW), pp. 393–398.

SAC-2008-MenezesB #case study #modelling

A study of terrain coverage models (RM, HB), pp. 1964–1968.

ICSE-2008-RajanWH #test coverage #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 #test coverage

Code coverage, performance approximation and automatic recognition of idioms in scientific applications (JH, AS, RFVdW, MAF), pp. 223–224.

OSDI-2008-CadarDE #automation #generative #named #source code #testing

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.

MBT-2008-GaudelDGLOP #modelling #random

Coverage-biased Random Exploration of Models (MCG, AD, SDG, RL, JO, SP), pp. 3–14.

TestCom-FATES-2008-WangH #analysis #concurrent #generative #realtime #testing

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis (FW, GDH), pp. 234–249.

ASE-2007-SantelicesH #data flow #monitoring #test coverage

Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.

CASE-2007-ChakrabortyAW #multi #set

Coverage of a Planar Point Set with Multiple Constrained Robots (NC, SA, JTW), pp. 899–904.

DAC-2007-BacchiniHFRLTPZ #question #verification

Verification Coverage: When is Enough, Enough? (FB, AJH, TF, RR, DL, MT, AP, AZ), pp. 744–745.

DATE-2007-FengZTC #design #fault #metric #validation

Clock domain crossing fault model and coverage metric for validation of SoC design (YF, ZZ, DT, XC), pp. 1385–1390.

DATE-2007-GrosseKD #bound #functional #model checking

Estimating functional coverage in bounded model checking (DG, UK, RD), pp. 1176–1181.

DATE-2007-VermaHR #automation #behaviour #functional #generative #interactive #modelling

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.

VLDB-2007-ChoS #crawling #rank

RankMass Crawler: A Crawler with High PageRank Coverage Guarantee (JC, US), pp. 375–386.

ICSM-2007-ChittimalliH #testing

Re-computing Coverage Information to Assist Regression Testing (PKC, MJH), pp. 164–173.

ICSM-2007-McMasterM #analysis #detection #fault #probability #reduction #testing

Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction (SM, AMM), pp. 335–344.

MSR-2007-LivieriHMI #analysis #evolution #kernel #linux #using

Analysis of the Linux Kernel Evolution Using Code Clone Coverage (SL, YH, MM, KI), p. 22.

SIGIR-2007-HagedornCA #information management

World knowledge in broad-coverage information filtering (BAH, MC, JA), pp. 801–802.

SAC-2007-MenezesMVSB

A model for terrain coverage inspired by ant’s alarm pheromones (RM, FM, FEV, RS, MB), pp. 728–732.

SAC-2007-SausenSLP #bound #multi #network

Bounded-distance multi-coverage backbones in wireless sensor networks (PSS, MAS, AMNdL, AP), pp. 203–208.

ESEC-FSE-2007-KosterK #behaviour #test coverage #testing

State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.

ESEC-FSE-2007-LuJZ #case study #test coverage

A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.

ICSE-2007-BernerWK #test coverage #testing

Enhancing Software Testing by Judicious Use of Code Coverage Information (SB, RW, RKK), pp. 612–620.

AMOST-2007-KicillofGTB #automation #test coverage #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

Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.

MBT-2007-DadeauLB #java #ml #specification #testing #using

Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.

MBT-2007-LedruBDA #case study #proving

A Case Study in Matching Test and Proof Coverage (YL, LdB, FD, FA), pp. 73–84.

ASE-2006-HalfondO #database #testing

Command-Form Coverage for Testing Database Applications (WGJH, AO), pp. 69–80.

ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing

A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.

ASE-2006-Rajan #black box #metric #testing

Coverage Metrics to Measure Adequacy of Black-Box Test Suites (AR), pp. 335–338.

DAC-2006-Gluska #verification

Practical methods in coverage-oriented verification of the merom microprocessor (AG), pp. 332–337.

DATE-2006-ChaoWCWC #using

Coverage loss by using space compactors in presence of unknown values (MCTC, SW, STC, WW, KTC), pp. 1053–1054.

DATE-2006-DasBDC #design #model checking #question #what

What lies between design intent coverage and model checking? (SD, PB, PD, PPC), pp. 1217–1222.

DATE-2006-Harris #metric #process #validation

A coverage metric for the validation of interacting processes (IGH), pp. 1019–1024.

DATE-2006-JerinicLHM #functional #metric #verification

New methods and coverage metrics for functional verification (VJ, JL, UH, DM), pp. 1025–1030.

DATE-2006-KrautzP0TWV #detection #fault #formal method #logic #using

Evaluating coverage of error detection logic for soft errors using formal methods (UK, MP, CJ, HWT, KW, HTV), pp. 176–181.

DATE-2006-KruppM #classification #functional #random testing #testing

Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.

WCRE-2006-LormansGDSS #case study #industrial #monitoring #requirements #using

Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study (ML, HGG, AvD, RvS, AS), pp. 275–284.

CIKM-2006-YanCL #clustering #transaction

Efficiently clustering transactional data with weighted coverage density (HY, KC, LL), pp. 367–376.

SEKE-2006-WongRLO #embedded #testing

Coverage Testing Embedded Software on Symbian/OMAP (WEW, SR, JL, JO), pp. 473–478.

ASPLOS-2006-ReddyRP #comprehension #fault tolerance #predict #thread

Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance (VKR, ER, SP), pp. 83–94.

AMOST-J-2005-BryceC06 #constraints #interactive #testing

Prioritized interaction testing for pair-wise coverage with seeding and constraints (RCB, CJC), pp. 960–970.

ISSTA-2006-WhalenRHM #metric #testing

Coverage metrics for requirements-based testing (MWW, AR, MPEH, SPM), pp. 25–36.

TestCom-2006-LammelS #combinator #grammarware #testing

Controllable Combinatorial Coverage in Grammar-Based Testing (RL, WS), pp. 19–38.

ASE-2005-HennessyP #analysis #generative #grammarware #testing

An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software (MH, JFP), pp. 104–113.

DATE-2005-MishraD #functional #generative #pipes and filters #testing #validation

Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.

FASE-2005-RountevKS #diagrams #interactive #sequence chart #test coverage #testing

Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.

ICSM-2005-McMasterM #reduction #stack #testing

Call Stack Coverage for Test Suite Reduction (SM, AMM), pp. 539–548.

PPoPP-2005-BronFMNU

Applications of synchronization coverage (AB, EF, YM, YN, SU), pp. 206–212.

AMOST-2005-BryceC #interactive

Test prioritization for pairwise interaction coverage (RCB, CJC).

AMOST-2005-CaiL #detection #fault #test coverage #testing

The effect of code coverage on fault detection under different testing profiles (XC, MRL).

FATES-2005-TasiranEBK #component #metric #novel #test coverage

A Novel Test Coverage Metric for Concurrently-Accessed Software Components (ST, TE, GB, MEK), pp. 62–71.

ASE-2004-Andrews #case study #data type #random #testing

Case Study of Coverage-Checked Random Data Structure Testing (JHA), pp. 316–319.

ASE-2004-KhorG #algorithm #automation #branch #concept analysis #search-based #testing #using

Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically (SK, PG), pp. 346–349.

DAC-2004-AsafMZ #analysis #functional

Defining coverage views to improve functional coverage analysis (SA, EM, AZ), pp. 41–44.

DAC-2004-KwonKK #functional #graph #metric #synthesis

Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.

DATE-v1-2004-BasuDDCMF #architecture #design #question #verification

Formal Verification Coverage: Are the RTL-Properties Covering the Design’s Architectural Intent? (PB, SD, PD, PPC, CRM, LF), pp. 668–669.

DATE-v1-2004-KwonK #functional #generative #graph #metric

Functional Coverage Metric Generation from Temporal Event Relation Graph (YSK, CMK), pp. 670–671.

DATE-v2-2004-WangLC #fault #hardware #hybrid #testing

Hybrid Delay Scan: A Low Hardware Overhead Scan-Based Delay Test Technique for High Fault Coverage and Compact Test Sets (SW, XL, STC), pp. 1296–1301.

SAC-2004-LeeTT #approach

A seriate coverage filtration approach for homology search (HPL, YTT, CYT), pp. 180–184.

FSE-2004-CabalT #database #metric #sql #testing #using

Using an SQL coverage measurement for testing database applications (MJSC, JT), pp. 253–262.

ICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using

Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.

ASE-2003-GuptaH #detection #invariant #test coverage

A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.

DAC-2003-FineZ #functional #generative #network #testing #using #verification

Coverage directed test generation for functional verification using bayesian networks (SF, AZ), pp. 286–291.

DAC-2003-Gluska #verification

Coverage-oriented verification of banias (AG), pp. 280–285.

DAC-2003-JayakumarPS #estimation

Dos and don’ts of CTL state coverage estimation (NJ, MP, FS), pp. 292–295.

DATE-2003-SchanstraG #ram #test coverage

Consequences of RAM Bitline Twisting for Test Coverage (IS, AJvdG), pp. 11176–11177.

DATE-2003-Ziv #functional #metric

Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.

VLDB-2003-NieKH #effectiveness #integration #mining #named #statistics #using

BibFinder/StatMiner: Effectively Mining and Using Coverage and Overlap Statistics in Data Integration (ZN, SK, TH), pp. 1097–1100.

SIGIR-2003-EdensGJL #automation #information retrieval

An investigation of broad coverage automatic pronoun resolution for information retrieval (RJE, HLG, GJFJ, AMLA), pp. 381–382.

SAC-2003-RaisanenW #communication #evaluation #multi #network #optimisation #problem

Multi-objective Optimization in the Area Coverage Problems for Cellular Communication Networks: Evaluation of an Elitist Evolutionary Strategy (LR, RMW), pp. 714–720.

LDTA-2003-KalinovKPPS #automation #compilation #generative #testing

Coverage-driven Automated Compiler Test Suite Generation (AK, AK, AKP, MP, VS), pp. 500–514.

DAC-2002-LachishMUZ #analysis #functional

Hole analysis for functional coverage data (OL, EM, SU, AZ), pp. 807–812.

DAC-2002-ShimizuD #generative #metric #simulation #specification

Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.

ESOP-2002-Horwitz #test coverage #tool support

Tool Support for Improving Test Coverage (SH), pp. 162–177.

TACAS-2002-HongLSU #generative #logic #test coverage

A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.

CIKM-2002-NieNVK #mining #statistics

Mining coverage statistics for websource selection in a mediator (ZN, UN, SV, SK), pp. 678–680.

ISSTA-2002-FriedmanHNS #state machine #testing

Projected state machine coverage for software testing (GF, AH, KN, TS), pp. 134–143.

ISSTA-2002-TikirH #performance #test coverage #testing

Efficient instrumentation for code coverage testing (MMT, JKH), pp. 86–96.

TestCom-2002-BorodayPGQ #fault #generative #specification #testing

Test Generation for CEFSM Combining Specification and Fault Coverage (SB, AP, RG, YMQ), pp. 355–372.

TestCom-2002-WilliamsP #integer #interactive #problem #test coverage

Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.

ASE-2001-LenceviciusMR #design #execution

Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.

DATE-2001-PomeranzR01a #detection #effectiveness #fault #generative #testing

Definitions of the numbers of detections of target faults and their effectiveness in guiding test generation for high defect coverage (IP, SMR), pp. 504–508.

TACAS-2001-ChocklerKV #logic #metric #model checking

Coverage Metrics for Temporal Logic Model Checking (HC, OK, MYV), pp. 528–542.

ICSM-2001-ElbaumGR #evolution #test coverage

The Impact of Software Evolution on Code Coverage Information (SGE, DG, GR), pp. 170–179.

ICSM-2001-JonesH #reduction #testing

Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage (JAJ, MJH), p. 92–?.

FME-2001-ArditiBCS #generative #testing #validation

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System (LA, HB, AC, VS), pp. 449–464.

CIKM-2001-NieK #integration #optimisation #query

Joint Optimization of Cost and Coverage of Query Plans in Data Integration (ZN, SK), pp. 223–230.

ESEC-FSE-2001-MemonSP #test coverage #testing #user interface

Coverage criteria for GUI testing (AMM, MLS, MEP), pp. 256–267.

CAV-2001-ChocklerKKV #approach #model checking

A Practical Approach to Coverage in Model Checking (HC, OK, RPK, MYV), pp. 66–78.

ASE-2000-GuptaMS #branch #generative #testing

Generating Test Data for Branch Coverage (NG, APM, MLS), pp. 219–228.

DATE-2000-WegenerK #modelling #testing

Incorporation of Hard-Fault-Coverage in Model-Based Testing of Mixed-Signal ICs (CW, MPK), p. 765.

ICEIS-2000-Thelwall #web

Implications of Search Engine Coverage on the Viability of Business Web Sites (MT), pp. 533–534.

TestCom-2000-AmyotL

Structural Coverage For LOTOS — a Probe Insertion Technique (DA, LL), pp. 19–34.

TestCom-2000-Williams #interactive

Determination of Test Configurations for Pair-Wise Interaction Coverage (AWW), pp. 59–74.

DAC-1999-BenjaminGHMSW #case study #generative #testing

A Study in Coverage-Driven Test Generation (MB, DG, AH, GM, RS, YW), pp. 970–975.

DAC-1999-FallahAD #generative #simulation

Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage (FF, PA, SD), pp. 666–671.

DAC-1999-HoskoteKHZ #estimation #model checking

Coverage Estimation for Symbolic Model Checking (YVH, TK, PHH, XZ), pp. 300–305.

DAC-1999-UrY #architecture #generative #source code

Micro Architecture Coverage Directed Generation of Test Programs (SU, YY), pp. 175–180.

DATE-1999-LinPR #fault

Full Scan Fault Coverage With Partial Scan (XL, IP, SMR), pp. 468–472.

PASTE-1999-Agrawal #graph #performance #testing #using

Efficient Coverage Testing Using Global Dominator Graphs (HA), pp. 11–20.

ICSE-1999-PavlopoulouY #monitoring #test coverage

Residual Test Coverage Monitoring (CP, MY), pp. 277–284.

DAC-1998-FallahDK98a #functional #metric #named #performance #test coverage #verification

OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification (FF, SD, KK), pp. 152–157.

DAC-1998-GrinwaldHOUZ #design #tool support #verification

User Defined Coverage — A Tool Supported Methodology for Design Verification (RG, EH, MO, SU, AZ), pp. 158–163.

DATE-1998-MirRVH #analysis #fault

Switch-Level Fault Coverage Analysis for Switched-Capacitor Systems (SM, AR, DV, JLH), pp. 810–814.

ISSTA-1998-YangSP #parallel #source code

All-du-path Coverage for Parallel Programs (CSDY, ALS, LLP), pp. 153–162.

IWTCS-1998-ZhuVC #embedded #evaluation #test coverage #testing

Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.

DAC-1997-GuptaMA #formal method #simulation #towards #using #validation

Toward Formalizing a Validation Methodology Using Simulation Coverage (AG, SM, PA), pp. 740–745.

ESEC-FSE-1997-DevanbuS #encryption #test coverage #verification

Cryptographic Verification of Test Coverage Claims (PTD, SGS), pp. 395–413.

DAC-1996-KantrowitzN #analysis #correctness #simulation #verification #what

I’m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor (MK, LMN), pp. 325–330.

ICPR-1996-KochM #image #segmentation

Bootstrap coverage plots for image segmentation (IK, GM), pp. 447–451.

SEKE-1996-MagelZ #data type #testing

Data Structure Coverage Testing (KIM, PZ), pp. 1–8.

ICSE-1996-MarreB #cost analysis #test coverage

Reducing and Estimating the Cost of Test Coverage Criteria (MM, AB), pp. 486–494.

ISSTA-1996-MarreB

Unconstrained Duals and Their Use in Achieving All-Uses Coverage (MM, AB), pp. 147–157.

DAC-1994-HeraguBA #fault #performance

An Efficient Path Delay Fault Coverage Estimator (KH, MLB, VDA), pp. 516–521.

KBSE-1994-ChilenskiN #analysis #specification #test coverage #tool support

Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.

POPL-1994-Agrawal

Dominators, Super Blocks, and Program Coverage (HA), pp. 25–34.

ISSTA-1994-RothermelH #identification #requirements #test coverage #testing

Selecting Tests and Identifying Test Coverage Requirements for Modified Software (GR, MJH), pp. 169–184.

DAC-1993-LamSBS #fault #performance #trade-off

Delay Fault Coverage and Performance Tradeoffs (WKCL, AS, RKB, ALSV), pp. 446–452.

ICALP-1993-CohenF #finite #state machine

Products of Finite State Machines with Full Coverage (DMC, MLF), pp. 469–477.

SEKE-1993-ChangCCL #branch #empirical #generative #testing

An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage (KHC, JHCI, WHC, SSL), pp. 437–444.

ICSE-1993-PiwowarskiOC #experience #metric #testing

Coverage Measurement Experience During Function Test (PP, MO, JMC), pp. 287–301.

IWPTS-1993-MottelerCS #fault #protocol #testing

Fault Coverage of UIO-based Methods for Protocol Testing (HEM, AC, DPS), pp. 21–34.

DAC-1992-MajumdarS #fault #on the #random testing #testing

On the Distribution of Fault Coverage and Test length in Random Testing of Combinational Circuits (AM, SS), pp. 341–346.

IWPTS-1992-McAllisterVA #automation #metric #test coverage #testing

Automated Test Case Selection Based on Test Coverage Metrics (MM, STV, JAC), pp. 93–104.

DAC-1991-MaoC #design #fault

Correlation-Reduced Scan-path Design To Improve Delay Fault Coverage (WM, MDC), pp. 73–79.

DAC-1991-PomeranzR #fault #on the #using

On Achieving a Complete Fault Coverage for Sequential Machines Using the Transition Fault Model (IP, SMR), pp. 341–346.

IWPTS-1991-FujiwaraB #fault #nondeterminism #state machine #testing

Testing Non-Deterministic State Machines with Fault Coverage (SF, GvB), pp. 267–280.

IWPTS-1991-VuongA #communication #metric #on the #protocol #test coverage

On Test Coverage Metrics for Communication Protocols (STV, JAC), pp. 31–45.

TAV-1991-HorgnaL #c #data flow

Data Flow Coverage and the C Language (JRH, SL), pp. 87–97.

SEKE-1989-ChangCCB #branch #generative #testing

An Intelligent Test Data Generator for Software Branch Coverage (KHC, JHCI, WHC, DBB), pp. 13–18.

ICSE-1989-Weyuker #test coverage

In Defense of Coverage Criteria (EJW), p. 361.

ML-1988-IbaWL #concept #incremental #learning

Trading Off Simplicity and Coverage in Incremental concept Learning (WI, JW, PL), pp. 73–79.

DAC-1986-BarzilaiBHIS #analysis #fault #named #performance #verification

SLS — a fast switch level simulator for verification and fault coverage analysis (ZB, DKB, LMH, VSI, GMS), pp. 164–170.

DAC-1986-MaS #estimation #fault

Mixed-level fault coverage estimation (HKTM, ALSV), pp. 553–559.

ICSE-1985-RamseyB #process #testing #using

Analyzing the Test Process Using Structural Coverage (JR, VRB), pp. 306–312.

DAC-1983-Vida-TorkuR #fault #multi #quality

Quality level and fault coverage for multichip modules (EKVT, CER), pp. 201–206.

DAC-1982-Saluja #fault #generative

An enhancement of lssd to reduce test pattern generation effort and increase fault coverage (KKS), pp. 489–494.

ICSE-1982-Ohba #quality #test coverage

Software Quality = Test Accuracy * Test Coverage (HO), pp. 287–295.

DAC-1981-AgrawalSA #fault #quality

LSI product quality and fault coverage (VDA, SCS, PA), pp. 196–203.