On the public citation graph
Two notions of correctness and their relation to testing
0 signed · 272 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-07389-2_178openalex-snapshot
Construction of complete sample system for correctness testing
inferredcites →https://doi.org/10.1016/0020-0190(78)90036-4openalex-snapshot
Lindenmayer grammars and symbolic testing
inferredcites →https://doi.org/10.1016/0020-0190(78)90067-4openalex-snapshot
A probabilistic remark on algebraic program testing
inferredcites →https://doi.org/10.1016/s0019-9958(75)90261-2openalex-snapshot
Toward a mathematical theory of inductive inference
inferredcites →https://doi.org/10.1016/s0019-9958(78)90683-6openalex-snapshot
On the complexity of minimum inference of regular sets
inferredcites →https://doi.org/10.1093/comjnl/12.1.28openalex-snapshot
Theory of Recursive Functions and Effective Computability
inferredcites →https://doi.org/10.1093/comjnl/20.3.232openalex-snapshot
Testing programs with finite sets of data
inferredcites →https://doi.org/10.1093/comjnl/23.3.222openalex-snapshot
Research Directions in Software Technology
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/cmpsac.1978.810407openalex-snapshot
Test reliability and software maintenance
inferredcites →https://doi.org/10.1109/tse.1975.6312836openalex-snapshot
Toward a theory of test data selection
inferredcites →https://doi.org/10.1109/tse.1975.6312876openalex-snapshot
Correction to "toward a theory of test data selection"
inferredcites →https://doi.org/10.1109/tse.1976.233812openalex-snapshot
Constructing Programs from Example Computations
inferredcites →https://doi.org/10.1109/tse.1976.233816openalex-snapshot
Reliability of the Path Analysis Testing Strategy
inferredcites →https://doi.org/10.1109/tse.1976.233817openalex-snapshot
A System to Generate Test Data and Symbolically Execute Programs
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.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1109/tse.1980.234486openalex-snapshot
A Domain Strategy for Computer Program Testing
inferredcites →https://doi.org/10.1109/tse.1980.234487openalex-snapshot
Error Sensitive Test Cases Analysis (ESTCA)
inferredcites →https://doi.org/10.1137/0210005openalex-snapshot
On the Selection of Test Data for Recursive Mathematical Subroutines
inferredcites →https://doi.org/10.1145/1110841.1110847openalex-snapshot
Review of "Software Tools, by B. W. Kernighan, P. J. Plauger", Addison-Wesley Publishing Company, 0-201-03669-X
inferredcites →https://doi.org/10.1145/321637.321648openalex-snapshot
On Effective Procedures for Speeding Up Algorithms
inferredcites →https://doi.org/10.1145/356674.356677openalex-snapshot
An Introduction to Proving the Correctness of Programs
inferredcites →https://doi.org/10.1145/359488.359495openalex-snapshot
Test data as an aid in proving program correctness
inferredcites →https://doi.org/10.1145/390016.808424openalex-snapshot
Automated generation of testcase datasets
inferredcites →https://doi.org/10.1145/390016.808473openalex-snapshot
Toward a theory of test data selection
inferredcites →https://doi.org/10.1145/800027.808424openalex-snapshot
Automated generation of testcase datasets
inferredcites →https://doi.org/10.13182/nse70-a19706openalex-snapshot
Formal Languages and their Relation to Automata
inferredcites →https://doi.org/10.21236/ada071795openalex-snapshot
Heuristics for Determining Equivalence of Program Mutations.
inferredcites →https://doi.org/10.2307/2316720openalex-snapshot
Theory of Recursive Functions and Effective Computability.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119880929.ch1openalex-snapshot
Software Fault Localization: an Overview of Research, Techniques, and Tools
inferred← citeshttps://doi.org/10.1002/spe.2629openalex-snapshot
Evolutionary mutation testing for IoT with recorded and generated events
inferred← citeshttps://doi.org/10.1002/stvr.1473openalex-snapshot
Covering and Uncovering Equivalent Mutants
inferred← citeshttps://doi.org/10.1002/stvr.1529openalex-snapshot
Employing second‐order mutation for isolating first‐order equivalent mutants
inferred← citeshttps://doi.org/10.1002/stvr.1630openalex-snapshot
Assessment of C++ object‐oriented mutation operators: A selective mutation approach
inferred← citeshttps://doi.org/10.1002/stvr.1675openalex-snapshot
A systematic literature review of how mutation testing supports quality assurance processes
inferred← citeshttps://doi.org/10.1002/stvr.1789openalex-snapshot
Assessing test suites of extended finite state machines against model‐ and code‐based faults
inferred← citeshttps://doi.org/10.1002/stvr.1905openalex-snapshot
A Systematic Exploration of Mutation‐Based Fault Localization Formulae
inferred← citeshttps://doi.org/10.1002/stvr.4370020204openalex-snapshot
Inductive inference and software testing
inferred← citeshttps://doi.org/10.1002/stvr.4370040303openalex-snapshot
Using compiler optimization techniques to detect equivalent mutants
inferred← citeshttps://doi.org/10.1002/stvr.70004openalex-snapshot
Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification
inferred← citeshttps://doi.org/10.1007/10720327_15openalex-snapshot
Verification by Testing for Recursive Program Schemes
inferred← citeshttps://doi.org/10.1007/3-540-15199-0_17openalex-snapshot
Application of PROLOG to test sets generation from algebraic specifications
inferred← citeshttps://doi.org/10.1007/3-540-27071-x_12openalex-snapshot
A Methodology of Component Integration Testing
inferred← citeshttps://doi.org/10.1007/978-1-4684-5862-6_37openalex-snapshot
Verification and Validation of Reusable ADA Components
inferred← citeshttps://doi.org/10.1007/978-1-4757-5939-6_7openalex-snapshot
Mutation 2000: Uniting the Orthogonal
inferred← citeshttps://doi.org/10.1007/978-3-030-29157-0_1openalex-snapshot
Using Semantic Metrics to Predict Mutation Equivalence
inferred← citeshttps://doi.org/10.1007/978-3-030-52991-8_4openalex-snapshot
Quantitative Analysis of Mutant Equivalence
inferred← citeshttps://doi.org/10.1007/978-3-030-66494-7_11openalex-snapshot
Mutation Testing for RoboChart
inferred← citeshttps://doi.org/10.1007/978-3-319-39639-2_9openalex-snapshot
Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-47443-4_8openalex-snapshot
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
inferred← citeshttps://doi.org/10.1007/978-3-319-68972-2_11openalex-snapshot
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-96562-8_4openalex-snapshot
Testing Functional Black-Box Programs Without a Specification
inferred← citeshttps://doi.org/10.1007/978-3-540-39724-3_11openalex-snapshot
Coverage Metrics for Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-34781-8_16openalex-snapshot
Learning-Based Software Testing: A Tutorial
inferred← citeshttps://doi.org/10.1007/bf00122083openalex-snapshot
The incorporation of testing into formal verification: Direct, modular, and hierarchical correctness degrees
inferred← citeshttps://doi.org/10.1007/s10009-004-0175-4openalex-snapshot
Coverage metrics for formal verification
inferred← citeshttps://doi.org/10.1007/s10586-023-04074-yopenalex-snapshot
Parallel mutation testing for large scale systems
inferred← citeshttps://doi.org/10.1007/s10664-017-9582-5openalex-snapshot
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults
inferred← citeshttps://doi.org/10.1007/s10664-019-09778-7openalex-snapshot
Selecting fault revealing mutants
inferred← citeshttps://doi.org/10.1007/s10664-022-10138-1openalex-snapshot
On the use of commit-relevant mutants
inferred← citeshttps://doi.org/10.1007/s10664-022-10255-xopenalex-snapshot
Automated test generation for Scratch programs
inferred← citeshttps://doi.org/10.1007/s10710-013-9195-8openalex-snapshot
Software mutational robustness
inferred← citeshttps://doi.org/10.1016/0022-0000(89)90002-0openalex-snapshot
Automatic generation of test data for relational queries
inferred← citeshttps://doi.org/10.1016/0164-1212(86)90004-xopenalex-snapshot
Test sets generation from algebraic specifications using logic programming
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.03.001openalex-snapshot
Semantic similarity-based grading of student programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2011.12.001openalex-snapshot
On generating mutants for AspectJ programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.02.004openalex-snapshot
Mutation based test case generation via a path selection strategy
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.07.009openalex-snapshot
MEDIC: A static analysis framework for equivalent mutant identification
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.01.019openalex-snapshot
A novel use of equivalent mutants for static anomaly detection in software artifacts
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.106496openalex-snapshot
Identifying method-level mutation subsumption relations using Z3
inferred← citeshttps://doi.org/10.1016/j.jss.2016.07.001openalex-snapshot
A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2018.03.010openalex-snapshot
Model-based mutant equivalence detection using automata language equivalence and simulations
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.1016/j.jss.2021.110905openalex-snapshot
Fast and accurate incremental feedback for students’ software tests using selective mutation analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111039openalex-snapshot
The ratio of equivalent mutants: A key to analyzing mutation equivalence
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111385openalex-snapshot
Mutation-based analysis of queueing network performance models
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112352openalex-snapshot
Enhancing concurrency vulnerability detection through AST-based static fuzz mutation
inferred← citeshttps://doi.org/10.1016/j.scico.2014.05.012openalex-snapshot
Mitigating the effects of equivalent mutants with mutant classification strategies
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103234openalex-snapshot
Assessing the coverage of W-based conformance testing methods over code faults
inferred← citeshttps://doi.org/10.1017/9781108974073.004openalex-snapshot
Introduction to Software Testing
inferred← citeshttps://doi.org/10.1023/a:1023772729494openalex-snapshot
Selection and Evaluation of Test Data Based on Genetic Programming
inferred← citeshttps://doi.org/10.1108/dta-03-2020-0073openalex-snapshot
An error-propagation aware method to reduce the software mutation cost using genetic algorithm
inferred← citeshttps://doi.org/10.1108/dta-08-2019-0140openalex-snapshot
Mutation reduction in software mutation testing using firefly optimization algorithm
inferred← citeshttps://doi.org/10.1109/12.142681openalex-snapshot
Estimation and enhancement of real-time software reliability through mutation analysis
inferred← citeshttps://doi.org/10.1109/32.232020openalex-snapshot
An analysis of test data selection criteria using the RELAY model of fault detection
inferred← citeshttps://doi.org/10.1109/32.24727openalex-snapshot
Perturbation techniques for detecting domain errors
inferred← citeshttps://doi.org/10.1109/32.910859openalex-snapshot
Interface Mutation: an approach for integration testing
inferred← citeshttps://doi.org/10.1109/32.92910openalex-snapshot
Constraint-based automatic test data generation
inferred← citeshttps://doi.org/10.1109/access.2018.2883776openalex-snapshot
Domain-RIP Analysis: A Technique for Analyzing Mutation Stubbornness
inferred← citeshttps://doi.org/10.1109/aero.2006.1656028openalex-snapshot
Coverall Algorithm for Test Case Reduction
inferred← citeshttps://doi.org/10.1109/apsec.2010.42openalex-snapshot
Evaluating Mutation Testing Alternatives: A Collateral Experiment
inferred← citeshttps://doi.org/10.1109/apsec.2013.34openalex-snapshot
Identifying More Equivalent Mutants via Code Similarity
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00127openalex-snapshot
Sifting Truth from Coincidences: A Two-Stage Positive and Unlabeled Learning Model for Coincidental Correctness Detection
inferred← citeshttps://doi.org/10.1109/cec.2013.6557654openalex-snapshot
A coevolutionary algorithm to automatic test case selection and mutant in Mutation Testing
inferred← citeshttps://doi.org/10.1109/cmpass.1990.175398openalex-snapshot
Using symbolic execution to aid automatic test data generation
inferred← citeshttps://doi.org/10.1109/cmpass.1996.507890openalex-snapshot
Detecting equivalent mutants and the feasible path problem
inferred← citeshttps://doi.org/10.1109/cmpsac.2001.960614openalex-snapshot
Fault-based testing in the absence of an oracle
inferred← citeshttps://doi.org/10.1109/compsac57700.2023.00109openalex-snapshot
Identifying Coincidental Correct Test Cases with Multiple Features Extraction for Fault Localization
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.1109/csci51800.2020.00331openalex-snapshot
Automated Estimation of the Rate of Equivalent Mutants
inferred← citeshttps://doi.org/10.1109/educon.2016.7474690openalex-snapshot
Towards a framework for mining students' programming assignments
inferred← citeshttps://doi.org/10.1109/esem.2007.22openalex-snapshot
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
inferred← citeshttps://doi.org/10.1109/esem.2007.24openalex-snapshot
Evaluating the Impact of Adaptive Maintenance Process on Open Source Software Quality
inferred← citeshttps://doi.org/10.1109/fit.2012.15openalex-snapshot
Control Oriented Mutation Testing for Detection of Potential Software Bugs
inferred← citeshttps://doi.org/10.1109/hase.2000.895434openalex-snapshot
Constructions of behaviour observation schemes in software testing
inferred← citeshttps://doi.org/10.1109/ibcast.2019.8667222openalex-snapshot
Improving test adequacy assessment by novel JavaScript mutation operators
inferred← citeshttps://doi.org/10.1109/icaiset66439.2026.11541746openalex-snapshot
LLM-Augmented Mutation Testing: Intelligent Generation and Triage of Mutants
inferred← citeshttps://doi.org/10.1109/iccke.2017.8167900openalex-snapshot
EMVille: A gamification-based approach to address the equivalent mutant problem
inferred← citeshttps://doi.org/10.1109/icse-c.2017.45openalex-snapshot
Advancing Energy Testing of Mobile Applications
inferred← citeshttps://doi.org/10.1109/icse.1989.714449openalex-snapshot
Test Adequacy And Program Mutation
inferred← citeshttps://doi.org/10.1109/icse.2005.1553583openalex-snapshot
Is mutation an appropriate tool for testing experiments?
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1109/icse.2017.68openalex-snapshot
Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation Testing Game
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00086openalex-snapshot
MuDelta: Delta-Oriented Mutation Testing at Commit Time
inferred← citeshttps://doi.org/10.1109/icsi.1990.138735openalex-snapshot
An integrated system for automatically generating test data
inferred← citeshttps://doi.org/10.1109/icsme46990.2020.00045openalex-snapshot
Commit-Aware Mutation Testing
inferred← citeshttps://doi.org/10.1109/icst.2010.30openalex-snapshot
(Un-)Covering Equivalent Mutants
inferred← citeshttps://doi.org/10.1109/icst.2012.160openalex-snapshot
Isolating First Order Equivalent Mutants via Second Order Mutation
inferred← citeshttps://doi.org/10.1109/icst.2013.23openalex-snapshot
Efficient JavaScript Mutation Testing
inferred← citeshttps://doi.org/10.1109/icst.2013.77openalex-snapshot
Leveraging Light-Weight Analyses to Aid Software Maintenance
inferred← citeshttps://doi.org/10.1109/icst.2015.7102617openalex-snapshot
Test Suite Quality Assessment Using Model Inference Techniques
inferred← citeshttps://doi.org/10.1109/icst.2016.22openalex-snapshot
A Theoretical Framework for Understanding Mutation-Based Testing Methods
inferred← citeshttps://doi.org/10.1109/icst.2017.30openalex-snapshot
Uncertainty-Driven Black-Box Test Data Generation
inferred← citeshttps://doi.org/10.1109/icst.2017.47openalex-snapshot
Assessing and Improving the Mutation Testing Practice of PIT
inferred← citeshttps://doi.org/10.1109/icst.2019.00021openalex-snapshot
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00029openalex-snapshot
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
inferred← citeshttps://doi.org/10.1109/icstw.2011.47openalex-snapshot
An Analysis of OO Mutation Operators
inferred← citeshttps://doi.org/10.1109/icstw.2011.55openalex-snapshot
Test Case Generation from Mutants Using Model Checking Techniques
inferred← citeshttps://doi.org/10.1109/icstw.2014.21openalex-snapshot
Using Data Flow Patterns for Equivalent Mutant Detection
inferred← citeshttps://doi.org/10.1109/icstw.2015.7107449openalex-snapshot
Mutation testing of memory-related operators
inferred← citeshttps://doi.org/10.1109/icstw.2016.43openalex-snapshot
Code Defenders: A Mutation Testing Game
inferred← citeshttps://doi.org/10.1109/icstw.2017.26openalex-snapshot
Applying Mutation Analysis on Kernel Test Suites: An Experience Report
inferred← citeshttps://doi.org/10.1109/icstw.2017.32openalex-snapshot
Are Deletion Mutants Easier to Identify Manually?
inferred← citeshttps://doi.org/10.1109/icstw.2017.70openalex-snapshot
Towards a Gamified Equivalent Mutants Detection Platform
inferred← citeshttps://doi.org/10.1109/icstw.2019.00039openalex-snapshot
Estimating the Number of Equivalent Mutants
inferred← citeshttps://doi.org/10.1109/icstw50294.2020.00052openalex-snapshot
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing
inferred← citeshttps://doi.org/10.1109/icstw50294.2020.00056openalex-snapshot
A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants
inferred← citeshttps://doi.org/10.1109/icstw58534.2023.00074openalex-snapshot
An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00052openalex-snapshot
An Empirical Evaluation of Manually Created Equivalent Mutants
inferred← citeshttps://doi.org/10.1109/ispcc.2017.8269753openalex-snapshot
Fault localization in software testing using soft computing approaches
inferred← citeshttps://doi.org/10.1109/issre.2015.7381815openalex-snapshot
How hard does mutation analysis have to be, anyway?
inferred← citeshttps://doi.org/10.1109/issre.2016.51openalex-snapshot
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level
inferred← citeshttps://doi.org/10.1109/qsic.2014.26openalex-snapshot
The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis
inferred← citeshttps://doi.org/10.1109/raise.2015.11openalex-snapshot
Black-Box Test Generation from Inferred Models
inferred← citeshttps://doi.org/10.1109/rme.2008.4595747openalex-snapshot
On the validation of embedded systems through functional ATPG
inferred← citeshttps://doi.org/10.1109/sate.2016.19openalex-snapshot
Identify Coincidental Correct Test Cases Based on Fuzzy Classification
inferred← citeshttps://doi.org/10.1109/scam.2016.28openalex-snapshot
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study
inferred← citeshttps://doi.org/10.1109/sera54885.2022.9806786openalex-snapshot
Using Metamorphic Relations to Improve The Effectiveness of Automatically Generated Test Cases
inferred← citeshttps://doi.org/10.1109/sera65747.2025.11154529openalex-snapshot
Introducing Ensemble Machine Learning Algorithms for Automatic Test Case Generation using Learning Based Testing
inferred← citeshttps://doi.org/10.1109/tcad.2019.2912919openalex-snapshot
Online Firmware Functional Validation Scheme Using Colored Petri Net Model
inferred← citeshttps://doi.org/10.1109/tr.2022.3165126openalex-snapshot
Theoretical Analysis and Empirical Study on the Impact of Coincidental Correct Test Cases in Multiple Fault Localization
inferred← citeshttps://doi.org/10.1109/tse.1983.235433openalex-snapshot
A Mathematical Framework for the Investigation of Testing
inferred← citeshttps://doi.org/10.1109/tse.1986.6313016openalex-snapshot
A functional approach to program testing and analysis
inferred← citeshttps://doi.org/10.1109/tse.1987.233489openalex-snapshot
A Recursion Theoretic Approach to Program Testing
inferred← citeshttps://doi.org/10.1109/tse.2004.79openalex-snapshot
Assessing and improving state-based class testing: a series of experiments
inferred← citeshttps://doi.org/10.1109/tse.2006.83openalex-snapshot
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
inferred← citeshttps://doi.org/10.1109/tse.2010.32openalex-snapshot
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments
inferred← citeshttps://doi.org/10.1109/tse.2010.62openalex-snapshot
An Analysis and Survey of the Development of Mutation Testing
inferred← citeshttps://doi.org/10.1109/tse.2012.39openalex-snapshot
Validating Second-Order Mutation at System Level
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1109/tse.2014.2371458openalex-snapshot
Guided Mutation Testing for JavaScript Web Applications
inferred← citeshttps://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferred← citeshttps://doi.org/10.1109/tse.2017.2684805openalex-snapshot
Detecting Trivial Mutant Equivalences via Compiler Optimisations
inferred← citeshttps://doi.org/10.1109/tse.2017.2732347openalex-snapshot
A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion
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.1109/tse.2021.3107680openalex-snapshot
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
inferred← citeshttps://doi.org/10.1109/tse.2022.3140510openalex-snapshot
Cerebro: Static Subsuming Mutant Selection
inferred← citeshttps://doi.org/10.1142/s021819402050028xopenalex-snapshot
Investigating the Relationship Between Mutants and Real Faults with Respect to Mutated Code
inferred← citeshttps://doi.org/10.1142/s021819402150011xopenalex-snapshot
Investigating Different Metrics for Evaluation and Selection of Mutation Operators for Java
inferred← citeshttps://doi.org/10.1142/s0218194022500322openalex-snapshot
Equivalent Mutants Detection Based on Weighted Software Behavior Graph
inferred← citeshttps://doi.org/10.1145/1007512.1007532openalex-snapshot
Automated black-box testing of functional correctness using function approximation
inferred← citeshttps://doi.org/10.1145/1013886.1007532openalex-snapshot
Automated black-box testing of functional correctness using function approximation
inferred← citeshttps://doi.org/10.1145/1062455.1062530openalex-snapshot
Is mutation an appropriate tool for testing experiments?
inferred← citeshttps://doi.org/10.1145/1138929.1138945openalex-snapshot
The class-level mutants of MuJava
inferred← citeshttps://doi.org/10.1145/125489.125473openalex-snapshot
Investigations of the software testing coupling effect
inferred← citeshttps://doi.org/10.1145/1352582.1352588openalex-snapshot
What causes a system to satisfy a specification?
inferred← citeshttps://doi.org/10.1145/151257.151258openalex-snapshot
Experimental results from an automatic test case generator
inferred← citeshttps://doi.org/10.1145/154183.154265openalex-snapshot
Mutation analysis using mutant schemata
inferred← citeshttps://doi.org/10.1145/1566445.1566540openalex-snapshot
On reduced neighborhood mutation analysis using a single mutagenic operator
inferred← citeshttps://doi.org/10.1145/167049.167074openalex-snapshot
Test case generation by means of learning techniques
inferred← citeshttps://doi.org/10.1145/174146.154265openalex-snapshot
Mutation analysis using mutant schemata
inferred← citeshttps://doi.org/10.1145/1806799.1806862openalex-snapshot
From behaviour preservation to behaviour modification
inferred← citeshttps://doi.org/10.1145/200836.200880openalex-snapshot
Designing programs that check their work
inferred← citeshttps://doi.org/10.1145/226295.226317openalex-snapshot
A semantic model of program faults
inferred← citeshttps://doi.org/10.1145/227607.227610openalex-snapshot
An experimental determination of sufficient mutant operators
inferred← citeshttps://doi.org/10.1145/227607.227611openalex-snapshot
Testing by means of inductive program learning
inferred← citeshttps://doi.org/10.1145/229000.226317openalex-snapshot
A semantic model of program faults
inferred← citeshttps://doi.org/10.1145/2480362.2480592openalex-snapshot
Mutation testing strategies using mutant classification
inferred← citeshttps://doi.org/10.1145/256428.167074openalex-snapshot
Test case generation by means of learning techniques
inferred← citeshttps://doi.org/10.1145/2568225.2568265openalex-snapshot
A study of equivalent and stubborn mutation operators using human analysis of equivalence
inferred← citeshttps://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferred← citeshttps://doi.org/10.1145/2676585.2676617openalex-snapshot
Applying the meta-heuristic algorithms for mutation-based test data generation for Simulink models
inferred← citeshttps://doi.org/10.1145/2931037.2931040openalex-snapshot
Threats to the validity of mutation-based test assessment
inferred← citeshttps://doi.org/10.1145/2931037.2931059openalex-snapshot
Analyzing test completeness for dynamic languages
inferred← citeshttps://doi.org/10.1145/2950290.2983970openalex-snapshot
Combining bug detection and test case generation
inferred← citeshttps://doi.org/10.1145/3106237.3106244openalex-snapshot
µDroid: an energy-aware mutation testing framework for Android
inferred← citeshttps://doi.org/10.1145/3106237.3106280openalex-snapshot
The care and feeding of wild-caught mutants
inferred← citeshttps://doi.org/10.1145/3129173.3129180openalex-snapshot
Some ways of thinking algorithmically about impossibility
inferred← citeshttps://doi.org/10.1145/3168365.3168379openalex-snapshot
Equivalent Mutants in Configurable Systems
inferred← citeshttps://doi.org/10.1145/3356317.3356323openalex-snapshot
An Evaluation of Internal Program Metrics as Predictors of Mutation Operator Score
inferred← citeshttps://doi.org/10.1145/3368089.3409742openalex-snapshot
Cost measures matter for mutation testing study validity
inferred← citeshttps://doi.org/10.1145/3387903.3389319openalex-snapshot
Validating Test Case Migration via Mutation Analysis
inferred← citeshttps://doi.org/10.1145/3439961.3439981openalex-snapshot
Reducing the Cost of Mutation Testing with the Use of Primitive Arcs Concept
inferred← citeshttps://doi.org/10.1145/3460319.3464808openalex-snapshot
Interval constraint-based mutation testing of numerical specifications
inferred← citeshttps://doi.org/10.1145/3555228.3555233openalex-snapshot
Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing
inferred← citeshttps://doi.org/10.1145/3611643.3616362openalex-snapshot
𝜇Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs
inferred← citeshttps://doi.org/10.1145/3644815.3644946openalex-snapshot
Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs
inferred← citeshttps://doi.org/10.1145/3744916.3787816openalex-snapshot
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
inferred← citeshttps://doi.org/10.1145/3798251openalex-snapshot
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
inferred← citeshttps://doi.org/10.1145/3805038openalex-snapshot
A Comprehensive Study on Large Language Models for Mutation Testing
inferred← citeshttps://doi.org/10.1145/3808156openalex-snapshot
Boosting LLMs for Mutation Generation
inferred← citeshttps://doi.org/10.1145/3832783.3834347openalex-snapshot
Quick Bug Detection through Black-Box Checking
inferred← citeshttps://doi.org/10.1145/73007.73015openalex-snapshot
Designing programs that check their work
inferred← citeshttps://doi.org/10.1145/74587.74634openalex-snapshot
Completely validated software: test adequacy and program mutation (panel session)
inferred← citeshttps://doi.org/10.1155/2014/197983openalex-snapshot
Mutation Analysis Approach to Develop Reliable Object-Oriented Software
inferred← citeshttps://doi.org/10.11606/d.100.2018.tde-21122017-180309openalex-snapshot
TAIGA: uma abordagem para geração de dados de teste por meio de algoritmo genético para programas de processamento de imagens
inferred← citeshttps://doi.org/10.11606/d.55.2009.tde-08062009-105244openalex-snapshot
Uma estratégia para a minimização de máquinas de estados finitos parciais
inferred← citeshttps://doi.org/10.11606/d.55.2022.tde-14072022-162044openalex-snapshot
Uma abordagem para identificação de mutantes minimais e equivalentes baseada na estrutura do código fonte
inferred← citeshttps://doi.org/10.11606/t.55.2013.tde-06012014-150025openalex-snapshot
Toward harnessing a Java high-level language virtual machine for supporting software testing
showing the first 200 of 238 · page through all 238
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.