On the public citation graph

A novel use of equivalent mutants for static anomaly detection in software artifacts

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

0 signed · 69 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)1099-1689(199912)9:4<205::aid-stvr186>3.0.co;2-xopenalex-snapshot

Efficiency of mutation operators and selective mutation strategies: an empirical study

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

Covering and Uncovering Equivalent Mutants

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

Using mutation to assess fault detection capability of model review

inferredcites →https://doi.org/10.1007/11554844_3openalex-snapshot

Feature Models, Grammars, and Propositional Formulas

inferredcites →https://doi.org/10.1007/11562948openalex-snapshot

Automated Technology for Verification and Analysis

inferredcites →https://doi.org/10.1007/3-540-45672-4_31openalex-snapshot

Refactoring: Improving the Design of Existing Code

inferredcites →https://doi.org/10.1007/3-540-63166-6_28openalex-snapshot

Efficient detection of vacuity in ACTL formulas

inferredcites →https://doi.org/10.1007/978-1-4757-5939-6_4openalex-snapshot

The Relationship Between Program Dependence and Mutation Analysis

inferredcites →https://doi.org/10.1007/978-1-4757-5939-6_7openalex-snapshot

Mutation 2000: Uniting the Orthogonal

inferredcites →https://doi.org/10.1007/978-3-319-09940-8_7openalex-snapshot

Mutation-Based Generation of Software Product Line Test Configurations

inferredcites →https://doi.org/10.1007/978-3-319-22183-0openalex-snapshot

Search-Based Software Engineering

inferredcites →https://doi.org/10.1007/978-3-319-22183-0_4openalex-snapshot

Search-Based Refactoring: Metrics Are Not Enough

inferredcites →https://doi.org/10.1007/978-3-540-30476-0_29openalex-snapshot

Mutation Coverage Estimation for Model Checking

inferredcites →https://doi.org/10.1007/978-3-662-44303-3_12openalex-snapshot

Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class

inferredcites →https://doi.org/10.1007/bf00625279openalex-snapshot

Two notions of correctness and their relation to testing

inferredcites →https://doi.org/10.1007/s100090100062openalex-snapshot

Vacuity detection in temporal model checking

inferredcites →https://doi.org/10.1007/s11334-011-0147-2openalex-snapshot

A model advisor for NuSMV specifications

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

Introduction to Software Testing

inferredcites →https://doi.org/10.1023/a:1008978021407openalex-snapshot

Mutation Testing Applied to Estelle Specifications

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

How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions

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

Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering

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

1988. Proceedings., Annual Reliability and Maintainability Symposium,

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

Refactoring improving the design of existing code

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

Mutation Operators for Object-Z Specification

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

Using model checking to generate tests from specifications

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

Reasoning about edits to feature models

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

Towards automated testing and fixing of re-engineered Feature Models

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

Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique

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

Empirical Evaluation of the Statement Deletion Mutation Operator

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

Generating Tests for Detecting Faults in Feature Models

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

The Impact of Equivalent Mutants

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

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

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

Validation of Models and Tests for Constrained Combinatorial Interaction Testing

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

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts

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

Mutation analysis testing for finite state machines

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

Proceedings 12th International Symposium on Software Reliability Engineering

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

Mutation Testing for the New Century

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

An integrated measure of software maintainability

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

A Mutation and Multi-objective Test Data Generation Approach for Feature Testing of Software Product Lines

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

A survey of software refactoring

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

Learning a Metric for Code Readability

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

An Analysis and Survey of the Development of Mutation Testing

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

Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation

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

Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI '91

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

Test conditions for fault classes in Boolean specifications

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

0897915046/International Conference on Software Engineering

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

Visualizing and querying software structures

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

Automated assistance for program restructuring

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

Automatic predicate abstraction of C programs

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

A study of equivalent and stubborn mutation operators using human analysis of equivalence

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

Partial dead code elimination using slicing transformations

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

Deep Parameter Optimisation

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

Fault-based product-line testing

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

Compiler techniques for code compaction

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

The structure and value of modularity in software design

inferredcites →https://doi.org/10.1201/9781420043839openalex-snapshot

The Compiler Design Handbook

inferredcites →https://doi.org/10.5381/jot.2012.11.1.a4openalex-snapshot

Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems.

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-032-26752-8_15openalex-snapshot

Evaluating the Practical Impact of Parallelism in Asmeta

inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.03.015openalex-snapshot

Mutation Testing Advances: An Analysis and Survey

inferred← citeshttps://doi.org/10.1016/j.cosrev.2017.06.001openalex-snapshot

Higher order mutation testing: A Systematic Literature Review

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

Source code optimization using equivalent mutants

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

An experimental and practical study on the equivalent mutant connection: An evolutionary approach

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

Boundary sampling to boost mutation testing for deep learning models

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

Mutation-based analysis of queueing network performance models

inferred← citeshttps://doi.org/10.1109/confluence.2018.8442785openalex-snapshot

Equivalent Mutant Problem and its Problem-Solving Techniques: A Retrospective View

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

Large Language Models for Equivalent Mutant Detection: How Far Are We?

inferred← citeshttps://doi.org/10.14722/fuzzing.2022.23002openalex-snapshot

First, Fuzz the Mutants

inferred← citeshttps://doi.org/10.3390/app13010174openalex-snapshot

Reviewing Automated Analysis of Feature Model Solutions for the Product Configuration

inferred← citeshttps://doi.org/10.3390/electronics13112073openalex-snapshot

Enhancing Code Readability through Automated Consistent Formatting

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.