On the public citation graph

Comparison of fault classes in specification-based testing

https://doi.org/10.1016/j.infsof.2003.10.003

0 signed · 55 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.221openalex-snapshot

Test case selection strategies based on Boolean specifications‡

inferredcites →https://doi.org/10.1016/0096-0551(85)90011-6openalex-snapshot

Program testing by specification mutation

inferredcites →https://doi.org/10.1049/sej.1994.0025openalex-snapshot

Applicability of modified condition/decision coverage to software testing

inferredcites →https://doi.org/10.1093/comjnl/35.6.574openalex-snapshot

A Technique for Analyzing the Effects of Changes in Formal Specifications

inferredcites →https://doi.org/10.1109/32.232020openalex-snapshot

An analysis of test data selection criteria using the RELAY model of fault detection

inferredcites →https://doi.org/10.1109/32.24727openalex-snapshot

Perturbation techniques for detecting domain errors

inferredcites →https://doi.org/10.1109/32.286420openalex-snapshot

Automatically generating test data from a Boolean specification

inferredcites →https://doi.org/10.1109/32.317428openalex-snapshot

Requirements specification for process-control systems

inferredcites →https://doi.org/10.1109/32.41326openalex-snapshot

A formal evaluation of data flow path selection criteria

inferredcites →https://doi.org/10.1109/32.536956openalex-snapshot

Theory of fault-based predicate testing for computer programs

inferredcites →https://doi.org/10.1109/32.92910openalex-snapshot

Constraint-based automatic test data generation

inferredcites →https://doi.org/10.1109/ase.2000.873653openalex-snapshot

Mutation operators for specifications

inferredcites →https://doi.org/10.1109/aswec.2001.948494openalex-snapshot

On the relationships of faults for Boolean specification based testing

inferredcites →https://doi.org/10.1109/c-m.1978.218136openalex-snapshot

Hints on Test Data Selection: Help for the Practicing Programmer

inferredcites →https://doi.org/10.1109/iceccs.1999.802856openalex-snapshot

Criteria for generating specification-based tests

inferredcites →https://doi.org/10.1109/tse.1975.6312836openalex-snapshot

Toward a theory of test data selection

inferredcites →https://doi.org/10.1109/tse.1980.234487openalex-snapshot

Error Sensitive Test Cases Analysis (ESTCA)

inferredcites →https://doi.org/10.1137/0124014openalex-snapshot

Boolean Difference Calculus and Fault Finding

inferredcites →https://doi.org/10.1145/226295.226317openalex-snapshot

A semantic model of program faults

inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot

Software unit test coverage and adequacy

inferredcites →https://doi.org/10.1145/322993.322996openalex-snapshot

Fault classes and error detection capability of specification-based testing

inferredcites →https://doi.org/10.1145/390016.808473openalex-snapshot

Toward a theory of test data selection

inferredcites →https://doi.org/10.1145/504087.504089openalex-snapshot

On fault classes and error detection capability of specification-based testing

inferredcites →https://doi.org/10.21236/ada143533openalex-snapshot

A Theory of Error-Based Testing.

inferredcites →https://doi.org/10.6028/nist.ir.6140openalex-snapshot

Fault classes and error detection in specification based testing

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/stvr.306openalex-snapshot

A formal analysis of MCDC and RCDC test criteria

inferred← citeshttps://doi.org/10.1002/stvr.442openalex-snapshot

Reducing logic test set size while preserving fault detection

inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_18openalex-snapshot

Automated Test Generation and Verified Software

inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_11openalex-snapshot

Using Model Checking to Generate Fault Detecting Tests

inferred← citeshttps://doi.org/10.1007/s00165-013-0279-2openalex-snapshot

Test-data generation for control coverage by proof

inferred← citeshttps://doi.org/10.1007/s11334-006-0002-zopenalex-snapshot

Formal Analysis of Coupling Hypothesis for Logical Faults

inferred← citeshttps://doi.org/10.1016/j.infsof.2006.06.009openalex-snapshot

Mutating database queries

inferred← citeshttps://doi.org/10.1016/j.infsof.2011.06.008openalex-snapshot

Generating minimal fault detecting test suites for general Boolean specifications

inferred← citeshttps://doi.org/10.1016/j.infsof.2011.09.005openalex-snapshot

Fault-based test suite prioritization for specification-based testing

inferred← citeshttps://doi.org/10.1016/j.jss.2005.08.016openalex-snapshot

Automatic generation of test cases from Boolean specifications using the MUMCUT strategy

inferred← citeshttps://doi.org/10.1080/09720529.2008.10698211openalex-snapshot

Generation of mutants for boolean expression

inferred← citeshttps://doi.org/10.1093/comjnl/bxu055openalex-snapshot

Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments

inferred← citeshttps://doi.org/10.1109/icct.2011.6157962openalex-snapshot

A model guided security vulnerability discovery approach for network protocol implementation

inferred← citeshttps://doi.org/10.1109/icst.2009.14openalex-snapshot

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection

inferred← citeshttps://doi.org/10.1109/icst.2012.144openalex-snapshot

Effectiveness of Pair-Wise Testing for Software with Boolean Inputs

inferred← citeshttps://doi.org/10.1109/icstw.2009.13openalex-snapshot

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection

inferred← citeshttps://doi.org/10.1109/icstw.2010.51openalex-snapshot

Generating Minimal Fault Detecting Test Suites for Boolean Expressions

inferred← citeshttps://doi.org/10.1109/icstw.2015.7107452openalex-snapshot

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts

inferred← citeshttps://doi.org/10.1109/qsic.2012.41openalex-snapshot

Redefinition of Fault Classes in Logic Expressions

inferred← citeshttps://doi.org/10.1109/safeconfig.2011.6111679openalex-snapshot

Vulnerability hierarchies in access control configurations

inferred← citeshttps://doi.org/10.1109/tse.2011.78openalex-snapshot

A Comparison of Tabular Expression-Based Testing Strategies

inferred← citeshttps://doi.org/10.1145/1134285.1134469openalex-snapshot

A new approach for software testability analysis

inferred← citeshttps://doi.org/10.1145/1243987.1243988openalex-snapshot

Test conditions for fault classes in Boolean specifications

inferred← citeshttps://doi.org/10.1145/1363686.1363874openalex-snapshot

A detectability analysis of fault classes for Boolean specifications

inferred← citeshttps://doi.org/10.1145/2000791.2000797openalex-snapshot

A revisit of fault class hierarchies in general boolean specifications

inferred← citeshttps://doi.org/10.1145/2245276.2231963openalex-snapshot

Fault class prioritization in Boolean expressions

inferred← citeshttps://doi.org/10.48550/arxiv.1002.0678openalex-snapshot

FORMT: Form-based Mutation Testing of Logical Specifications

inferred← citeshttps://doi.org/10.5120/2904-3813openalex-snapshot

Unified System Level Fault Modeling and Fault Propagation

inferred← citeshttps://doi.org/10.6028/nist.ir.8151openalex-snapshot

Dramatically reducing software vulnerabilities: Report to the White House Office of Science and Technology Policy

inferred← citeshttps://doi.org/10.7763/ijet.2009.v1.88openalex-snapshot

Toward A Theory of Test Case Reduction in Specification Based Software Testing

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.