On the public citation graph
Formal mutation testing for
0 signed · 88 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.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.352openalex-snapshot
Heuristics for fault diagnosis when testing from finite state machines
inferredcites →https://doi.org/10.1002/stvr.396openalex-snapshot
Transition covering tests for systems with queues
inferredcites →https://doi.org/10.1002/stvr.402openalex-snapshot
Testing with model checkers: a survey
inferredcites →https://doi.org/10.1007/11562436_16openalex-snapshot
An Improved Conformance Testing Method
inferredcites →https://doi.org/10.1007/11589976openalex-snapshot
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
inferredcites →https://doi.org/10.1007/11693017_24openalex-snapshot
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
inferredcites →https://doi.org/10.1007/3-540-36103-0_48openalex-snapshot
Specification-Based Test Generation for Security-Critical Systems Using Mutations
inferredcites →https://doi.org/10.1007/3-540-61042-1_42openalex-snapshot
Test generation with inputs, outputs, and quiescence
inferredcites →https://doi.org/10.1007/978-1-4613-9685-7openalex-snapshot
Programming with Specifications
inferredcites →https://doi.org/10.1007/978-3-319-05032-4openalex-snapshot
Software Engineering and Formal Methods
inferredcites →https://doi.org/10.1007/978-3-319-10181-1_3openalex-snapshot
Model-Checking Circus State-Rich Specifications
inferredcites →https://doi.org/10.1007/978-3-319-10431-7_17openalex-snapshot
Rapid Prototyping of a Semantically Well Founded Circus Model Checker
inferredcites →https://doi.org/10.1007/978-3-540-76650-6_10openalex-snapshot
Testing for Refinement in CSP
inferredcites →https://doi.org/10.1007/978-3-642-02138-1_9openalex-snapshot
Distinguing Non-deterministic Timed Finite State Machines
inferredcites →https://doi.org/10.1007/978-3-642-14521-6openalex-snapshot
Unifying Theories of Programming
inferredcites →https://doi.org/10.1007/978-3-642-14521-6_11openalex-snapshot
Unifying Input Output Conformance
inferredcites →https://doi.org/10.1007/978-3-642-14521-6_4openalex-snapshot
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
inferredcites →https://doi.org/10.1007/978-3-642-16690-7_1openalex-snapshot
Specification Coverage for Testing in Circus
inferredcites →https://doi.org/10.1007/978-3-642-17071-3_11openalex-snapshot
Mutation-Based Test Case Generation for Simulink Models
inferredcites →https://doi.org/10.1007/978-3-642-27705-4_20openalex-snapshot
Isabelle/Circus: A Process Specification and Verification Environment
inferredcites →https://doi.org/10.1007/978-3-642-39698-4openalex-snapshot
Theories of Programming and Formal Methods: essays dedicated to Jifeng He on the occasion of his 70th birthday
inferredcites →https://doi.org/10.1007/978-3-642-39698-4_2openalex-snapshot
Model-Based Mutation Testing of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-642-54804-8_29openalex-snapshot
Data Flow Coverage for Circus-Based Testing
inferredcites →https://doi.org/10.1007/978-3-642-54862-8openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_13openalex-snapshot
FDR3 — A Modern Refinement Checker for CSP
inferredcites →https://doi.org/10.1007/b116730openalex-snapshot
Formal Techniques for Networked and Distributed Systems
inferredcites →https://doi.org/10.1007/b135596openalex-snapshot
ZB 2005: Formal Specification and Development in Z and B
inferredcites →https://doi.org/10.1007/b95400openalex-snapshot
Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers
inferredcites →https://doi.org/10.1007/s00165-003-0011-8openalex-snapshot
Mutation Testing in the Refinement Calculus
inferredcites →https://doi.org/10.1007/s00165-005-0076-7openalex-snapshot
CSP theorems for communicating B machines
inferredcites →https://doi.org/10.1007/s00165-007-0044-5openalex-snapshot
Unifying theories in ProofPower-Z
inferredcites →https://doi.org/10.1007/s00165-008-0086-3openalex-snapshot
Slicing communicating automata specifications: polynomial algorithms for model reduction
inferredcites →https://doi.org/10.1007/s00165-010-0170-3openalex-snapshot
From control law diagrams to Ada viaCircus
inferredcites →https://doi.org/10.1007/s001650050026openalex-snapshot
Testing Algebraic Data Types and Processes: A Unifying Theory
inferredcites →https://doi.org/10.1007/s00236-011-0133-zopenalex-snapshot
Testing for refinement in Circus
inferredcites →https://doi.org/10.1007/s10009-011-0195-9openalex-snapshot
Formal methods for security in the Xenon hypervisor
inferredcites →https://doi.org/10.1007/s11219-011-9142-yopenalex-snapshot
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
inferredcites →https://doi.org/10.1016/0096-0551(85)90011-6openalex-snapshot
Program testing by specification mutation
inferredcites →https://doi.org/10.1016/j.entcs.2009.09.052openalex-snapshot
Test Case Generation by Contract Mutation in Spec#
inferredcites →https://doi.org/10.1016/j.infsof.2012.02.004openalex-snapshot
Mutation based test case generation via a path selection strategy
inferredcites →https://doi.org/10.1016/j.scico.2014.05.004openalex-snapshot
Model-based mutation testing via symbolic refinement checking
inferredcites →https://doi.org/10.1016/s0169-7552(96)00019-0openalex-snapshot
On fault coverage of tests for finite state specifications
inferredcites →https://doi.org/10.1109/32.87284openalex-snapshot
Test selection based on finite state models
inferredcites →https://doi.org/10.1109/apsec.2003.1254388openalex-snapshot
Challenging formal specifications by mutation: a CSP security example
inferredcites →https://doi.org/10.1109/apsec.2004openalex-snapshot
11th Asia-Pacific Software Engineering Conference
inferredcites →https://doi.org/10.1109/ase.2000.873653openalex-snapshot
Mutation operators for specifications
inferredcites →https://doi.org/10.1109/ccece.2002.1013026openalex-snapshot
Formal approaches to software testing
inferredcites →https://doi.org/10.1109/compsac.2009.194openalex-snapshot
Asynchronous Input-Output Conformance Testing
inferredcites →https://doi.org/10.1109/icfem.1998.730569openalex-snapshot
Using model checking to generate tests from specifications
inferredcites →https://doi.org/10.1109/icst.2015.7102627openalex-snapshot
MoMut::UML Model-Based Mutation Testing for UML
inferredcites →https://doi.org/10.1109/isads.2013.6513445openalex-snapshot
Fault modelling for systems of systems
inferredcites →https://doi.org/10.1109/iscis.2009.5291883openalex-snapshot
Using a SAT solver to generate checking sequences
inferredcites →https://doi.org/10.1109/issre.2002.1173206openalex-snapshot
Testing processes from formal specifications with inputs, outputs and data types
inferredcites →https://doi.org/10.1109/issre.2010.38openalex-snapshot
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
inferredcites →https://doi.org/10.1109/itng.2015.74openalex-snapshot
MuAsmetaL: An Experimental Mutation System for AsmetaL
inferredcites →https://doi.org/10.1109/sefm.2009.12openalex-snapshot
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences
inferredcites →https://doi.org/10.1109/syscon.2013.6549906openalex-snapshot
Model-based development of fault tolerant systems of systems
inferredcites →https://doi.org/10.1109/tc.2005.152openalex-snapshot
Testing from Partial Deterministic FSM Specifications
inferredcites →https://doi.org/10.1109/tc.2006.80openalex-snapshot
Optimizing the length of checking sequences
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.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/322993.322996openalex-snapshot
Fault classes and error detection capability of specification-based testing
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1186/2193-1801-2-121openalex-snapshot
Searching and generating test inputs for mutation testing
inferredcites →https://doi.org/10.1186/2193-1801-2-s1-s8openalex-snapshot
GIS-based evaluation and spatial distribution characteristics of land degradation in Bijiang watershed
inferredcites →https://doi.org/10.1504/ijccbs.2012.045075openalex-snapshot
A formal framework for black-box conformance testing of distributed real-time systems
inferredcites →https://doi.org/10.70675/1295349az8d63z4f43z9be0z026d9b9cbba8openalex-snapshot
Semantics-Based Testing for Circus
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-031-40132-9_2openalex-snapshot
Bringing RoboStar and RT-Tester Together
inferred← citeshttps://doi.org/10.1007/978-3-319-67549-7_2openalex-snapshot
Fault-Based Testing for Refinement in CSP
inferred← citeshttps://doi.org/10.1007/978-3-319-92994-1_2openalex-snapshot
An Approximation-Based Approach for the Random Exploration of Large Models
inferred← citeshttps://doi.org/10.1007/s10664-025-10643-zopenalex-snapshot
Quantum circuit mutants: Empirical analysis and recommendations
inferred← citeshttps://doi.org/10.1007/s11219-018-9431-9openalex-snapshot
Fault-based refinement-testing for CSP
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.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/icodse.2017.8285883openalex-snapshot
On the implementation of search based approach to mutation testing
inferred← citeshttps://doi.org/10.11591/ijece.v8i5.pp3238-3249openalex-snapshot
Coevolution of Second-order-mutant
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.