On the public citation graph

Using symbolic evaluation to understand behavior in configurable software systems

https://doi.org/10.1145/1806799.1806864
0 signed · 114 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/j.1538-7305.1992.tb00164.xopenalex-snapshot
Robust Testing of AT&T PMX/StarMAIL Using OATS
inferredcites →https://doi.org/10.1007/3-540-45937-5_16openalex-snapshot
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_52openalex-snapshot
A Decision Procedure for Bit-Vectors and Arrays
inferredcites →https://doi.org/10.1109/32.605761openalex-snapshot
The AETG system: an approach to testing based on combinatorial design
inferredcites →https://doi.org/10.1109/icse.1997.610252openalex-snapshot
Applying Design of Experiments to Software Testing
inferredcites →https://doi.org/10.1109/sew.2002.1199454openalex-snapshot
An investigation of the applicability of design of experiments to software testing
inferredcites →https://doi.org/10.1109/tse.2007.70719openalex-snapshot
Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance
inferredcites →https://doi.org/10.1145/1064978.1065036openalex-snapshot
DART
inferredcites →https://doi.org/10.1145/1065010.1065036openalex-snapshot
DART
inferredcites →https://doi.org/10.1145/1081706.1081750openalex-snapshot
CUTE
inferredcites →https://doi.org/10.1145/1180405.1180445openalex-snapshot
EXE
inferredcites →https://doi.org/10.1145/1390630.1390636openalex-snapshot
Testing for buffer overflows with length abstraction
inferredcites →https://doi.org/10.1145/253228.253271openalex-snapshot
Applying design of experiments to software testing
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/4372.4375openalex-snapshot
Orthogonal Latin squares: an application of experiment design to compiler testing
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/776816.776822openalex-snapshot
Constructing test suites for interaction testing

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.4098743openalex-extracted
Toffa-Das: Design-Time Trade-Off Analysis for Dynamically Adaptable Software
inferred← citeshttps://doi.org/10.1002/smr.1601openalex-snapshot
Design and implementation of a dynamic symbolic execution tool for windows executables
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_11openalex-snapshot
Specification-Driven Generation of Summaries for Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_27openalex-snapshot
Lazy Symbolic Execution for Enhanced Learning
inferred← citeshttps://doi.org/10.1007/978-3-319-96803-2_9openalex-snapshot
Automatic Generation of GUI Test Inputs Using User Configurations
inferred← citeshttps://doi.org/10.1007/978-3-642-23702-7_11openalex-snapshot
Directed Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-27705-4_22openalex-snapshot
Specifying and Verifying the Correctness of Dynamic Software Updates
inferred← citeshttps://doi.org/10.1007/978-3-642-28872-2_19openalex-snapshot
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
inferred← citeshttps://doi.org/10.1007/s10009-018-0490-9openalex-snapshot
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
inferred← citeshttps://doi.org/10.1007/s10515-019-00253-7openalex-snapshot
Change impact analysis for maintenance and evolution of variable software systems
inferred← citeshttps://doi.org/10.1007/s10515-020-00273-8openalex-snapshot
ConfigCrusher: towards white-box performance analysis for configurable systems
inferred← citeshttps://doi.org/10.1007/s10664-018-9635-4openalex-snapshot
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
inferred← citeshttps://doi.org/10.1007/s10664-019-09705-wopenalex-snapshot
On the relation of control-flow and performance feature interactions: a case study
inferred← citeshttps://doi.org/10.1007/s10664-020-09884-xopenalex-snapshot
Automated test reuse for highly configurable software
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.03.007openalex-snapshot
Search-based test case implantation for testing untested configurations
inferred← citeshttps://doi.org/10.1016/j.jss.2014.06.039openalex-snapshot
Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study
inferred← citeshttps://doi.org/10.1016/j.jss.2019.02.025openalex-snapshot
Towards understanding bugs in an open source cloud management stack: An empirical study of OpenStack software bugs
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112592openalex-snapshot
PyroBuildS: Speeding up the exploration of large configuration spaces with incremental build
inferred← citeshttps://doi.org/10.1016/j.scico.2012.02.006openalex-snapshot
An analysis of unit tests of a flight software product line
inferred← citeshttps://doi.org/10.1109/ase.2015.58openalex-snapshot
Configuration-Aware Change Impact Analysis (T)
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678556openalex-snapshot
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678676openalex-snapshot
GenTree: Inferring Configuration Interactions using Decision Trees
inferred← citeshttps://doi.org/10.1109/get.2015.7453839openalex-snapshot
Tracking down high coverage configuration using clustering and fault detection
inferred← citeshttps://doi.org/10.1109/icse-nier55298.2022.9793538openalex-snapshot
Towards Incremental Build of Software Configurations
inferred← citeshttps://doi.org/10.1109/icse.2012.6227129openalex-snapshot
iTree: Efficiently discovering high-coverage configurations using interaction trees
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00029openalex-snapshot
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00099openalex-snapshot
White-Box Performance-Influence Models: A Profiling and Learning Approach
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00142openalex-snapshot
GenTree: Using Decision Trees to Learn Interactions for Configurable Software
inferred← citeshttps://doi.org/10.1109/icsm.2012.6405263openalex-snapshot
Configuration selection using code change impact analysis for regression testing
inferred← citeshttps://doi.org/10.1109/icsme.2017.60openalex-snapshot
An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis
inferred← citeshttps://doi.org/10.1109/icsme46990.2020.00078openalex-snapshot
Using Symbolic Execution to Analyze Linux KBuild Makefiles
inferred← citeshttps://doi.org/10.1109/icstw.2011.99openalex-snapshot
Customer-Oriented Regression Testing: An Initial Discussion
inferred← citeshttps://doi.org/10.1109/ipsn61024.2024.00015openalex-snapshot
Retcon: Live Updates for Embedded Event-Driven Applications
inferred← citeshttps://doi.org/10.1109/issre.2011.25openalex-snapshot
Feature Interaction Faults Revisited: An Exploratory Study
inferred← citeshttps://doi.org/10.1109/issre.2011.9openalex-snapshot
Impact Analysis of Configuration Changes for Test Case Selection
inferred← citeshttps://doi.org/10.1109/issre.2012.23openalex-snapshot
Shared Execution for Efficiently Testing Product Lines
inferred← citeshttps://doi.org/10.1109/msr.2017.41openalex-snapshot
Developer Mistakes in Writing Android Manifests: An Empirical Study of Configuration Errors
inferred← citeshttps://doi.org/10.1109/nas.2014.28openalex-snapshot
Symbolic Execution of Network Software Based on Unit Testing
inferred← citeshttps://doi.org/10.1109/saner50967.2021.00079openalex-snapshot
A Case Study on the Evolution of Configuration Options of a Highly-Configurable Software System
inferred← citeshttps://doi.org/10.1109/sp.2018.00017openalex-snapshot
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
inferred← citeshttps://doi.org/10.1109/tse.2013.45openalex-snapshot
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features
inferred← citeshttps://doi.org/10.1109/tse.2013.55openalex-snapshot
iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
inferred← citeshttps://doi.org/10.1109/tse.2014.2327020openalex-snapshot
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines
inferred← citeshttps://doi.org/10.1109/tse.2015.2415793openalex-snapshot
Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study
inferred← citeshttps://doi.org/10.1109/tse.2017.2738640openalex-snapshot
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
inferred← citeshttps://doi.org/10.1109/tse.2017.2756048openalex-snapshot
Tracking Load-Time Configuration Options
inferred← citeshttps://doi.org/10.1109/tse.2018.2867847openalex-snapshot
Software Configuration Engineering in Practice Interviews, Survey, and Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/tse.2021.3057853openalex-snapshot
Looking For Novelty in Search-Based Software Product Line Testing
inferred← citeshttps://doi.org/10.1145/1806596.1806645openalex-snapshot
Mixing type checking and symbolic execution
inferred← citeshttps://doi.org/10.1145/1809028.1806645openalex-snapshot
Mixing type checking and symbolic execution
inferred← citeshttps://doi.org/10.1145/1985793.1985812openalex-snapshot
Static extraction of program configuration options
inferred← citeshttps://doi.org/10.1145/2019136.2019143openalex-snapshot
Pairwise feature-interaction testing for SPLs
inferred← citeshttps://doi.org/10.1145/2043556.2043572openalex-snapshot
An empirical study on configuration errors in commercial and open source systems
inferred← citeshttps://doi.org/10.1145/2103621.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferred← citeshttps://doi.org/10.1145/2384616.2384673openalex-snapshot
A variability-aware module system
inferred← citeshttps://doi.org/10.1145/2398857.2384673openalex-snapshot
A variability-aware module system
inferred← citeshttps://doi.org/10.1145/2568225.2568283openalex-snapshot
Mining configuration constraints: static analyses and empirical results
inferred← citeshttps://doi.org/10.1145/2568225.2568300openalex-snapshot
Exploring variability-aware execution for testing plugin-based web applications
inferred← citeshttps://doi.org/10.1145/2635868.2635915openalex-snapshot
Beyond the rainbow: self-adaptive failure avoidance in configurable systems
inferred← citeshttps://doi.org/10.1145/2642937.2643001openalex-snapshot
Tracking load-time configuration options
inferred← citeshttps://doi.org/10.1145/2642937.2643009openalex-snapshot
PrefFinder
inferred← citeshttps://doi.org/10.1145/2648511.2648517openalex-snapshot
Identifying inactive code in product lines with configuration-aware system dependence graphs
inferred← citeshttps://doi.org/10.1145/2660190.2660191openalex-snapshot
On the relation between internal and external feature interactions in feature-oriented product lines
inferred← citeshttps://doi.org/10.1145/2786805.2786852openalex-snapshot
Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software
inferred← citeshttps://doi.org/10.1145/2950290.2950311openalex-snapshot
iGen: dynamic interaction inference for configurable software
inferred← citeshttps://doi.org/10.1145/2961111.2962602openalex-snapshot
An Empirical Study on Performance Bugs for Highly Configurable Software Systems
inferred← citeshttps://doi.org/10.1145/2970276.2970322openalex-snapshot
On essential configuration complexity: measuring interactions in highly-configurable systems
inferred← citeshttps://doi.org/10.1145/3106237.3106283openalex-snapshot
Kmax: finding all configurations of Kbuild makefiles statically
inferred← citeshttps://doi.org/10.1145/3135932.3135951openalex-snapshot
How to efficiently process 2 100 list variations
inferred← citeshttps://doi.org/10.1145/3141235.3141241openalex-snapshot
New Directions for Container Debloating
inferred← citeshttps://doi.org/10.1145/3168365.3168376openalex-snapshot
VarXplorer
inferred← citeshttps://doi.org/10.1145/3233027.3236404openalex-snapshot
Localizing configurations in highly-configurable systems
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/3238147.3238175openalex-snapshot
AutoConfig: automatic configuration tuning for distributed message systems
inferred← citeshttps://doi.org/10.1145/3238147.3240466openalex-snapshot
Navigating the maze: the impact of configurability in bioinformatics software
inferred← citeshttps://doi.org/10.1145/3276487openalex-snapshot
Faster variational execution with transparent bytecode transformation
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/3368089.3409727openalex-snapshot
Understanding and discovering software configuration dependencies in cloud and datacenter systems
inferred← citeshttps://doi.org/10.1145/3377813.3381366openalex-snapshot
Exploring differences and commonalities between feature flags and configuration options
inferred← citeshttps://doi.org/10.1145/3393934.3278127openalex-snapshot
Exploring feature interactions without specifications: a controlled experiment
inferred← citeshttps://doi.org/10.1145/3442391.3442411openalex-snapshot
Testing of Highly Configurable Cyber-Physical Systems – A Multiple Case Study
inferred← citeshttps://doi.org/10.1145/3510003.3510190openalex-snapshot
On the benefits and limits of incremental build of software configurations
inferred← citeshttps://doi.org/10.1145/3510455.3512792openalex-snapshot
Towards incremental build of software configurations
inferred← citeshttps://doi.org/10.1145/3524059.3532391openalex-snapshot
Performance-detective
inferred← citeshttps://doi.org/10.15623/ijret.2015.0403095openalex-snapshot
TEST CASE OPTIMIZATION IN CONFIGURATION TESTING USING RIPPER ALGORITHM
inferred← citeshttps://doi.org/10.18698/0236-3933-2015-5-75-96openalex-snapshot
Summary-based interprocedural analysis method for implementation in multi-purpose static C/C++ code analyzer
inferred← citeshttps://doi.org/10.21236/ada560012openalex-snapshot
Specifying and Verifying the Correctness of Dynamic Software Updates
inferred← citeshttps://doi.org/10.21817/ijet/2017/v9i6/170906084openalex-snapshot
A Systematic Literature Review on Feature Oriented Software Development Paradigm
inferred← citeshttps://doi.org/10.22541/au.169790763.30054013/v1openalex-snapshot
ToffA-DSPL: An approach of Trade-off Analysis for designing Dynamic Software Product Lines
inferred← citeshttps://doi.org/10.36227/techrxiv.12789203openalex-snapshot
Looking For Novelty in Search-based Software Product Line Testing
inferred← citeshttps://doi.org/10.36227/techrxiv.12789203.v1openalex-snapshot
Looking For Novelty in Search-based Software Product Line Testing
inferred← citeshttps://doi.org/10.4236/jsea.2021.149028openalex-snapshot
A Study of Performance Testing in Configurable Software Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1712.07440openalex-snapshot
On the Relation of External and Internal Feature Interactions: A Case Study
inferred← citeshttps://doi.org/10.48550/arxiv.1903.12247openalex-snapshot
iGen: Dynamic Interaction Inference for Configurable Software
inferred← citeshttps://doi.org/10.5555/2337223.2337329openalex-snapshot
iTree: efficiently discovering high-coverage configurations using interaction trees
inferred← citeshttps://doi.org/10.5555/3106050.3106052openalex-snapshot
Efficient mutation testing in configurable systems
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.