On the public citation graph
Faster variational execution with transparent bytecode transformation
0 signed · 85 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-28901-1openalex-snapshot
Software Product Line Engineering : Foundations, Principles, and Techniques
inferredcites →https://doi.org/10.1007/978-3-642-30793-5_12openalex-snapshot
Secure Multi-Execution through Static Program Transformation
inferredcites →https://doi.org/10.1007/978-3-642-33666-9_17openalex-snapshot
Multi-perspectives on Feature Models
inferredcites →https://doi.org/10.1007/978-3-642-35992-7_2openalex-snapshot
Variation Programming with the Choice Calculus
inferredcites →https://doi.org/10.1007/978-3-662-49635-0_1openalex-snapshot
Faceted Dynamic Information Flow via Control and Data Monads
inferredcites →https://doi.org/10.1007/s10009-016-0425-2openalex-snapshot
Efficient family-based model checking via variability abstractions
inferredcites →https://doi.org/10.1007/s100090050043openalex-snapshot
Model checking JAVA programs using JAVA PathFinder
inferredcites →https://doi.org/10.1016/0022-2836(70)90057-4openalex-snapshot
A general method applicable to the search for similarities in the amino acid sequence of two proteins
inferredcites →https://doi.org/10.1016/j.infsof.2010.05.011openalex-snapshot
Software product line testing – A systematic mapping study
inferredcites →https://doi.org/10.1016/s1389-1286(02)00352-3openalex-snapshot
Feature interaction: a critical review and considered forecast
inferredcites →https://doi.org/10.1089/cmb.1994.1.337openalex-snapshot
On the Complexity of Multiple Sequence Alignment
inferredcites →https://doi.org/10.1109/issre.2012.23openalex-snapshot
Shared Execution for Efficiently Testing Product Lines
inferredcites →https://doi.org/10.1109/sp.2010.15openalex-snapshot
Noninterference through Secure Multi-execution
inferredcites →https://doi.org/10.1109/sp.2012.48openalex-snapshot
Rozzle: De-cloaking Internet Malware
inferredcites →https://doi.org/10.1109/tse.2008.37openalex-snapshot
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
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.2011.104openalex-snapshot
GenProg: A Generic Method for Automatic Software Repair
inferredcites →https://doi.org/10.1145/1250734.1250782openalex-snapshot
Towards locating execution omission errors
inferredcites →https://doi.org/10.1145/1297027.1297033openalex-snapshot
Statistically rigorous java performance evaluation
inferredcites →https://doi.org/10.1145/1508244.1508267openalex-snapshot
Efficient online validation with delta execution
inferredcites →https://doi.org/10.1145/1806799.1806864openalex-snapshot
Using symbolic evaluation to understand behavior in configurable software systems
inferredcites →https://doi.org/10.1145/1883612.1883618openalex-snapshot
A survey of combinatorial testing
inferredcites →https://doi.org/10.1145/1985793.1985872openalex-snapshot
Coalescing executions for fast uncertainty analysis
inferredcites →https://doi.org/10.1145/2025113.2025139openalex-snapshot
Proactive detection of collaboration conflicts
inferredcites →https://doi.org/10.1145/2103621.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferredcites →https://doi.org/10.1145/2103656.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferredcites →https://doi.org/10.1145/2377816.2377817openalex-snapshot
Toward variability-aware testing
inferredcites →https://doi.org/10.1145/2465106.2465121openalex-snapshot
Faceted execution of policy-agnostic programs
inferredcites →https://doi.org/10.1145/2491411.2491437openalex-snapshot
Scalable analysis of variable software
inferredcites →https://doi.org/10.1145/2568225.2568300openalex-snapshot
Exploring variability-aware execution for testing plugin-based web applications
inferredcites →https://doi.org/10.1145/2580950openalex-snapshot
A Classification and Survey of Analysis Strategies for Software Product Lines
inferredcites →https://doi.org/10.1145/2642937.2643001openalex-snapshot
Tracking load-time configuration options
inferredcites →https://doi.org/10.1145/2694344.2694394openalex-snapshot
Dual Execution for On the Fly Fine Grained Execution Comparison
inferredcites →https://doi.org/10.1145/2786805.2786830openalex-snapshot
MultiSE: multi-path symbolic execution using value summaries
inferredcites →https://doi.org/10.1145/2884781.2884793openalex-snapshot
A comparison of 10 sampling algorithms for configurable systems
inferredcites →https://doi.org/10.1145/2908080.2908098openalex-snapshot
Precise, dynamic information flow for database-backed applications
inferredcites →https://doi.org/10.1145/2970276.2970322openalex-snapshot
On essential configuration complexity: measuring interactions in highly-configurable systems
inferredcites →https://doi.org/10.1145/3023956.3023966openalex-snapshot
A choice of variational stacks
inferredcites →https://doi.org/10.1145/3092703.3092714openalex-snapshot
Faster mutation analysis via equivalence modulo states
inferredcites →https://doi.org/10.1145/3135932.3135951openalex-snapshot
How to efficiently process 2 100 list variations
inferredcites →https://doi.org/10.1145/3182657openalex-snapshot
A Survey of Symbolic Execution Techniques
inferredcites →https://doi.org/10.1145/3236024.3264837openalex-snapshot
Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing
inferredcites →https://doi.org/10.1145/3243734.3243806openalex-snapshot
Faceted Secure Multi Execution
inferredcites →https://doi.org/10.1145/587051.587053openalex-snapshot
Isolating cause-effect chains from computer programs
inferredcites →https://doi.org/10.1184/r1/6469391openalex-snapshot
TACHYON: Tandem Execution for Efficient Live Patch Testing
inferredcites →https://doi.org/10.2201/niipi.2008.5.8openalex-snapshot
Feature interaction: the security threat from within software systems
inferredcites →https://doi.org/10.4230/lipics.ecoop.2015.495openalex-snapshot
The Love/Hate Relationship with the C Preprocessor: An Interview Study
inferredcites →https://doi.org/10.4230/lipics.ecoop.2018.17openalex-snapshot
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
inferredcites →https://doi.org/10.48550/arxiv.1706.09357openalex-snapshot
Differential Testing for Variational Analyses: Experience from Developing KConfigReader
inferredcites →https://doi.org/10.48550/arxiv.1807.03837openalex-snapshot
Understanding Differences among Executions with Variational Traces
inferredcites →https://doi.org/10.5555/2486788.2486825openalex-snapshot
Comparative causality: explaining the differences between executions
inferredcites →https://doi.org/10.5555/2486788.2486869openalex-snapshot
Safe software updates via multi-version execution
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10664-022-10217-3openalex-snapshot
Variational satisfiability solving: efficiently solving lots of related SAT problems
inferred← citeshttps://doi.org/10.1007/s10664-023-10344-5openalex-snapshot
Program transformation landscapes for automated program modification using Gin
inferred← citeshttps://doi.org/10.1016/j.jss.2021.110990openalex-snapshot
Evaluating T-wise testing strategies in a community-wide dataset of configurable software systems
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112152openalex-snapshot
Automated program repair for variability bugs in software product line systems
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112280openalex-snapshot
A structural taxonomy for lifted software product line analyses
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678827openalex-snapshot
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00013openalex-snapshot
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
inferred← citeshttps://doi.org/10.1109/icse-nier.2019.00035openalex-snapshot
Conditional Compilation is Dead, Long Live Conditional Compilation!
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00034openalex-snapshot
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
inferred← citeshttps://doi.org/10.1109/issre59848.2023.00079openalex-snapshot
Do Mutations of Strongly Subsuming Second-Order Mutants Really Mask Each Other?
inferred← citeshttps://doi.org/10.1109/tse.2021.3113859openalex-snapshot
A Variability Fault Localization Approach for Software Product Lines
inferred← citeshttps://doi.org/10.1109/tse.2024.3359969openalex-snapshot
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling
inferred← citeshttps://doi.org/10.1145/3236024.3264837openalex-snapshot
Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing
inferred← citeshttps://doi.org/10.1145/3278122.3278127openalex-snapshot
Exploring feature interactions without specifications: a controlled experiment
inferred← citeshttps://doi.org/10.1145/3368089.3409713openalex-snapshot
Efficiently finding higher-order mutants
inferred← citeshttps://doi.org/10.1145/3382025.3414725openalex-snapshot
Testing configurable software systems
inferred← citeshttps://doi.org/10.1145/3393934.3278127openalex-snapshot
Exploring feature interactions without specifications: a controlled experiment
inferred← citeshttps://doi.org/10.1145/3468264.3468600openalex-snapshot
VarFix: balancing edit expressiveness and search effectiveness in automated program repair
inferred← citeshttps://doi.org/10.1145/3510003.3510043openalex-snapshot
On debugging the performance of configurable software systems
inferred← citeshttps://doi.org/10.1145/3579027.3608983openalex-snapshot
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models
inferred← citeshttps://doi.org/10.1145/3689747openalex-snapshot
On the Expressive Power of Languages for Static Variability
inferred← citeshttps://doi.org/10.1145/3691620.3695490openalex-snapshot
Blackbox Observability of Features and Feature Interactions
inferred← citeshttps://doi.org/10.1145/3712193openalex-snapshot
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
inferred← citeshttps://doi.org/10.15625/1813-9663/19694openalex-snapshot
CLUE: A CLUSTERING-BASED TEST REDUCTION APPROACH FOR SOFTWARE PRODUCT LINES
inferred← citeshttps://doi.org/10.3390/app10238686openalex-snapshot
Efficient Regression Testing of Software Product Lines by Reducing Redundant Test Executions
inferred← citeshttps://doi.org/10.3390/electronics11071165openalex-snapshot
Reducing Redundant Test Executions in Software Product Line Testing—A Case Study
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.