On the public citation graph
Product-line specification and verification with feature-oriented contracts
0 signed · 211 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/11554844_3openalex-snapshot
Feature Models, Grammars, and Propositional Formulas
inferredcites →https://doi.org/10.1007/11561347_10openalex-snapshot
FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming
inferredcites →https://doi.org/10.1007/11561347_21openalex-snapshot
Statically Safe Program Generation with SafeGen
inferredcites →https://doi.org/10.1007/11687061_4openalex-snapshot
Aspect Categories and Classes of Temporal Properties
inferredcites →https://doi.org/10.1007/11877028_1openalex-snapshot
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite
inferredcites →https://doi.org/10.1007/3-540-44800-4_2openalex-snapshot
A Standard Problem for Evaluating Product-Line Methodologies
inferredcites →https://doi.org/10.1007/3-540-44815-2_5openalex-snapshot
Aspect Composition Applying the Design by Contract Principle
inferredcites →https://doi.org/10.1007/3-540-45949-9openalex-snapshot
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
inferredcites →https://doi.org/10.1007/978-1-4615-4339-8_13openalex-snapshot
Object-Oriented Frameworks and Product Lines
inferredcites →https://doi.org/10.1007/978-1-84882-736-3_3openalex-snapshot
The Abstract State Machines Method for High-Level System Design and Analysis
inferredcites →https://doi.org/10.1007/978-3-319-12154-3_4openalex-snapshot
The KeY Platform for Verification and Analysis of Java Programs
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_6openalex-snapshot
ESC/Java2: Uniting ESC/Java and JML
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_27openalex-snapshot
Towards Consistent Specifications of Product Families
inferredcites →https://doi.org/10.1007/978-3-540-68863-1_8openalex-snapshot
Modeling and Model Checking Software Product Lines
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_21openalex-snapshot
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
inferredcites →https://doi.org/10.1007/978-3-540-87603-8_17openalex-snapshot
The Composition of Event-B Models
inferredcites →https://doi.org/10.1007/978-3-642-11811-1_42openalex-snapshot
A Basis for Feature-Oriented Modelling in Event-B
inferredcites →https://doi.org/10.1007/978-3-642-12544-7_18openalex-snapshot
Quality Assurance in the Presence of Variability
inferredcites →https://doi.org/10.1007/978-3-642-15579-6_14openalex-snapshot
Automated Incremental Pairwise Testing of Software Product Lines
inferredcites →https://doi.org/10.1007/978-3-642-15579-6_6openalex-snapshot
Delta-Oriented Programming of Software Product Lines
inferredcites →https://doi.org/10.1007/978-3-642-18070-5_5openalex-snapshot
Verification of Software Product Lines with Delta-Oriented Slicing
inferredcites →https://doi.org/10.1007/978-3-642-20398-5_35openalex-snapshot
OpenJML: JML for Java 7 by Extending OpenJDK
inferredcites →https://doi.org/10.1007/978-3-642-21347-2_3openalex-snapshot
Supporting Consistency Checking between Features and Software Product Line Use Scenarios
inferredcites →https://doi.org/10.1007/978-3-642-33314-9_3openalex-snapshot
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
inferredcites →https://doi.org/10.1007/978-3-642-34026-0_15openalex-snapshot
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines
inferredcites →https://doi.org/10.1007/978-3-642-34026-0_4openalex-snapshot
A Liskov Principle for Delta-Oriented Programming
inferredcites →https://doi.org/10.1007/978-3-642-36249-1_1openalex-snapshot
Model Checking Adaptive Software with Featured Transition Systems
inferredcites →https://doi.org/10.1007/978-3-642-37521-7openalex-snapshot
Feature-Oriented Software Product Lines: Concepts and Implementation
inferredcites →https://doi.org/10.1007/978-3-642-38574-2_21openalex-snapshot
Reuse in Software Verification by Abstract Method Calls
inferredcites →https://doi.org/10.1007/978-3-642-38977-1_1openalex-snapshot
Validating Consistency between a Feature Model and Its Implementation
inferredcites →https://doi.org/10.1007/978-3-642-40213-5_4openalex-snapshot
Delta Modeling and Model Checking of Product Families
inferredcites →https://doi.org/10.1007/978-3-642-53956-5_15openalex-snapshot
Towards Formal Safety Analysis in Feature-Oriented Product Line Development
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1007/978-3-662-22646-9openalex-snapshot
Automated Theorem Proving in Software Engineering
inferredcites →https://doi.org/10.1007/978-3-662-45231-8_9openalex-snapshot
Fully Abstract Operation Contracts
inferredcites →https://doi.org/10.1007/978-3-662-45234-9_23openalex-snapshot
DeltaCCS: A Core Calculus for Behavioral Change
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_4openalex-snapshot
Assigning Meanings to Programs
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1007/bf03192552openalex-snapshot
Quality aware software product line engineering
inferredcites →https://doi.org/10.1007/bfb0053389openalex-snapshot
Feature-oriented programming: A fresh look at objects
inferredcites →https://doi.org/10.1007/s00236-012-0173-zopenalex-snapshot
Compositional type checking of delta-oriented software product lines
inferredcites →https://doi.org/10.1007/s10009-004-0167-4openalex-snapshot
An overview of JML tools and applications
inferredcites →https://doi.org/10.1007/s10009-007-0044-zopenalex-snapshot
The software model checker Blast
inferredcites →https://doi.org/10.1007/s100090050043openalex-snapshot
Model checking JAVA programs using JAVA PathFinder
inferredcites →https://doi.org/10.1007/s10515-005-2643-9openalex-snapshot
Modular Verification of Open Features Using Three-Valued Model Checking
inferredcites →https://doi.org/10.1007/s10515-010-0066-8openalex-snapshot
Type safety for feature-oriented product lines
inferredcites →https://doi.org/10.1007/s10515-010-0075-7openalex-snapshot
Compositional model checking of software product lines using variation point obligations
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/j.infsof.2010.12.003openalex-snapshot
A systematic mapping study of software product lines testing
inferredcites →https://doi.org/10.1016/j.infsof.2014.04.002openalex-snapshot
On strategies for testing software product lines: A systematic literature review
inferredcites →https://doi.org/10.1016/j.is.2010.01.001openalex-snapshot
Automated analysis of feature models 20 years later: A literature review
inferredcites →https://doi.org/10.1016/j.jss.2007.01.047openalex-snapshot
Safety Analysis of Software Product Lines Using State-Based Modeling
inferredcites →https://doi.org/10.1016/j.scico.2009.02.007openalex-snapshot
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
inferredcites →https://doi.org/10.1016/j.scico.2010.02.001openalex-snapshot
An algebraic foundation for automatic feature-based program synthesis
inferredcites →https://doi.org/10.1016/j.scico.2012.06.002openalex-snapshot
FeatureIDE: An extensible framework for feature-oriented software development
inferredcites →https://doi.org/10.1016/j.scico.2013.07.016openalex-snapshot
Implementing type-safe software product lines using parametric traits
inferredcites →https://doi.org/10.1016/s0167-6423(00)00018-6openalex-snapshot
Feature integration using a feature construct
inferredcites →https://doi.org/10.1023/b:ause.0000049208.84702.84openalex-snapshot
Fundamental Nonmodularity in Electronic Mail
inferredcites →https://doi.org/10.1109/ase.2011.6100075openalex-snapshot
Detection of feature interactions using feature-aware verification
inferredcites →https://doi.org/10.1109/iceccs.2008.17openalex-snapshot
On Extracting Tests from a Testable Model in the Context of Domain Engineering
inferredcites →https://doi.org/10.1109/icse.2009.5070568openalex-snapshot
FeatureIDE: A tool framework for feature-oriented software development
inferredcites →https://doi.org/10.1109/icse.2013.6606593openalex-snapshot
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features
inferredcites →https://doi.org/10.1109/icst.2010.43openalex-snapshot
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
inferredcites →https://doi.org/10.1109/icst.2011.20openalex-snapshot
Runtime Verification of Linux Kernel Modules Based on Call Interception
inferredcites →https://doi.org/10.1109/issre.2010.11openalex-snapshot
Detecting Dependences and Interactions in Feature-Oriented Design
inferredcites →https://doi.org/10.1109/issre.2012.23openalex-snapshot
Shared Execution for Efficiently Testing Product Lines
inferredcites →https://doi.org/10.1109/ms.2003.1231149openalex-snapshot
Model-driven development: a metamodeling foundation
inferredcites →https://doi.org/10.1109/ms.2006.24openalex-snapshot
Modular software design with crosscutting interfaces
inferredcites →https://doi.org/10.1109/scam.2002.1134108openalex-snapshot
Handling preprocessor-conditioned declarations
inferredcites →https://doi.org/10.1109/splc.2008.34openalex-snapshot
An Approach for Developing Service Oriented Product Lines
inferredcites →https://doi.org/10.1109/splc.2008.45openalex-snapshot
Formal Modeling for Product Families Engineering
inferredcites →https://doi.org/10.1109/splc.2011.53openalex-snapshot
Abstract Features in Feature Modeling
inferredcites →https://doi.org/10.1109/tse.1976.233797openalex-snapshot
On the Design and Development of Program Families
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.2012.86openalex-snapshot
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
inferredcites →https://doi.org/10.1109/wcre.2012.24openalex-snapshot
Feature Location in a Collection of Product Variants
inferredcites →https://doi.org/10.1109/wcre.2012.45openalex-snapshot
Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices
inferredcites →https://doi.org/10.1142/s0218194013500265openalex-snapshot
QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY
inferredcites →https://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferredcites →https://doi.org/10.1145/1134285.1134303openalex-snapshot
Feature oriented refactoring of legacy applications
inferredcites →https://doi.org/10.1145/1147249.1147254openalex-snapshot
A foundation for behavioural conformance in software product line architectures
inferredcites →https://doi.org/10.1145/1173706.1173738openalex-snapshot
Verifying feature-based model templates against well-formedness OCL constraints
inferredcites →https://doi.org/10.1145/1289971.1289989openalex-snapshot
Safe composition of product lines
inferredcites →https://doi.org/10.1145/1408647.1408648openalex-snapshot
Contracts for aspect-oriented design
inferredcites →https://doi.org/10.1145/1621607.1621632openalex-snapshot
A model of refactoring physically and virtually separated features
inferredcites →https://doi.org/10.1145/1621607.1621634openalex-snapshot
Safe composition of non-monotonic features
inferredcites →https://doi.org/10.1145/1629716.1629730openalex-snapshot
Towards systematic ensuring well-formedness of software product lines
inferredcites →https://doi.org/10.1145/1629716.1629731openalex-snapshot
An extension for feature algebra
inferredcites →https://doi.org/10.1145/1745312.1745316openalex-snapshot
A calculus for uniform feature composition
inferredcites →https://doi.org/10.1145/1806799.1806819openalex-snapshot
An analysis of the variability in forty preprocessor-based software product lines
inferredcites →https://doi.org/10.1145/1806799.1806850openalex-snapshot
Model checking lots of systems
inferredcites →https://doi.org/10.1145/1868688.1868694openalex-snapshot
Patching product line programs
inferredcites →https://doi.org/10.1145/1868688.1868698openalex-snapshot
Language-independent reference checking in software product lines
inferredcites →https://doi.org/10.1145/1869459.1869499openalex-snapshot
Modular logic metaprogramming
inferredcites →https://doi.org/10.1145/1869631.1869642openalex-snapshot
Contracts for first-class classes
inferredcites →https://doi.org/10.1145/1883612.1883618openalex-snapshot
A survey of combinatorial testing
inferredcites →https://doi.org/10.1145/1960275.1960283openalex-snapshot
Compositional type-checking for delta-oriented programming
inferredcites →https://doi.org/10.1145/1960275.1960284openalex-snapshot
Reducing combinatorics in testing product lines
inferredcites →https://doi.org/10.1145/1966445.1966451openalex-snapshot
Feature consistency in compile-time-configurable system software
inferredcites →https://doi.org/10.1145/197320.197383openalex-snapshot
A behavioral notion of subtyping
inferredcites →https://doi.org/10.1145/1985793.1985838openalex-snapshot
Symbolic model checking of software product lines
inferredcites →https://doi.org/10.1145/2019136.2019144openalex-snapshot
Automatic detection of feature interactions using the Java modeling language
inferredcites →https://doi.org/10.1145/2048066.2048128openalex-snapshot
Variability-aware parsing in the presence of lexical macros and conditional compilation
inferredcites →https://doi.org/10.1145/2076674.2076681openalex-snapshot
On the interplay of exception handling and design by contract
inferredcites →https://doi.org/10.1145/2094091.2094095openalex-snapshot
Configuration coverage in the analysis of large-scale system software
inferredcites →https://doi.org/10.1145/2162010.2162015openalex-snapshot
Design by contract for aspects, by aspects
inferredcites →https://doi.org/10.1145/217838.217870openalex-snapshot
Towards a methodology for explicit composition of metaobjects
inferredcites →https://doi.org/10.1145/2211616.2211617openalex-snapshot
Type checking annotation-based product lines
inferredcites →https://doi.org/10.1145/2362536.2362545openalex-snapshot
A survey on software product line testing
inferredcites →https://doi.org/10.1145/236337.236375openalex-snapshot
Using role components in implement collaboration-based designs
inferredcites →https://doi.org/10.1145/2364412.2364422openalex-snapshot
A transformational proof system for delta-oriented programming
inferredcites →https://doi.org/10.1145/2371401.2371404openalex-snapshot
Family-based deductive verification of software product lines
inferredcites →https://doi.org/10.1145/2377816.2377817openalex-snapshot
Toward variability-aware testing
inferredcites →https://doi.org/10.1145/2377816.2377822openalex-snapshot
Ensuring well-formedness of configured domain models in model-driven product lines based on negative variability
inferredcites →https://doi.org/10.1145/2384616.2384673openalex-snapshot
A variability-aware module system
inferredcites →https://doi.org/10.1145/2384616.2384674openalex-snapshot
Gradual typing for first-class classes
inferredcites →https://doi.org/10.1145/2451598.2451603openalex-snapshot
Modular aspect-oriented design rule enforcement with XPIDRs
inferredcites →https://doi.org/10.1145/2483760.2492396openalex-snapshot
Product-line verification with feature-oriented contracts
inferredcites →https://doi.org/10.1145/2491411.2491437openalex-snapshot
Scalable analysis of variable software
inferredcites →https://doi.org/10.1145/2499777.2500719openalex-snapshot
Towards modular analysis of multi product lines
inferredcites →https://doi.org/10.1145/2499777.2500722openalex-snapshot
Combining declarative and procedural views in the specification and analysis of product families
inferredcites →https://doi.org/10.1145/2517208.2517213openalex-snapshot
A comparison of product-based, feature-based, and family-based type checking
inferredcites →https://doi.org/10.1145/2517208.2517221openalex-snapshot
Investigating preprocessor-based syntax errors
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/2577080.2577091openalex-snapshot
Systematic derivation of static analyses for software product lines
inferredcites →https://doi.org/10.1145/2577080.2577095openalex-snapshot
Probabilistic model checking for energy analysis in software product lines
inferredcites →https://doi.org/10.1145/2628136.2628155openalex-snapshot
Type-based parametric analysis of program families
inferredcites →https://doi.org/10.1145/2635868.2635928openalex-snapshot
Building call graphs for embedded client-side code in dynamic web applications
inferredcites →https://doi.org/10.1145/2642937.2642990openalex-snapshot
42 variability bugs in the linux kernel
inferredcites →https://doi.org/10.1145/2647908.2655970openalex-snapshot
Software product line analysis with mCRL2
inferredcites →https://doi.org/10.1145/2647908.2655972openalex-snapshot
An overview on analysis tools for software product lines
inferredcites →https://doi.org/10.1145/2647908.2655973openalex-snapshot
An extensible platform for product-line behavioural analysis
inferredcites →https://doi.org/10.1145/2648511.2648530openalex-snapshot
Potential synergies of theorem proving and model checking for software product lines
inferredcites →https://doi.org/10.1145/2666581.2666589openalex-snapshot
Model checking partial software product line designs
inferredcites →https://doi.org/10.1145/503209.503240openalex-snapshot
Behavioral contracts and behavioral subtyping
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/581478.581484openalex-snapshot
Contracts for higher-order functions
inferredcites →https://doi.org/10.1145/587051.587066openalex-snapshot
Verifying cross-cutting features as open systems
inferredcites →https://doi.org/10.1201/b11321-24openalex-snapshot
A Survey of Model-Based Software Product Lines Testing
inferredcites →https://doi.org/10.21236/ada235785openalex-snapshot
Feature-Oriented Domain Analysis (FODA) Feasibility Study
inferredcites →https://doi.org/10.31274/rtd-180813-16445openalex-snapshot
A design discipline and language features for modular reasoning in aspect-oriented programs
inferredcites →https://doi.org/10.3217/jucs-014-12-2059openalex-snapshot
Modularizing Theorems for Software Product Lines: The Jbook Case Study
inferredcites →https://doi.org/10.48550/arxiv.cs/0501070openalex-snapshot
Extending Design by Contract for Aspect-Oriented Programming
inferredcites →https://doi.org/10.5445/ksp/1000021694openalex-snapshot
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
inferredcites →https://doi.org/10.5555/1753235.1753249openalex-snapshot
Gathering current knowledge about quality evaluation in software product lines
inferredcites →https://doi.org/10.5555/1753235.1753261openalex-snapshot
On the impact of the optional feature problem: analysis and case studies
inferredcites →https://doi.org/10.5555/1753235.1753267openalex-snapshot
SAT-based analysis of feature models is easy
inferredcites →https://doi.org/10.5555/227726.227772openalex-snapshot
Forcing behavioral subtyping through specification inheritance
inferredcites →https://doi.org/10.5555/2486788.2486852openalex-snapshot
Strategies for product-line verification: case studies and experiments
inferredcites →https://doi.org/10.5555/2486788.2486971openalex-snapshot
A framework for managing cloned product variants
inferredcites →https://doi.org/10.5555/2561828.2561878openalex-snapshot
Formal verification of distributed dynamic thermal management
inferredcites →https://doi.org/10.70675/eac7e88ez55d5z4954zad5ez7b31ecbea04eopenalex-snapshot
Methodology for the derivation of product behaviour in a Software Product Line
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2525openalex-snapshot
Composing annotations without regret? Practical experiences using FeatureC
inferred← citeshttps://doi.org/10.1002/stvr.1676openalex-snapshot
Mutation operators for feature‐oriented software product lines
inferred← citeshttps://doi.org/10.1007/978-3-030-42152-6_4openalex-snapshot
Variable Context Conditions
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_10openalex-snapshot
Developing an Elevator with Conditional Compilation
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_11openalex-snapshot
Feature Traceability for Conditional Compilation
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_12openalex-snapshot
Quality Assurance for Conditional Compilation
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_13openalex-snapshot
Feature-Oriented Programming with FeatureIDE
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_14openalex-snapshot
Developing an Elevator with Feature-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_15openalex-snapshot
Feature Traceability for Feature-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_16openalex-snapshot
Quality Assurance for Feature-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_17openalex-snapshot
Tool Support Beyond Preprocessors and Feature Modules
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_18openalex-snapshot
Tool Support for Product-Line Maintenance
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_4openalex-snapshot
An Elevator as a Running Example
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_7openalex-snapshot
Feature Traceability in Feature Models and Configurations
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_8openalex-snapshot
Quality Assurance for Feature Models and Configurations
inferred← citeshttps://doi.org/10.1007/978-3-319-61443-4_9openalex-snapshot
Conditional Compilation with FeatureIDE
inferred← citeshttps://doi.org/10.1007/978-3-319-63121-9_19openalex-snapshot
Towards Automated Variant Selection for Heterogeneous Tiled Architectures
inferred← citeshttps://doi.org/10.1007/978-3-319-68690-5_2openalex-snapshot
Modularization of Refinement Steps for Agile Formal Methods
inferred← citeshttps://doi.org/10.1016/j.cola.2022.101119openalex-snapshot
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines
inferred← citeshttps://doi.org/10.1016/j.jss.2019.01.044openalex-snapshot
Feature-oriented contract composition
inferred← citeshttps://doi.org/10.1145/2735386.2735843openalex-snapshot
A theory of modularity for automated software development (keynote)
inferred← citeshttps://doi.org/10.1145/2866614.2866628openalex-snapshot
Variability Hiding in Contracts for Dependent Software Product Lines
inferred← citeshttps://doi.org/10.1145/2934466.2934471openalex-snapshot
Product-line maintenance with emergent contract interfaces
inferred← citeshttps://doi.org/10.1145/3001867.3001876openalex-snapshot
FeatureCoPP: compositional annotations
inferred← citeshttps://doi.org/10.1145/3106195.3106217openalex-snapshot
Beyond Software Product Lines
inferred← citeshttps://doi.org/10.1145/3425898.3426959openalex-snapshot
Correctness-by-construction for feature-oriented software product lines
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.