On the public citation graph

Mutation Operators for Concurrent Java (J2SE 5.0)

0 signed · 101 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/cpe.1063openalex-snapshot
A method for verifying concurrent Java components based on an analysis of concurrency failures
inferredcites →https://doi.org/10.1002/spe.4380210704openalex-snapshot
A fortran language system for mutation‐based software testing
inferredcites →https://doi.org/10.1002/stvr.281openalex-snapshot
High‐level data races
inferredcites →https://doi.org/10.1002/stvr.308openalex-snapshot
MuJava: an automated class mutation system
inferredcites →https://doi.org/10.1016/s0950-5849(02)00104-0openalex-snapshot
Source transformation in software engineering using the TXL transformation system
inferredcites →https://doi.org/10.1109/ipdps.2003.1213511openalex-snapshot
Concurrent bug patterns and how to test them
inferredcites →https://doi.org/10.1109/ipdps.2004.1303338openalex-snapshot
Mutation-based exploration of a method for verifying concurrent java components
inferredcites →https://doi.org/10.1109/ipdps.2004.1303339openalex-snapshot
Compiling a benchmark of documented multi-threaded bugs
inferredcites →https://doi.org/10.1109/issre.2002.1173287openalex-snapshot
Inter-class mutation operators for Java
inferredcites →https://doi.org/10.1109/mc.2006.180openalex-snapshot
The Problem with Threads
inferredcites →https://doi.org/10.1109/mutation.2006.10openalex-snapshot
Mutation Operators for Concurrent Java (J2SE 5.0)
inferredcites →https://doi.org/10.1109/mutation.2006.5openalex-snapshot
ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis
inferredcites →https://doi.org/10.1109/mutation.2006.7openalex-snapshot
Finding Sufficient Mutation Operators via Variable Reduction
inferredcites →https://doi.org/10.1109/scam.2002.1134101openalex-snapshot
Towards measurement of testability of concurrent object-oriented programs using fault insertion: a preliminary investigation
inferredcites →https://doi.org/10.1145/1022494.1022537openalex-snapshot
An experimental mutation system for Java
inferredcites →https://doi.org/10.1145/1095408.1095421openalex-snapshot
Software and the Concurrency Revolution
inferredcites →https://doi.org/10.1145/227607.227610openalex-snapshot
An experimental determination of sufficient mutant operators

What points at this work

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

