Toward variability-aware testing
Abstract
We investigate how to execute a unit test for all products of a product line without generating each product in isolation in a brute-force fashion. Learning from variability-aware analyses, we (a) design and implement a variability-aware interpreter and, alternatively, (b) reencode variability of the product line to simulate the test cases with a model checker. The interpreter internally reasons about variability, executing paths not affected by variability only once for the whole product line. The model checker achieves similar results by reusing powerful off-the-shelf analyses. We experimented with a prototype implementation for each strategy. We compare both strategies and discuss trade-offs and future directions. In the long run, we aim at finding an efficient testing approach that can be applied to entire product lines with millions of products.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The number of tests needed to evaluate every possible value pair can be significantly smaller than the exhaustive testing alternative.
“The number of tests needed to evaluate every possible value pair can be significantly smaller than the exhaustive testing alternative since each test can simultaneously contribute to multiple value pairs [22, 44, 80].”
From Fairness testing: testing software for discrimination (2017) · cites this paper as [44]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
Software Product Line Engineering
Pohl, K., Böckle, G., & van der Linden, F. (2005) · Springer eBooks · doi:10.1007/3-540-28901-1 · Cited by 3,409 · see citing works
Generative Programming: Methods, Tools, and Applications
Czarnecki, K., & Eisenecker, U. W. (2000) · Cited by 2,537 · see citing works
Visser, W., Havelund, K., Brat, G. P., Park, S., & Lerda, F. (2003) · Automated Software Engineering · doi:10.1023/a:1022920129859 · Cited by 1,344 · see citing works
Software fault interactions and implications for software testing
Kuhn, D. R., Wallace, D. R., & Gallo, A. (2004) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2004.24 · Cited by 795 · see citing works
Model checking lots of systems
Claßen, A., Heymans, P., Schobbens, P., Legay, A., & Raskin, J.-F. (2010) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/1806799.1806850 · Cited by 360 · see citing works
Symbolic execution for software testing in practice
Cadar, C., Godefroid, P., Sarfraz Khurshid, D., Păsăreanu, C. S., Sen, K., Tillmann, N., & Visser, W. (2011) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/1985793.1985995 · Cited by 324 · see citing works
Variability-aware parsing in the presence of lexical macros and conditional compilation
Kästner, C., Giarrusso, P. G., Rendel, T., Erdweg, S. T., Ostermann, K., & Berger, T. (2011) · Conference on Object-Oriented Programming Systems, Languages, and Applications · doi:10.1145/2048066.2048128 · Cited by 281 · see citing works
Self-citationSafe composition of product lines
Thaker, S., Batory, D. S., Kitchin, D., & Cook, W. R. (2007) · International Conference on Generative Programming and Component Engineering (GPCE) · doi:10.1145/1289971.1289989 · Cited by 219 · see citing works
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Perrouin, G., Sen, S., Klein, J., Baudry, B., & Traon, Y. L. (2010) · IEEE International Conference on Software Testing, Verification and Validation (ICST) · doi:10.1109/icst.2010.43 · Cited by 218 · see citing works
A Standard Problem for Evaluating Product-Line Methodologies
Lopez-Herrejon, R. E., & Batory, D. S. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44800-4_2 · Cited by 198 · see citing works
Type checking annotation-based product lines
Kästner, C., Apel, S., Thüm, T., & Saake, G. (2012) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/2211616.2211617 · Cited by 175 · see citing works
Self-citationReducing combinatorics in testing product lines
Kim, C. H. P., Batory, D. S., & Khurshid, S. (2011) · International Conference on Aspect-Oriented Software Development (AOSD) · doi:10.1145/1960275.1960284 · Cited by 148 · see citing works
Model Checking of Domain Artifacts in Product Line Engineering
Lauenroth, K., Pohl, K., & Toehning, S. (2009) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2009.16 · Cited by 145 · see citing works
Automated Incremental Pairwise Testing of Software Product Lines
Oster, S., Markert, F., & Ritter, P. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-15579-6_14 · Cited by 142 · see citing works
Detection of feature interactions using feature-aware verification
Apel, S., Speidel, H., Wendler, P., von Rhein, A., & Beyer, D. (2011) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2011.6100075 · Cited by 135 · see citing works
Self-citationErwig, M., & Walkingshaw, E. (2011) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/2063239.2063245 · Cited by 131 · see citing works
Type safety for feature-oriented product lines
Apel, S., Kästner, C., Größlinger, A., & Lengauer, C. (2010) · Automated Software Engineering · doi:10.1007/s10515-010-0066-8 · Cited by 111 · see citing works
Self-citationIntraprocedural dataflow analysis for software product lines
Brabrand, C., Ribeiro, M., Tolêdo, T., & Borba, P. H. M. (2012) · International Conference on Aspect-Oriented Software Development (AOSD) · doi:10.1145/2162049.2162052 · Cited by 91 · see citing works
Configuration Lifting: Verification meets Software Configuration
Post, H., & Sinz, C. (2008) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2008.45 · Cited by 91 · see citing works
Incremental Model-Based Testing of Delta-Oriented Software Product Lines
Lochau, M., Schaefer, I., Kamischke, J., & Lity, S. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-30473-6_7 · Cited by 88 · see citing works
Family-based deductive verification of software product lines
Thüm, T., Schaefer, I., Apel, S., & Hentschel, M. (2012) · International Conference on Generative Programming and Component Engineering (GPCE) · doi:10.1145/2371401.2371404 · Cited by 80 · see citing works
Self-citationExtending Type Inference to Variational Programs
Chen, S., Erwig, M., & Walkingshaw, E. (2014) · ACM Transactions on Programming Languages and Systems · doi:10.1145/2518190 · Cited by 62 · see citing works
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines
Cichos, H., Oster, S., Lochau, M., & Schürr, A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-24485-8_31 · Cited by 60 · see citing works
Analysis Strategies for Software Product Lines
Thüm, T., Apel, S., Kästner, C., Kuhlemann, M., Schaefer, I., Saake, G., & Datenbanken, A. (2012) · Cited by 59 · see citing works
Self-citationIntegration Testing of Software Product Lines Using Compositional Symbolic Execution
Shi, J., Cohen, M. B., & Dwyer, M. B. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-28872-2_19 · Cited by 52 · see citing works
Improving the Testing and Testability of Software Product Lines
Cabral, I., Cohen, M. B., & Rothermel, G. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-15579-6_17 · Cited by 35 · see citing works
Introducing Binary Decision Diagrams in the explicit-state verification of Java code
von Rhein, A., Apel, S., & Raimondi, F. (2011) · Middlesex University Research Repository (Middlesex University Of London) · Cited by 23 · see citing works
Self-citationVariation Programming with the Choice Calculus
Erwig, M., & Walkingshaw, E. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-35992-7_2 · Cited by 20 · see citing works
A specification-based approach to testing software product lines
Uzuncaova, E., García, D., Sarfraz Khurshid, D., & Batory, D. S. (2007) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/1287624.1287701 · Cited by 12 · see citing works
Static flow-sensitive & context-sensitive information-flow analysis for software product lines
Bodden, E. (2012) · ACM Workshop on Programming Languages and Analysis for Security · doi:10.1145/2336717.2336723 · Cited by 10 · see citing works
Flagged first, then by citations
Cited by
Sorted by citations
A Classification and Survey of Analysis Strategies for Software Product Lines
Thüm, T., Apel, S., Kästner, C., Schaefer, I., & Saake, G. (2014) · ACM Computing Surveys · doi:10.1145/2580950 · Cited by 483 · see citing works
Self-citationFairness testing: testing software for discrimination
Galhotra, S., Brun, Y., & Meliou, A. (2017) · Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering · doi:10.1145/3106237.3106277 · Cited by 405 · see citing works
Scalable analysis of variable software
Liebig, J., von Rhein, A., Kästner, C., Apel, S., Dörre, J., & Lengauer, C. (2013) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2491411.2491437 · Cited by 155 · see citing works
Self-citationBrun, Y., & Meliou, A. (2018) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3236024.3264838 · Cited by 138 · see citing works
Exploring variability-aware execution for testing plugin-based web applications
Nguyen, H. V., Kästner, C., & Nguyen, T. N. (2014) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/2568225.2568300 · Cited by 135 · see citing works
Self-citationOn essential configuration complexity: measuring interactions in highly-configurable systems
Meinicke, J., Wong, C.-P., Kästner, C., Thüm, T., & Saake, G. (2016) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1145/2970276.2970322 · Cited by 116 · see citing works
Self-citationSPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Kim, C. H. P., Marinov, D., Sarfraz Khurshid, D., Batory, D. S., Souto, S., Barros, P., & d’Amorim, M. (2013) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2491411.2491459 · Cited by 99 · see citing works
Variability Mining: Consistent Semi-automatic Detection of Product-Line Features
Kästner, C., Dreiling, A., & Ostermann, K. (2013) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2013.45 · Cited by 93 · see citing works
Self-citationA classification of product sampling for software product lines
Varshosaz, M., Al‐Hajjaji, M., Thüm, T., Runge, T., Mousavi, M. R., & Schaefer, I. (2018) · International Software Product Line Conference (SPLC) · doi:10.1145/3233027.3233035 · Cited by 87 · see citing works
Lifting model transformations to product lines
Salay, R., Famelis, M., Rubin, J., Sandro, A. D., & Chećhik, M. (2014) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/2568225.2568267 · Cited by 75 · see citing works
Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?
Timperley, C. S., Afzal, A., Katz, D. S., Hernandez, J. M., & Goues, C. L. (2018) · IEEE International Conference on Software Testing, Verification and Validation (ICST) · doi:10.1109/icst.2018.00040 · Cited by 72 · see citing works
Variability-Aware Static Analysis at Scale
von Rhein, A., Liebig, J., Janker, A., Kästner, C., & Apel, S. (2018) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3280986 · Cited by 55 · see citing works
Self-citationA Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Claßen, A., Heymans, P., Schobbens, P., & Raskin, J.-F. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-30985-5_18 · Cited by 53 · see citing works
PATDroid: permission-aware GUI testing of Android
Sadeghi, A., Jabbarvand, R., & Malek, S. (2017) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3106237.3106250 · Cited by 48 · see citing works
Testing variability-intensive systems using automated analysis: an application to Android
Galindo, J. Á., Turner, H. A., Benavides, D., & White, J. (2014) · Software Quality Journal · doi:10.1007/s11219-014-9258-y · Cited by 47 · see citing works
An overview on analysis tools for software product lines
Meinicke, J., Thüm, T., Schröter, R., Benduhn, F., & Saake, G. (2014) · International Software Product Line Conference (SPLC) · doi:10.1145/2647908.2655972 · Cited by 44 · see citing works
Systematic derivation of correct variability-aware program analyses
Midtgaard, J., Dimovski, A. S., Brabrand, C., & Wąsowski, A. (2015) · Science of Computer Programming · doi:10.1016/j.scico.2015.04.005 · Cited by 44 · see citing works
Variability encoding: From compile-time to load-time variability
von Rhein, A., Thüm, T., Schaefer, I., Liebig, J., & Apel, S. (2015) · Journal of Logical and Algebraic Methods in Programming · doi:10.1016/j.jlamp.2015.06.007 · Cited by 44 · see citing works
Self-citationWalkingshaw, E., Kästner, C., Erwig, M., Apel, S., & Bodden, E. (2014) · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · doi:10.1145/2661136.2661143 · Cited by 42 · see citing works
Self-citationPotential synergies of theorem proving and model checking for software product lines
Thüm, T., Meinicke, J., Benduhn, F., Hentschel, M., von Rhein, A., & Saake, G. (2014) · International Software Product Line Conference (SPLC) · doi:10.1145/2648511.2648530 · Cited by 40 · see citing works
Managing design-time uncertainty
Famelis, M., & Chećhik, M. (2017) · Software & Systems Modeling · doi:10.1007/s10270-017-0594-9 · Cited by 33 · see citing works
Presence-Condition Simplification in Highly Configurable Systems
von Rhein, A., Grebhahn, A., Apel, S., Siegmund, N., Beyer, D., & Berger, T. (2015) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse.2015.39 · Cited by 32 · see citing works
Self-citationProduct-line specification and verification with feature-oriented contracts
Thüm, T. (2015) · Digitalen Hochschulbibliothek Sachsen-Anhalt (Universitäts- und Landesbibliothek Sachsen-Anhalt) · doi:10.25673/4200 · Cited by 32 · see citing works
Coverage Criteria for Behavioural Testing of Software Product Lines
Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P., & Heymans, P. (2014) · Lecture notes in computer science · doi:10.1007/978-3-662-45234-9_24 · Cited by 27 · see citing works
Faster variational execution with transparent bytecode transformation
Wong, C.-P., Meinicke, J., Lazarek, L., & Kästner, C. (2018) · Proceedings of the ACM on Programming Languages · doi:10.1145/3276487 · Cited by 26 · see citing works
Self-citationAbstract test case generation for behavioural testing of software product lines
Devroey, X., Perrouin, G., & Schobbens, P. (2014) · International Software Product Line Conference (SPLC) · doi:10.1145/2647908.2655971 · Cited by 25 · see citing works
Effective Analysis of C Programs by Rewriting Variability
Iosif-Lazăr, A. F., Melo, J., Dimovski, A. S., Brabrand, C., & Wąsowski, A. (2017) · The Art Science and Engineering of Programming · doi:10.22152/programming-journal.org/2017/1/1 · Cited by 24 · see citing works
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems
Afzal, A., Goues, C. L., & Timperley, C. (2021) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2021.3120680 · Cited by 20 · see citing works
A variability perspective of mutation analysis
Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A., & Schobbens, P. (2014) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2635868.2666610 · Cited by 19 · see citing works
Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G., & Heymans, P. (2017) · International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) · doi:10.1145/3023956.3023963 · Cited by 19 · see citing works
Covering SPL Behaviour with Sampled Configurations
Devroey, X., Perrouin, G., Legay, A., Schobbens, P., & Heymans, P. (2015) · International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) · doi:10.1145/2701319.2701325 · Cited by 18 · see citing works
Model‐based hypothesis testing of uncertain software systems
Camilli, M., Gargantini, A., & Scandurra, P. (2020) · Software Testing Verification and Reliability · doi:10.1002/stvr.1730 · Cited by 18 · see citing works
Thüm, T. (2020) · International Software Product Line Conference (SPLC) · doi:10.1145/3382025.3414943 · Cited by 17 · see citing works
Migrating Automotive Product Lines: A Case Study
Famelis, M., Lúcio, L., Selim, G. M. K., Sandro, A. D., Salay, R., Chećhik, M., Cordy, J. R., Juergen Dingel, A., Vangheluwe, H. L., & Ramesh, S. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-21155-8_7 · Cited by 17 · see citing works
Efficiently finding higher-order mutants
Wong, C.-P., Meinicke, J., Chen, L., Diniz, J. P., Kästner, C., & Figueiredo, E. (2020) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3368089.3409713 · Cited by 17 · see citing works
Self-citationUncertainty-aware Exploration in Model-based Testing
Camilli, M., Gargantini, A., Scandurra, P., & Trubiani, C. (2021) · IEEE International Conference on Software Testing, Verification and Validation (ICST) · doi:10.1109/icst49551.2021.00019 · Cited by 14 · see citing works
Variability in Software: State of the Art and Future Directions
Czarnecki, K. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-37057-1_1 · Cited by 13 · see citing works
Verification and analysis of variable operating systems
Кулямин, В. В., Lavrischeva, E. M., Mutilin, V., & Petrenko, A. K. (2016) · Proceedings of the Institute for System Programming of RAS · doi:10.15514/ispras-2016-28(3)-12 · Cited by 12 · see citing works
Managing Design-Time Uncertainty
Famelis, M., & Chećhik, M. (2017) · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · doi:10.1109/models.2017.24 · Cited by 11 · see citing works
Large-Scale Variability-Aware Type Checking and Dataflow Analysis
Liebig, J., von Rhein, A., Kästner, C., Apel, S., Dörre, J., & Lengauer, C. (2018) · Figshare · doi:10.1184/r1/6622799 · Cited by 11 · see citing works
Self-citationConfigurable Software Product Lines – Supporting Heterogeneous Configuration Knowledge
Cirilo, E. J. R., Kulesza, U., Garcia, A., Cowan, D. D., Alencar, P., & de Lucena, C. J. P. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-38977-1_12 · Cited by 8 · see citing works
A choice of variational stacks
Meng, M., Meinicke, J., Wong, C.-P., Walkingshaw, E., & Kästner, C. (2017) · International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) · doi:10.1145/3023956.3023966 · Cited by 8 · see citing works
Self-citationCode-Level Functional Equivalence Checking of Annotative Software Product Lines
Wang, A., Feng, N., & Chećhik, M. (2023) · International Software Product Line Conference (SPLC) · doi:10.1145/3579027.3608978 · Cited by 7 · see citing works
Faster bug detection for software product lines with incomplete feature models
Souto, S., Gopinath, D., d’Amorim, M., Marinov, D., Sarfraz Khurshid, D., & Batory, D. S. (2015) · International Software Product Line Conference (SPLC) · doi:10.1145/2791060.2791093 · Cited by 7 · see citing works
Hierachical Model of Behavior On-line Testing for Distributed Information Systems
Martynyuk, O. N., Drozd, O., Tamim, A., Thuong, B. V., Sachenko, A., Mykhailova, H., & Dombrovskyi, M. (2019) · IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) · doi:10.1109/idaacs.2019.8924314 · Cited by 6 · see citing works
Hubbard, S., & Walkingshaw, E. (2016) · Feature-oriented software development · doi:10.1145/3001867.3001873 · Cited by 6 · see citing works
Testing of highly configurable cyber–physical systems — Results from a two-phase multiple case study
Fischer, S., Klammer, C., Fernández, A. M. G., Rabiser, R., & Ramler, R. (2023) · Journal of Systems and Software · doi:10.1016/j.jss.2023.111624 · Cited by 5 · see citing works
Variational lists: comparisons and design guidelines
Smeltzer, K., & Erwig, M. (2017) · doi:10.1145/3141848.3141852 · Cited by 5 · see citing works
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
Krupke, D., Moradi, A., Perk, M., Keldenich, P., Gehrke, G., Krieter, S., Thüm, T., & Fekete, S. P. (2025) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3712193 · Cited by 4 · see citing works
Sulaiman, R. A., Jawawi, D. N. A., & Halim, S. A. (2022) · KSII Transactions on Internet and Information Systems · doi:10.3837/tiis.2022.05.008 · Cited by 4 · see citing works
Detecting latent cross-platform API violations
Rasley, J., Gessiou, E., Ohmann, T., Brun, Y., Krishnamurthi, S., & Cappos, J. (2015) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · doi:10.1109/issre.2015.7381841 · Cited by 4 · see citing works
Efficient testing of software product lines via centralization (short paper)
Ma, L., Artho, C. V., Zhang, C., & Satō, H. (2014) · doi:10.1145/2658761.2658768 · Cited by 4 · see citing works
Managing Design-Time Uncertainty in Software Models
Famelis, M. (2016) · TSpace (University of Toronto) · Cited by 4 · see citing works
A structural taxonomy for lifted software product line analyses
Murphy, L., Saifi, M., Sandro, A. D., & Chećhik, M. (2024) · Journal of Systems and Software · doi:10.1016/j.jss.2024.112280 · Cited by 3 · see citing works
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
Murphy, L., Viger, T., Sandro, A. D., Babikian, A. A., & Chechik, M. (2026) · Formal Aspects of Computing · doi:10.1145/3796233 · Cited by 2 · see citing works
Systematic Software Product Line Test Case Derivation for Test Data Reuse
Kang, S., Baek, H., Kim, J., & Lee, J. (2015) · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · doi:10.1109/compsac.2015.174 · Cited by 2 · see citing works
Efficient testing of software product lines via centralization (short paper)
Ma, L., Artho, C. V., Zhang, C., & Satō, H. (2014) · ACM SIGPLAN Notices · doi:10.1145/2775053.2658768 · Cited by 2 · see citing works
Behavioural Model Based Testing of Software Product Lines: Research Abstract
Devroey, X. (2014) · Repository of the University of Namur · Cited by 1 · see citing works
On the Expressive Power of Languages for Static Variability
Bittner, P. M., Schultheiß, A., Moosherr, B., Young, J. M., Teixeira, L., Walkingshaw, E., Ataei, P., & Thüm, T. (2024) · Proceedings of the ACM on Programming Languages · doi:10.1145/3689747 · Cited by 1 · see citing works
Testing analytics on software variability
LEUNG, H. K. N., & Lui, K. M. (2015) · doi:10.1109/swan.2015.7070483
Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures
Moore, P., Cappos, J., Frankl, P. G., & Wies, T. (2019) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · doi:10.1109/issre.2019.00011
Turning Merge Conflicts Into Conflict-Induced Variability
Ohrndorf, M., Boll, A., Bögli, R., & Kehrer, T. (2026) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/3786582.3786840
- Authors
- Kästner, C., von Rhein, A., Erdweg, S., Pusch, J., Apel, S., Rendel, T., & Ostermann, K.
- Affiliations
- Philipps University of Marburg (DE)
- University of Passau (DE)
- Venue
- Proceedings of the 4th International Workshop on Feature-Oriented Software Development - FOSD '12
- Publisher
- ACM Press
- Published
- 2012
- Pages
- 1-8
- OpenAlex
- W2094819373
- Cited by
- 63
- References
- 30
- Citations by year
- 2026: 2 · 2025: 1 · 2024: 2 · 2023: 2 · 2022: 1 · 2021: 2 · 2020: 3 · 2019: 3 · 2018: 6 · 2017: 8 · 2016: 4 · 2015: 11 · 2014: 13 · 2013: 5
- FWCI
- 6.43
- Type
- conference paper
- Language
- en
- Open access
- closed
- Topics
- Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
- Physical Sciences › Computer Science › Artificial Intelligence › Advanced Software Engineering Methodologies
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Formal Methods in Verification
- Keywords
- software product lines, unit testing, model checking, test case reuse
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
