32 papers:
REFSQ-2015-TenbergenWP #validation- Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations (BT, TW, KP), pp. 17–32.
SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing- An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
ISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web- Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
- ISSTA-2014-MirzaAghaeiM #test coverage #testing #web
- DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
ICST-2013-CzemerinskiBU #abstraction #behaviour #black box- Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
- ICST-2012-BlancoTS #approach #evaluation #interactive #test coverage #testing
- Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach (RB, JT, RVS), pp. 71–80.
FoSSaCS-2011-Hoshino #functional #linear #programming language- A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
ICTSS-2011-Walkinshaw #black box #specification #test coverage #testing- Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
ASE-2008-StaatsDRHW #named #requirements- ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (MS, WD, AR, MPEH, KW), pp. 499–500.
FSE-2008-LaiCC #control flow #data flow #test coverage #testing- Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.
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.
EDOC-2007-TapiaDE #maturity #validation- Validating Adequacy and Suitability of Business-IT Alignment Criteria in an Inter-Enterprise Maturity Model 202 (RST, MD, PvE), pp. 202–213.
- SEKE-2007-FiondellaG #modelling #parametricity #reliability
- Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.
ESEC-FSE-2007-KosterK #behaviour #test coverage #testing- State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.
- ASE-2006-Rajan #black box #metric #testing
- Coverage Metrics to Measure Adequacy of Black-Box Test Suites (AR), pp. 335–338.
- FSE-2006-RutherfordCW #distributed #test coverage #testing
- Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
- ESEC-FSE-2003-KapfhammerS #product line #test coverage #testing
- A family of test adequacy criteria for database-driven applications (GMK, MLS), pp. 98–107.
LICS-2002-Simpson #modelling #recursion #set- Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory (AKS), pp. 287–298.
- FoSSaCS-2001-PlotkinP #algebra
- Adequacy for Algebraic Effects (GDP, JP), pp. 1–24.
ICEIS-v2-2001-ShishkovD #analysis #case study #diagrams #modelling #process- Analysis of Suitability, Appropriateness and Adequacy of Use Cases Combined with Activity Diagram for Business Systems Modelling (BS, JLGD), pp. 854–858.
TOOLS-USA-2000-GhoshM #component #interface #testing- Interface Mutation to Assess the Adequacy of Tests for Components and Systems (SG, APM), p. 37–?.
CSL-1998-Simpson- Computational Adequacy in an Elementary Topos (AKS), pp. 323–342.
AdaEurope-1994-SevestreB #ada #generative #multi #operating system #thread- Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
- ICSE-1994-HutchinsFGO #effectiveness #test coverage #testing
- Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria (MH, HF, TG, TJO), pp. 191–200.
LFP-1992-TannenS #abstraction #on the- On Extending Computational Adequacy by Data Abstraction (VT, RS), pp. 161–169.
- TOOLS-USA-1991-RosuelGD #c++ #concept #re-engineering
- C++ Adequacy for Software Engineering Concepts (GR, JLG, AD), pp. 141–152.
- TAV-1991-FranklW #comparison #effectiveness
- An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria (PGF, SNW), pp. 154–164.
- TAV-1991-OstrandW #analysis #data flow #pointer #test coverage #testing
- Data Flow-Based Test Adequacy Analysis for Languages with Pointers (TJO, EJW), pp. 74–86.
ESOP-1990-SchnoebelenP #logic #on the- On the Weak Adequacy of Branching-Time Remporal Logic (PS, SP), pp. 377–388.
- ICSE-1989-DeMillo #test coverage #testing
- Test Adequacy and Program Mutation (RAD), pp. 355–356.
NACLP-1989-MadanPS #lisp #on the #prolog- On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns (VSM, CJP, GSS), pp. 888–906.
POPL-1988-HorwitzPR88a #dependence #graph #on the #representation #source code- On the Adequacy of Program Dependence Graphs for Representing Programs (SH, JP, TWR), pp. 146–157.
