On the public citation graph
Conc-iSE: incremental symbolic execution of concurrent software
0 signed · 93 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/spe.4380210706openalex-snapshot
Identifying syntactic differences between two programs
inferredcites →https://doi.org/10.1007/11532378_2openalex-snapshot
The LLVM Compiler Framework and Infrastructure Tutorial
inferredcites →https://doi.org/10.1007/978-3-319-13338-6_14openalex-snapshot
A Framework to Synergize Partial Order Reduction with State Interpolation
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_29openalex-snapshot
Peephole Partial Order Reduction
inferredcites →https://doi.org/10.1007/978-3-642-05089-3_17openalex-snapshot
Symbolic Predictive Analysis for Concurrent Programs
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_10openalex-snapshot
Lazy Annotation for Program Testing and Verification
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_13openalex-snapshot
Contessa: Concurrency Testing Augmented with Symbolic Analysis
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_39openalex-snapshot
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_36openalex-snapshot
μZ– An Efficient Engine for Fixed Points with Constraints
inferredcites →https://doi.org/10.1007/978-3-642-29860-8_13openalex-snapshot
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
inferredcites →https://doi.org/10.1007/978-3-642-39176-7_7openalex-snapshot
Regression Verification Using Impact Summaries
inferredcites →https://doi.org/10.1007/978-3-642-40787-1_31openalex-snapshot
Dynamic Analysis and Debugging of Binary Code for Security Applications
inferredcites →https://doi.org/10.1109/ase.2011.6100134openalex-snapshot
BEST: A symbolic testing tool for predicting multi-threaded program failures
inferredcites →https://doi.org/10.1109/icsm.2004.1357803openalex-snapshot
Dex: a semantic-graph differencing tool for studying changes in large code bases
inferredcites →https://doi.org/10.1109/icsm.2012.6405261openalex-snapshot
A change impact analysis to characterize evolving program behaviors
inferredcites →https://doi.org/10.1109/icsm.2012.6405338openalex-snapshot
A software change impact analysis taxonomy
inferredcites →https://doi.org/10.1109/icst.2015.7102601openalex-snapshot
Postconditioned Symbolic Execution
inferredcites →https://doi.org/10.1109/ms.2017.3571566openalex-snapshot
International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/1040305.1040315openalex-snapshot
Dynamic partial-order reduction for model checking software
inferredcites →https://doi.org/10.1145/1065167.1065169openalex-snapshot
Context-sensitive program analysis as database queries
inferredcites →https://doi.org/10.1145/1111037.1111067openalex-snapshot
Associating synchronization constraints with data in an object-oriented language
inferredcites →https://doi.org/10.1145/1133255.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1190215.1190265openalex-snapshot
Conditional must not aliasing for static race detection
inferredcites →https://doi.org/10.1145/1595696.1595702openalex-snapshot
Symbolic pruning of concurrent program executions
inferredcites →https://doi.org/10.1145/1639949.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/1882291.1882301openalex-snapshot
Staged concurrent program analysis
inferredcites →https://doi.org/10.1145/1993316.1993558openalex-snapshot
Directed incremental symbolic execution
inferredcites →https://doi.org/10.1145/1993498.1993558openalex-snapshot
Directed incremental symbolic execution
inferredcites →https://doi.org/10.1145/2001420.2001437openalex-snapshot
Change-aware preemption prioritization
inferredcites →https://doi.org/10.1145/2024445.2024454openalex-snapshot
A taxonomy for software change impact analysis
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/2491411.2491425openalex-snapshot
Boosting concolic testing via interpolation
inferredcites →https://doi.org/10.1145/2491411.2491452openalex-snapshot
Differential assertion checking
inferredcites →https://doi.org/10.1145/2568225.2568294openalex-snapshot
SimRT: an automated framework to support regression testing for data races
inferredcites →https://doi.org/10.1145/2568225.2568319openalex-snapshot
Property differencing for incremental checking
inferredcites →https://doi.org/10.1145/2786805.2786841openalex-snapshot
Assertion guided symbolic execution of multithreaded programs
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1145/996841.996859openalex-snapshot
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
inferredcites →https://doi.org/10.5555/2818754.2818787openalex-snapshot
RECONTEST: effective regression testing of concurrent programs
inferredcites →https://doi.org/10.5555/2818754.2818815openalex-snapshot
The art of testing less without sacrificing quality
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4106945openalex-extracted
Sailfish: Vetting Smart Contract State-Inconsistency Bugs in Seconds
inferred← citeshttps://doi.org/10.1002/cpe.7489openalex-snapshot
Bio‐inspired optimization to support the test data generation of concurrent software
inferred← citeshttps://doi.org/10.1002/smr.2626openalex-snapshot
Change‐aware model checking for evolving concurrent programs based on Program Dependence Net
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_22openalex-snapshot
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives
inferred← citeshttps://doi.org/10.1007/978-981-16-4294-4_6openalex-snapshot
$$Dcube_{NN}$$: Tool for Dynamic Design Discovery from Multi-threaded Applications Using Neural Sequence Models
inferred← citeshttps://doi.org/10.1007/978-981-99-3091-3_14openalex-snapshot
An Approach for Test Impact Analysis on the Integration Level in Java Programs
inferred← citeshttps://doi.org/10.1007/s11334-021-00393-8openalex-snapshot
A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers
inferred← citeshttps://doi.org/10.1007/s11704-020-9501-6openalex-snapshot
On interleaving space exploration of multi-threaded programs
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.11.001openalex-snapshot
Advances in Software Model Checking
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.10.002openalex-snapshot
Advances in Symbolic Execution
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106318openalex-snapshot
A feedback-directed method of evolutionary test data generation for parallel programs
inferred← citeshttps://doi.org/10.1016/j.jss.2018.09.038openalex-snapshot
Parallel construction of interprocedural memory SSA form
inferred← citeshttps://doi.org/10.1109/ase.2017.8115634openalex-snapshot
Modular verification of interrupt-driven software
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/ase63991.2025.00194openalex-snapshot
Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes
inferred← citeshttps://doi.org/10.1109/icst.2017.23openalex-snapshot
Automated Testing of Definition-Use Data Flow for Multithreaded Programs
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10989027openalex-snapshot
Differential Testing of Concurrent Classes
inferred← citeshttps://doi.org/10.1109/ispras51486.2020.00014openalex-snapshot
Sydr: Cutting Edge Dynamic Symbolic Execution
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00055openalex-snapshot
Feedback-Driven Incremental Symbolic Execution
inferred← citeshttps://doi.org/10.1109/qrs-c57518.2022.00045openalex-snapshot
A Multi-Layer Fault Triggering Framework based on Evolutionary Strategy Guided Symbolic Execution for Automated Test Case Generation
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833721openalex-snapshot
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
inferred← citeshttps://doi.org/10.1109/tdsc.2018.2866469openalex-snapshot
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
inferred← citeshttps://doi.org/10.1109/tse.2018.2861392openalex-snapshot
ConTesa: Directed Test Suite Augmentation for Concurrent Software
inferred← citeshttps://doi.org/10.1145/3106237.3106243openalex-snapshot
Thread-modular static analysis for relaxed memory models
inferred← citeshttps://doi.org/10.1145/3106237.3106245openalex-snapshot
Symbolic execution of programmable logic controller code
inferred← citeshttps://doi.org/10.1145/3106237.3106266openalex-snapshot
DESCRY: reproducing system-level concurrency failures
inferred← citeshttps://doi.org/10.1145/3196398.3196433openalex-snapshot
Leveraging historical versions of Android apps for efficient and precise taint analysis
inferred← citeshttps://doi.org/10.1145/3208952openalex-snapshot
Shadow Symbolic Execution for Testing Software Patches
inferred← citeshttps://doi.org/10.1145/3213846.3213851openalex-snapshot
Eliminating timing side-channel leaks using program repair
inferred← citeshttps://doi.org/10.1145/3236024.3236028openalex-snapshot
Adversarial symbolic execution for detecting concurrency-related cache timing leaks
inferred← citeshttps://doi.org/10.1145/3238147.3238211openalex-snapshot
Datalog-based scalable semantic diffing of concurrent programs
inferred← citeshttps://doi.org/10.1145/3478536openalex-snapshot
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
inferred← citeshttps://doi.org/10.1145/3652024openalex-snapshot
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management
inferred← citeshttps://doi.org/10.1145/3705299openalex-snapshot
Unified and Split Symbolic Execution for Exposing Semantic Differences
inferred← citeshttps://doi.org/10.1145/3743132openalex-snapshot
EvoTaint : Incremental Static Taint Analysis of Evolving Android Apps
inferred← citeshttps://doi.org/10.11606/t.55.2021.tde-17082021-134353openalex-snapshot
Otimização bioinspirada para apoio à geração de dados de teste para software concorrente
inferred← citeshttps://doi.org/10.14419/ijet.v7i2.6.10782openalex-snapshot
Concurrency testing using symbolic path finder
inferred← citeshttps://doi.org/10.14722/ndss.2022.24380openalex-snapshot
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
inferred← citeshttps://doi.org/10.32657/10356/136764openalex-snapshot
Securing software systems via fuzz testing and verification
inferred← citeshttps://doi.org/10.35940/ijitee.i3059.0789s319openalex-snapshot
A Regression Test Based on the Test Case Prioritization Techniques by using the Nature of Bees
inferred← citeshttps://doi.org/10.48550/arxiv.1712.01674openalex-snapshot
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
inferred← citeshttps://doi.org/10.48550/arxiv.2007.15943openalex-snapshot
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2009.09943openalex-snapshot
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
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.