inferred← citeshttps://doi.org/10.1002/cpe.3711openalex-snapshot
A systematic review of approaches for testing concurrent programs
inferred← citeshttps://doi.org/10.1002/stvr.1469openalex-snapshot
Efficient mutation testing of multithreaded code
inferred← citeshttps://doi.org/10.1002/stvr.1528openalex-snapshot
Quality metrics for mutation testing with applications to WS‐BPEL compositions
inferred← citeshttps://doi.org/10.1002/stvr.1539openalex-snapshot
Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_24openalex-snapshot
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-10801-4_33openalex-snapshot
Do Null-Type Mutation Operators Help Prevent Null-Type Faults?
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-99927-2_9openalex-snapshot
C++11/14 Mutation Operators Based on Common Fault Patterns
inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_8openalex-snapshot
Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern
inferred← citeshttps://doi.org/10.1007/978-3-642-39955-8_7openalex-snapshot
Automatically Repairing Concurrency Bugs with ARC
inferred← citeshttps://doi.org/10.1007/978-94-017-7267-9_23openalex-snapshot
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
inferred← citeshttps://doi.org/10.1007/978-94-017-7358-4_23-2openalex-snapshot
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
inferred← citeshttps://doi.org/10.1007/s10270-020-00827-0openalex-snapshot
Wodel-Test: a model-based framework for language-independent mutation testing
inferred← citeshttps://doi.org/10.1007/s10664-011-9166-8openalex-snapshot
Location pairs: a test coverage metric for shared-memory concurrent programs
inferred← citeshttps://doi.org/10.1007/s10836-012-5303-6openalex-snapshot
On the Reuse of TLM Mutation Analysis at RTL
inferred← citeshttps://doi.org/10.1007/s13369-018-3226-yopenalex-snapshot
CHOMK: Concurrent Higher-Order Mutants Killing Using Genetic Algorithm
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.cl.2016.06.001openalex-snapshot
Refinement of structural heuristics for model checking of concurrent programs through data mining
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.entcs.2009.09.033openalex-snapshot
Automated Construction of Reasonable Environment for Java Components
inferred← citeshttps://doi.org/10.1016/j.infsof.2011.03.007openalex-snapshot
A mutation carol: Past, present and future
inferred← citeshttps://doi.org/10.1016/j.jss.2024.111962openalex-snapshot
Test data generation for covering mutation-based path using MGA for MPI program
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112077openalex-snapshot
Cross-project concurrency bug prediction using domain-adversarial neural network
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102418openalex-snapshot
Mutating code annotations: An empirical evaluation on Java and C# programs
inferred← citeshttps://doi.org/10.1109/ase.2013.6693142openalex-snapshot
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications
inferred← citeshttps://doi.org/10.1109/ase.2017.8115685openalex-snapshot
Promoting secondary orders of event pairs in randomized scheduling using a randomized stride
inferred← citeshttps://doi.org/10.1109/compsac.2009.192openalex-snapshot
A New Mutation Analysis Method for Testing Java Exception Handling
inferred← citeshttps://doi.org/10.1109/date.2008.4484713openalex-snapshot
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
inferred← citeshttps://doi.org/10.1109/date.2012.6176471openalex-snapshot
Verification coverage of embedded multicore applications
inferred← citeshttps://doi.org/10.1109/hldvt.2010.5496659openalex-snapshot
Coverage metrics for verification of concurrent SystemC designs using mutation testing
inferred← citeshttps://doi.org/10.1109/iccke.2014.6993419openalex-snapshot
Mutation score evaluation in terms of object-oriented metrics
inferred← citeshttps://doi.org/10.1109/icse.2013.6606693openalex-snapshot
Using mutation analysis for a model-clone detector comparison framework
inferred← citeshttps://doi.org/10.1109/icsm.2010.5609529openalex-snapshot
Using clone detection to identify bugs in concurrent software
inferred← citeshttps://doi.org/10.1109/icst.2010.33openalex-snapshot
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
inferred← citeshttps://doi.org/10.1109/icst.2012.155openalex-snapshot
SMT-C: A Semantic Mutation Testing Tools for C
inferred← citeshttps://doi.org/10.1109/icst.2013.32openalex-snapshot
The Impact of Concurrent Coverage Metrics on Testing Effectiveness
inferred← citeshttps://doi.org/10.1109/icst.2016.39openalex-snapshot
Predicting Testability of Concurrent Programs
inferred← citeshttps://doi.org/10.1109/icstw.2008.17openalex-snapshot
Experience with a Concurrency Bugs Benchmark
inferred← citeshttps://doi.org/10.1109/icstw.2010.36openalex-snapshot
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions
inferred← citeshttps://doi.org/10.1109/icstw.2010.6openalex-snapshot
Mutation Operators for Actor Systems
inferred← citeshttps://doi.org/10.1109/icstw.2011.34openalex-snapshot
Paraµ -- A Partial and Higher-Order Mutation Tool with Concurrency Operators
inferred← citeshttps://doi.org/10.1109/icstw.2011.52openalex-snapshot
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages
inferred← citeshttps://doi.org/10.1109/icstw.2014.17openalex-snapshot
Towards a Taxonomy for Simulink Model Mutations
inferred← citeshttps://doi.org/10.1109/lats49555.2020.9093675openalex-snapshot
Mutation Operators for Concurrent Programs in Elixir
inferred← citeshttps://doi.org/10.1109/latw.2012.6261240openalex-snapshot
Mutation operators for concurrent programs in MPI
inferred← citeshttps://doi.org/10.1109/mtv.2009.8openalex-snapshot
Mutation Operators for Concurrent SystemC Designs
inferred← citeshttps://doi.org/10.1109/mtv.2011.18openalex-snapshot
Verification Tests for MCAPI
inferred← citeshttps://doi.org/10.1109/pic.2018.8706335openalex-snapshot
Concurrency Bug-Oriented Mutation Operators Design for Java
inferred← citeshttps://doi.org/10.1109/raise.2012.6227969openalex-snapshot
Predicting mutation score using source code and test suite metrics
inferred← citeshttps://doi.org/10.1109/taic.part.2007.37openalex-snapshot
Comparative Assessment of Testing and Model Checking Using Program Mutation
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.2017.2707089openalex-snapshot
A Survey of Recent Trends in Testing Concurrent Software Systems
inferred← citeshttps://doi.org/10.1109/tse.2018.2791521openalex-snapshot
ConPredictor: Concurrency Defect Prediction in Real-World Applications
inferred← citeshttps://doi.org/10.1145/1403375.1403472openalex-snapshot
A mutation model for the SystemC TLM 2.0 communication interfaces
inferred← citeshttps://doi.org/10.1145/1639950.1639978openalex-snapshot
Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09)
inferred← citeshttps://doi.org/10.1145/2003695.2003697openalex-snapshot
Concurrency-oriented verification and coverage of system-level designs
inferred← citeshttps://doi.org/10.1145/2209291.2209296openalex-snapshot
Verification and coverage of message passing multicore applications
inferred← citeshttps://doi.org/10.1145/2222444.2222460openalex-snapshot
Mutation operators for JADE mobile agent systems
inferred← citeshttps://doi.org/10.1145/2338967.2336812openalex-snapshot
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools
inferred← citeshttps://doi.org/10.1145/2380445.2380498openalex-snapshot
Generation of TLM testbenches using mutation testing
inferred← citeshttps://doi.org/10.1145/2483760.2483773openalex-snapshot
Selective mutation testing for concurrent code
inferred← citeshttps://doi.org/10.1145/2804322.2804328openalex-snapshot
Concurrent software testing in practice: a catalog of tools
inferred← citeshttps://doi.org/10.1145/3178264.3178286openalex-snapshot
Mutation Operators in BPMN Model
inferred← citeshttps://doi.org/10.1145/3220228.3220264openalex-snapshot
Reducing the cost of mutation operators through a novel taxonomy
inferred← citeshttps://doi.org/10.1145/3358501.3361234openalex-snapshot
Mutation testing for DSLs (tool demo)
inferred← citeshttps://doi.org/10.1145/3559744.3559752openalex-snapshot
Mutation Operators for Java Streams
inferred← citeshttps://doi.org/10.1145/3837062.3839352openalex-snapshot
MMT: One Approach to Mutate Them All — A Model-Based Approach to Bytecode Mutation Testing
inferred← citeshttps://doi.org/10.11606/d.55.2013.tde-10062013-103319openalex-snapshot
Teste de mutação aplicado a programas concorrentes em MPI
inferred← citeshttps://doi.org/10.11606/d.55.2016.tde-29032016-103011openalex-snapshot
Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks
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
inferred← citeshttps://doi.org/10.11606/t.55.2016.tde-27012016-145238openalex-snapshot
Contribuições na área de Teste de Software Concorrente.
inferred← citeshttps://doi.org/10.11606/t.55.2018.tde-10102018-141934openalex-snapshot
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
inferred← citeshttps://doi.org/10.14419/ijet.v7i1.1.9478openalex-snapshot
A study on mutation testing of object oriented programs
inferred← citeshttps://doi.org/10.4018/ijsi.2019100102openalex-snapshot
Mutation Testing for Evaluating PHP Web Applications
inferred← citeshttps://doi.org/10.4018/jamc.2012010102openalex-snapshot
Generating Test Case for Object-Oriented Software Using Genetic Algorithm and Mutation Testing Method
inferred← citeshttps://doi.org/10.53846/goediss-7393openalex-snapshot
An Analysis of the Differences between Unit and Integration Tests
inferred← citeshttps://doi.org/10.5555/2486788.2486979openalex-snapshot
Using mutation analysis for a model-clone detector comparison framework
inferred← citeshttps://doi.org/10.5555/2492708.2492771openalex-snapshot
Verification coverage of embedded multicore applications
inferred← citeshttps://doi.org/10.5555/2666527.2666536openalex-snapshot
Predicting mutation score using source code and test suite metrics
inferred← citeshttps://doi.org/10.5753/sbes.2025.9878openalex-snapshot
Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API’s
inferred← citeshttps://doi.org/10.70675/fcba4053zeadaz4a36z9d3ez69d18d6cc701openalex-snapshot
A testing framework for executable domain-specific languages
inferred← citeshttps://doi.org/10.7916/d81261tgopenalex-snapshot
Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators
inferred← citeshttps://doi.org/10.7916/d86m3frgopenalex-snapshot
Empirical Study of Concurrency Mutation Operators for Java
showing the first 83 of 84 · page through all 84
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.