On the public citation graph

A logic mutation approach to selective mutation for programs and queries

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

0 signed · 72 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/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-vopenalex-snapshot

The dynamic domain reduction procedure for test data generation

inferredcites →https://doi.org/10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-uopenalex-snapshot

Automatically detecting equivalent mutants and infeasible paths

inferredcites →https://doi.org/10.1002/(sici)1099-1689(199912)9:4<233::aid-stvr191>3.0.co;2-3openalex-snapshot

Using program slicing to assist in the detection of equivalent mutants

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

Generating test data from state‐based specifications

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

An AGENDA for testing relational database applications

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

MuJava: an automated class mutation system

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

Reconciling perspectives of software logic testing

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

Decreasing the cost of mutation testing with second‐order mutants

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

Full predicate coverage for testing SQL database queries

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

Using compiler optimization techniques to detect equivalent mutants

inferredcites →https://doi.org/10.1016/j.infsof.2006.06.009openalex-snapshot

Mutating database queries

inferredcites →https://doi.org/10.1017/9781108974073.004openalex-snapshot

Introduction to Software Testing

inferredcites →https://doi.org/10.1017/cbo9780511809163openalex-snapshot

Introduction to Software Testing

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

Applicability of modified condition/decision coverage to software testing

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

SQL Test Suite goes online

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

An empirical evaluation of weak mutation

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

Command-Form Coverage for Testing Database Applications

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/cit.2006.51openalex-snapshot

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

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

On Detection Conditions of Double FaultsRelated to Terms in Boolean Expressions

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

An experimental evaluation of selective mutation

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

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

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

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

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

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

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

SQLMutation: A tool to generate mutants of SQL database queries

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

Detecting Double Faults on Term and Literal in Boolean Expressions

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

Constructing Subtle Faults Using Higher Order Mutation Testing

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

Testing Programs with the Aid of a Compiler

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

Weak Mutation Testing and Completeness of Test Sets

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

Using an SQL coverage measurement for testing database applications

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

Using an SQL coverage measurement for testing database applications

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

An extended fault class hierarchy for specification-based testing

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

An intensional approach to the specification of test cases for database applications

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

Investigations of the software testing coupling effect

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

Dynamic test input generation for database applications

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

A detectability analysis of fault classes for Boolean specifications

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

A semantic model of program faults

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

An experimental determination of sufficient mutant operators

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

A semantic model of program faults

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/347324.348954openalex-snapshot

A framework for testing database applications

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

A framework for testing database applications

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

A family of test adequacy criteria for database-driven applications

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

A family of test adequacy criteria for database-driven applications

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

Mutation Analysis.

inferredcites →https://doi.org/10.5555/257572.257597openalex-snapshot

An experimental evaluation of selective mutation

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

An ensemble‐based predictive mutation testing approach that considers impact of unreached mutants

inferred← citeshttps://doi.org/10.1007/978-3-319-00945-2_11openalex-snapshot

A Quality Estimation of Mutation Clustering in C# Programs

inferred← citeshttps://doi.org/10.1007/978-3-319-09940-8_7openalex-snapshot

Mutation-Based Generation of Software Product Line Test Configurations

inferred← citeshttps://doi.org/10.1007/978-3-642-30561-0_5openalex-snapshot

Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs

inferred← citeshttps://doi.org/10.1007/s11219-021-09565-yopenalex-snapshot

MATTER: A tool for generating end-to-end IoT test scripts

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

Exoneration-based fault localization for SQL predicates

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

A systematic mapping study on higher order mutation testing

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

A systematic literature review of techniques and metrics to reduce the cost of mutation testing

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

Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing

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

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

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

Generating Test Data to Distinguish Conjunctive Queries with Equalities

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

Experimental Evaluation of Mutation Testing Approaches to Python Programs

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

MutaLog: A Tool for Mutating Logic Formulas

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

Finding Redundancy in Web Mutation Operators

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

A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results

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

Redefinition of Fault Classes in Logic Expressions

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

Validating Second-Order Mutation at System Level

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

Coverage-Aware Test Database Reduction

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

Automatic Detection and Removal of Ineffective Mutants for the Mutation Analysis of Relational Database Schemas

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

Cost measures matter for mutation testing study validity

inferred← citeshttps://doi.org/10.1155/2016/6589140openalex-snapshot

Mutation Testing Approach to Negative Testing

inferred← citeshttps://doi.org/10.13021/mars/4845openalex-snapshot

Testing Web Applications with Mutation Analysis

inferred← citeshttps://doi.org/10.4018/978-1-6684-9130-0.ch012openalex-snapshot

Sustainable Technology Accessing the Software Product Line (SPL) via Model-Based Mutation

inferred← citeshttps://doi.org/10.5220/0004992102970304openalex-snapshot

Reduction in Mutation Testing of Java Classes

inferred← citeshttps://doi.org/10.70675/be1005f5z66b0z4da8z8c1ezd7f82f4c2effopenalex-snapshot

Analyse des vulnérabilités dans des systèmes embarqués face à des attaques par fuzzing

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.