On the public citation graph

Test case selection strategies based on Boolean specifications‡

0 signed · 71 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.1049/sej.1994.0025openalex-snapshot

Applicability of modified condition/decision coverage to software testing

inferredcites →https://doi.org/10.1080/00029890.1952.11988183openalex-snapshot

The Problem of Simplifying Truth Functions

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

Automatically generating test data from a Boolean specification

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

Theory of fault-based predicate testing for computer programs

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

Condition-based software testing strategies

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

Two test data selection strategies towards testing of Boolean specifications

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

Test generation for Boolean expressions

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

An empirical study on the effectiveness of the greedy MUTP strategy

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

Sensitive test data for logic expressions

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.386openalex-snapshot

Reconciling perspectives of software logic testing

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

Structural coverage criteria for L USTRE /S CADE programs

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

Reducing logic test set size while preserving fault detection

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

inferred← citeshttps://doi.org/10.1007/3-540-48046-3_19openalex-snapshot

Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study

inferred← citeshttps://doi.org/10.1007/978-1-84628-288-1_24openalex-snapshot

End-to-End (E2E) Testing and Evaluation of High-Assurance Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-73230-3_5openalex-snapshot

On Detecting Double Literal Faults in Boolean Expressions

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/s11219-008-9064-5openalex-snapshot

On detecting faults for Boolean expressions

inferred← citeshttps://doi.org/10.1007/s11219-021-09560-3openalex-snapshot

Test input generation from cause–effect graphs

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

Formal Analysis of Coupling Hypothesis for Logical Faults

inferred← citeshttps://doi.org/10.1007/s11432-012-4746-9openalex-snapshot

Comparing logic coverage criteria on test case prioritization

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

Comparison of fault classes in specification-based testing

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.05.030openalex-snapshot

A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions

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.1081/e-ese-120044233openalex-snapshot

Test Case Generation: Specification-Based

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.1093/ietisy/e88-d.12.2691openalex-snapshot

Swiss Cheese Test Case Generation for Web Services Testing

inferred← citeshttps://doi.org/10.1109/access.2020.3025825openalex-snapshot

CTFTP: A Test Case Generation Strategy for General Boolean Expressions Based on Ordered Binary Label-Driven Petri Nets

inferred← citeshttps://doi.org/10.1109/apsec.2017.58openalex-snapshot

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System

inferred← citeshttps://doi.org/10.1109/aswec.2001.948494openalex-snapshot

On the relationships of faults for Boolean specification based testing

inferred← citeshttps://doi.org/10.1109/cit.2006.51openalex-snapshot

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions

inferred← citeshttps://doi.org/10.1109/compsac.2006.63openalex-snapshot

On Detection Conditions of Double FaultsRelated to Terms in Boolean Expressions

inferred← citeshttps://doi.org/10.1109/compsac.2007.91openalex-snapshot

Comparing Fault-based Testing Strategies of General Boolean Specifications

inferred← citeshttps://doi.org/10.1109/icrms.2016.8050052openalex-snapshot

Enhanced-condition-MC/DC: A method for improving MC/DC testing adequacy

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

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing

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.2013.34openalex-snapshot

Oracle-based Regression Test Selection

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/isads.2005.1452016openalex-snapshot

Developing and assuring trustworthy web services

inferred← citeshttps://doi.org/10.1109/itre.2003.1270695openalex-snapshot

Beat: Boolean expression fault-based test case generator

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

Using the incremental approach to generate test sets: a case study

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

Comparing several coverage criteria for detecting faults in logical decisions

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

Comparing several coverage criteria for detecting faults in logical decisions

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

Detecting Double Faults on Term and Literal in Boolean Expressions

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

Towards Selecting Test Data Using Topological Structure of Boolean Expressions

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

Redefinition of Fault Classes in Logic Expressions

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

On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions

inferred← citeshttps://doi.org/10.1109/sose.2005.2openalex-snapshot

A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis

inferred← citeshttps://doi.org/10.1109/tase.2009.52openalex-snapshot

Exploring Topological Structure of Boolean Expressions for Test Data Selection

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

A Comparison of Tabular Expression-Based Testing Strategies

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

Test Case Prioritization Using Lexicographical Ordering

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

Test Case Generation for Boolean Expressions by Cell Covering

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

What Not to Test (For Cyber-Physical Systems)

inferred← citeshttps://doi.org/10.1109/words.2005.51openalex-snapshot

Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems

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

An extended fault class hierarchy for specification-based testing

inferred← citeshttps://doi.org/10.1201/b11321-8openalex-snapshot

Automatic Testing of LUSTRE/SCADE Programs

inferred← citeshttps://doi.org/10.1504/ijcat.2015.071417openalex-snapshot

Review and extension of fault class hierarchy for testing Boolean specification

inferred← citeshttps://doi.org/10.22215/etd/2011-09577openalex-snapshot

A set of approaches to evaluate and address the accuracy problem in intrusion detection systems

inferred← citeshttps://doi.org/10.25916/sut.26255690openalex-snapshot

On detecting double faults related to term and literal in Boolean expression was: detecting double faults related to term and literal

inferred← citeshttps://doi.org/10.25916/sut.26272636openalex-snapshot

Classification and relationship of double faults related to terms in Boolean expression

inferred← citeshttps://doi.org/10.25916/sut.26273095openalex-snapshot

Relationship of double literal faults in Boolean expressions was: the investigation of double faults related to literals

inferred← citeshttps://doi.org/10.25916/sut.26293312openalex-snapshot

Relationship of double faults related to term and literal in Boolean expression was: the investigation of double faults on term and literal

inferred← citeshttps://doi.org/10.5120/15717-4613openalex-snapshot

Fault based Test Suite Prioritization based on Minimal MUMCUT Strategy

inferred← citeshttps://doi.org/10.5121/ijcsa.2014.4404openalex-snapshot

Performance Analysis of Logic Coverage Criteria Using Mumcut and Minimal Mumcut

inferred← citeshttps://doi.org/10.5121/ijcses.2012.3108openalex-snapshot

Fault Based Techniques For Testing Boolean Expressions: A Survey

inferred← citeshttps://doi.org/10.5555/1769168.1769173openalex-snapshot

On detecting double literal faults in Boolean expressions

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.