On the public citation graph
Framework for testing multi‐threaded Java programs
0 signed · 138 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.1006/jpdc.1999.1574openalex-snapshot
Toward Integration of Data Race Detection in DSM Systems
inferredcites →https://doi.org/10.1007/10722468_14openalex-snapshot
Model-Checking Multi-threaded Distributed Java Programs
inferredcites →https://doi.org/10.1109/ipdps.2001openalex-snapshot
Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001
inferredcites →https://doi.org/10.1145/109625.109640openalex-snapshot
Improving the accuracy of data race detection
inferredcites →https://doi.org/10.1145/186258.187242openalex-snapshot
Testing races in parallel programs with an OtOt strategy
inferredcites →https://doi.org/10.1145/281035.281040openalex-snapshot
Protocol-based data-race detection
inferredcites →https://doi.org/10.1145/281035.281041openalex-snapshot
Deterministic replay of Java multithreaded applications
inferredcites →https://doi.org/10.1145/379605.379687openalex-snapshot
Detecting race conditions in large programs
inferredcites →https://doi.org/10.1147/sj.411.0111openalex-snapshot
Multithreaded Java program test generation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119332015.ch16openalex-snapshot
Smart Interleavings for Testing Parallel Programs
inferred← citeshttps://doi.org/10.1002/cpe.1297openalex-snapshot
Structural testing criteria for message‐passing parallel programs
inferred← citeshttps://doi.org/10.1002/cpe.2937openalex-snapshot
Structural testing for message‐passing concurrent programs: an extended test model
inferred← citeshttps://doi.org/10.1002/cpe.4268openalex-snapshot
Boosted decision trees for behaviour mining of concurrent programmes
inferred← citeshttps://doi.org/10.1002/stvr.1546openalex-snapshot
Advances in noise‐based testing of concurrent software
inferred← citeshttps://doi.org/10.1002/stvr.1568openalex-snapshot
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
inferred← citeshttps://doi.org/10.1007/11678779_14openalex-snapshot
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-030-67438-0_8openalex-snapshot
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-25312-6_31openalex-snapshot
Static Deadlock Detection in Low-Level C Code
inferred← citeshttps://doi.org/10.1007/978-3-031-30820-8_26openalex-snapshot
Industrial-Strength Controlled Concurrency Testing for $$\textsc {C}{} \texttt {\#} $$ Programs with $$\textsc {Coyote} $$
inferred← citeshttps://doi.org/10.1007/978-3-319-07785-7_1openalex-snapshot
The FITTEST Tool Suite for Testing Future Internet Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-09940-8_8openalex-snapshot
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_19openalex-snapshot
Combining Model Checking and Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-27340-2_69openalex-snapshot
Dynamic Validation of Contracts in Concurrent Code
inferred← citeshttps://doi.org/10.1007/978-3-319-74727-9_12openalex-snapshot
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5openalex-snapshot
Lectures on Runtime Verification. Introductory and Advanced Topics
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_2openalex-snapshot
Discovering Concurrency Errors
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_24openalex-snapshot
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
inferred← citeshttps://doi.org/10.1007/978-3-319-99933-3_7openalex-snapshot
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization
inferred← citeshttps://doi.org/10.1007/978-3-540-69384-0_39openalex-snapshot
Structural Testing for Semaphore-Based Multithread Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_9openalex-snapshot
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
inferred← citeshttps://doi.org/10.1007/978-3-540-87475-1_34openalex-snapshot
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-02949-3_9openalex-snapshot
Dynamic Symbolic Execution for Testing Distributed Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-12029-9_21openalex-snapshot
Analyzing the Impact of Change in Multi-threaded Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_13openalex-snapshot
Contessa: Concurrency Testing Augmented with Symbolic Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_20openalex-snapshot
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_14openalex-snapshot
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_30openalex-snapshot
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_12openalex-snapshot
Testing of Concurrent Programs Using Genetic Algorithms
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-34281-3_33openalex-snapshot
Demonic Testing of Concurrent Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_5openalex-snapshot
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level
inferred← citeshttps://doi.org/10.1007/978-981-97-5489-2_24openalex-snapshot
IntellectSeeker: A Personalized Literature Management System with the Probabilistic Model and Large Language Model
inferred← citeshttps://doi.org/10.1007/bf03192380openalex-snapshot
Using AOP to bring a project back in shape: The OurGrid case
inferred← citeshttps://doi.org/10.1007/s10009-009-0102-9openalex-snapshot
A class library for implementing, testing, and debugging concurrent programs
inferred← citeshttps://doi.org/10.1007/s10009-011-0210-1openalex-snapshot
Runtime verification of concurrency-specific correctness criteria
inferred← citeshttps://doi.org/10.1007/s10766-012-0237-2openalex-snapshot
Graphs for Mining-Based Defect Localization in Multithreaded Programs
inferred← citeshttps://doi.org/10.1007/s11219-017-9376-4openalex-snapshot
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation
inferred← citeshttps://doi.org/10.1007/s11219-017-9377-3openalex-snapshot
Detecting potential deadlocks through change impact analysis
inferred← citeshttps://doi.org/10.1007/s11219-017-9385-3openalex-snapshot
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
inferred← citeshttps://doi.org/10.1007/s11227-019-03031-0openalex-snapshot
Efficient noise injection for exposing hidden data races
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.01.032openalex-snapshot
JVM Independent Replay in Java
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.02.004openalex-snapshot
Concurrent Java Test Generation as a Search Problem
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.04.001openalex-snapshot
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.002openalex-snapshot
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
inferred← citeshttps://doi.org/10.1016/j.infsof.2022.107054openalex-snapshot
Concerns identified in code review: A fine-grained, faceted classification
inferred← citeshttps://doi.org/10.1016/j.jpdc.2007.01.006openalex-snapshot
Scaling model checking of dataraces using dynamic information
inferred← citeshttps://doi.org/10.1016/j.jpdc.2010.02.008openalex-snapshot
Extensible transactional memory testbed
inferred← citeshttps://doi.org/10.1016/j.procs.2013.05.178openalex-snapshot
Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80582-6openalex-snapshot
Testing Concurrent Java Programs using Randomized Scheduling
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/bec.2010.5630891openalex-snapshot
Reconfigurable data acquisition unit for bioimpedance measurements
inferred← citeshttps://doi.org/10.1109/ccnc.2011.5766365openalex-snapshot
Maximizing synchronization coverage via controlling thread schedule
inferred← citeshttps://doi.org/10.1109/cnsi.2011.49openalex-snapshot
Generation of Test Cases for Concurrent Software Systems Based on Data-Flow-Oriented Specifications
inferred← citeshttps://doi.org/10.1109/compsac.2009.188openalex-snapshot
Implementing an Effective Test Automation Framework
inferred← citeshttps://doi.org/10.1109/csmr.2013.22openalex-snapshot
ACRE: An Automated Aspect Creator for Testing C++ Applications
inferred← citeshttps://doi.org/10.1109/date.2006.243900openalex-snapshot
A Coverage Metric for the Validation of Interacting Processes
inferred← citeshttps://doi.org/10.1109/date.2009.5090812openalex-snapshot
pTest: An adaptive testing tool for concurrent software on embedded multicore processors
inferred← citeshttps://doi.org/10.1109/esem64174.2025.00048openalex-snapshot
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
inferred← citeshttps://doi.org/10.1109/hldvt.2007.4392778openalex-snapshot
Improving feasible interactions among multiple processes
inferred← citeshttps://doi.org/10.1109/iccp.2018.8516602openalex-snapshot
Atomic invariants verification and deadlock detection at compile-time
inferred← citeshttps://doi.org/10.1109/iccsa.2015.9openalex-snapshot
An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS)
inferred← citeshttps://doi.org/10.1109/icstw.2010.55openalex-snapshot
Implementation-Oriented Mutation Testing of Statechart Models
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00038openalex-snapshot
Java lock contention anti-patterns and their associated recommendations
inferred← citeshttps://doi.org/10.1109/iiswc53511.2021.00023openalex-snapshot
GoAT: Automated Concurrency Analysis and Debugging Tool for Go
inferred← citeshttps://doi.org/10.1109/ipdps.2003.1213511openalex-snapshot
Concurrent bug patterns and how to test them
inferred← citeshttps://doi.org/10.1109/rcis.2011.6006859openalex-snapshot
Towards testing future Web applications
inferred← citeshttps://doi.org/10.1109/scam.2010.20openalex-snapshot
Effective Static Analysis to Find Concurrency Bugs in Java
inferred← citeshttps://doi.org/10.1109/ssbse.2010.14openalex-snapshot
Sophisticated Testing of Concurrent Programs
inferred← citeshttps://doi.org/10.1142/s0218194017400071openalex-snapshot
Localization of Linearizability Faults on the Coarse-Grained Level
inferred← citeshttps://doi.org/10.1145/1065944.1065956openalex-snapshot
Automated type-based analysis of data races and atomicity
inferred← citeshttps://doi.org/10.1145/1065944.1065958openalex-snapshot
Scaling model checking of dataraces using dynamic information
inferred← citeshttps://doi.org/10.1145/1121788.1121798openalex-snapshot
Regression testing of multi-tasking real-time systems
inferred← citeshttps://doi.org/10.1145/1147403.1147409openalex-snapshot
Improving distributed memory applications testing by message perturbation
inferred← citeshttps://doi.org/10.1145/1147403.1147413openalex-snapshot
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables
inferred← citeshttps://doi.org/10.1145/1370082.1370093openalex-snapshot
Finding synchronization defects in java programs
inferred← citeshttps://doi.org/10.1145/1390841.1390844openalex-snapshot
Scheduling considerations for building dynamic verification tools for MPI
inferred← citeshttps://doi.org/10.1145/1735970.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferred← citeshttps://doi.org/10.1145/1735971.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferred← citeshttps://doi.org/10.1145/1736020.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferred← citeshttps://doi.org/10.1145/1866210.1866215openalex-snapshot
A platform for search-based testing of concurrent software
inferred← citeshttps://doi.org/10.1145/1985793.1986006openalex-snapshot
Mental models and parallel program maintenance
inferred← citeshttps://doi.org/10.1145/2002962.2002964openalex-snapshot
Research in concurrent software testing
inferred← citeshttps://doi.org/10.1145/2254064.2254128openalex-snapshot
Multicore acceleration of priority-based schedulers for concurrency bug detection
inferred← citeshttps://doi.org/10.1145/2338967.2336813openalex-snapshot
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level
inferred← citeshttps://doi.org/10.1145/2345156.2254128openalex-snapshot
Multicore acceleration of priority-based schedulers for concurrency bug detection
inferred← citeshttps://doi.org/10.1145/2483760.2483766openalex-snapshot
EnforceMOP: a runtime property enforcement system for multithreaded programs
inferred← citeshttps://doi.org/10.1145/2635868.2635918openalex-snapshot
Sherlock: scalable deadlock detection for concurrent programs
inferred← citeshttps://doi.org/10.1145/2635868.2635920openalex-snapshot
An empirical analysis of flaky tests
inferred← citeshttps://doi.org/10.1145/2804322.2804327openalex-snapshot
Deterministically testing actor-based concurrent software
inferred← citeshttps://doi.org/10.1145/3213846.3213853openalex-snapshot
Practical detection of concurrency issues at coding time
inferred← citeshttps://doi.org/10.1145/3213846.3229505openalex-snapshot
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs
inferred← citeshttps://doi.org/10.1145/3392031openalex-snapshot
Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem
inferred← citeshttps://doi.org/10.1145/3498538openalex-snapshot
BiRD: Race Detection in Software Binaries under Relaxed Memory Models
inferred← citeshttps://doi.org/10.1145/3644032.3644466openalex-snapshot
Identification of Java lock contention anti-patterns based on run-time performance data
inferred← citeshttps://doi.org/10.1145/3820002.3828587openalex-snapshot
Record and Replay Methods for Software Engineering Reproducibility: A Cross-Layer Survey and Taxonomy
inferred← citeshttps://doi.org/10.11606/d.55.2009.tde-29042010-101946openalex-snapshot
Teste de programas concorrentes com memória compartilhada
inferred← citeshttps://doi.org/10.11606/d.55.2011.tde-01092011-084548openalex-snapshot
Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes
inferred← citeshttps://doi.org/10.11606/d.55.2011.tde-13012012-094510openalex-snapshot
Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
inferred← citeshttps://doi.org/10.11606/d.55.2012.tde-24012013-151702openalex-snapshot
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada
inferred← citeshttps://doi.org/10.11606/d.55.2016.tde-14102016-162422openalex-snapshot
Teste estrutural de programas concorrentes como uma composição de serviços na Web
inferred← citeshttps://doi.org/10.11606/t.55.2011.tde-17082011-153853openalex-snapshot
Contribuições para o Teste de Software
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.1590/s0104-65002006000100003openalex-snapshot
Using AOP to bring a project back in shape: the ourgrid case
inferred← citeshttps://doi.org/10.18293/seke2017-145openalex-snapshot
Localization of Linearizability Faults on the Coarse-grained Level
inferred← citeshttps://doi.org/10.22028/d291-26605openalex-snapshot
Effective testing for concurrency bugs
inferred← citeshttps://doi.org/10.3837/tiis.2019.01.006openalex-snapshot
An Effective Multivariate Control Framework for Monitoring Cloud Systems Performance
inferred← citeshttps://doi.org/10.3929/ethz-a-010394773openalex-snapshot
Correctness and Execution of Concurrent Object-Oriented Programs
inferred← citeshttps://doi.org/10.4018/978-1-4666-2536-5.ch014openalex-snapshot
Testing of Future Internet Applications Running in the Cloud
inferred← citeshttps://doi.org/10.4230/dagsemproc.08161.8openalex-snapshot
Towards Distributed Memory Parallel Program Analysis
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2012.98openalex-snapshot
Towards Testing Concurrent Objects in CLP
inferred← citeshttps://doi.org/10.48550/arxiv.1204.1881openalex-snapshot
Four Conceptions of Instruction Sequence Faults
inferred← citeshttps://doi.org/10.5120/11435-6798openalex-snapshot
Unit Testing Concurrent Java Programs
inferred← citeshttps://doi.org/10.5555/1874620.1874866openalex-snapshot
pTest: an adaptive testing tool for concurrent software on embedded multicore processors
inferred← citeshttps://doi.org/10.6028/nist.sp.500-262openalex-snapshot
Proceedings of the static analysis summit
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.