Strategies for product-line verification: case studies and experiments S Apel, A Von Rhein, P Wendler, A Größlinger, D Beyer 2013 35th International Conference on Software Engineering (ICSE), 482-491, 2013 | 234 | 2013 |
Scalable analysis of variable software J Liebig, A Von Rhein, C Kästner, S Apel, J Dörre, C Lengauer Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 222 | 2013 |
Detection of feature interactions using feature-aware verification S Apel, H Speidel, P Wendler, A Von Rhein, D Beyer 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 186 | 2011 |
Feature-interaction detection based on feature-based specifications S Apel, A Von Rhein, T Thüm, C Kästner Computer Networks 57 (12), 2399-2409, 2013 | 110 | 2013 |
Toward variability-aware testing C Kästner, A Von Rhein, S Erdweg, J Pusch, S Apel, T Rendel, ... Proceedings of the 4th International Workshop on Feature-Oriented Software …, 2012 | 106 | 2012 |
Presence-Condition Simplification in Highly Configurable Systems A von Rhein, A Grebhahn, S Apel, N Siegmund, D Beyer, T Berger Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International …, 2015 | 84 | 2015 |
Variability-aware static analysis at scale: An empirical study AV Rhein, J Liebig, A Janker, C Kästner, S Apel ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (4), 1-33, 2018 | 67 | 2018 |
Variability encoding: From compile-time to load-time variability A von Rhein, T Thüm, I Schaefer, J Liebig, S Apel Journal of Logical and Algebraic Methods in Programming 85 (1, Part 2), 125-145, 2015 | 55 | 2015 |
Facilitating reuse in multi-goal test-suite generation for software product lines J Bürdek, M Lochau, S Bauregger, A Holzer, A Von Rhein, S Apel, ... Fundamental Approaches to Software Engineering: 18th International …, 2015 | 55 | 2015 |
The PLA model: on the combination of product-line analyses A Von Rhein, S Apel, C Kästner, T Thüm, I Schaefer Proceedings of the 7th International Workshop on Variability Modelling of …, 2013 | 54 | 2013 |
A comparison of product-based, feature-based, and family-based type checking S Kolesnikov, A von Rhein, C Hunsen, S Apel ACM SIGPLAN Notices 49 (3), 115-124, 2013 | 46 | 2013 |
Potential synergies of theorem proving and model checking for software product lines T Thüm, J Meinicke, F Benduhn, M Hentschel, A von Rhein, G Saake Proceedings of the 18th International Software Product Line Conference …, 2014 | 45 | 2014 |
Family-based performance measurement N Siegmund, A Von Rhein, S Apel ACM SIGPLAN Notices 49 (3), 95-104, 2013 | 41 | 2013 |
Domain types: Abstract-domain selection based on variable usage S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein Hardware and Software: Verification and Testing: 9th International Haifa …, 2013 | 35 | 2013 |
Introducing binary decision diagrams in the explicit-state verification of Java code A Von Rhein, S Apel, F Raimondi Proc. Java Pathfinder Workshop 82, 2, 2011 | 34 | 2011 |
Large-scale variability-aware type checking and dataflow analysis J Liebig, A von Rhein, C Kästner, S Apel, J Dörre, C Lengauer Number MIP-1212, 2012 | 20 | 2012 |
Lifting inter-app data-flow analysis to large app sets F Sattler, A von Rhein, T Berger, NS Johansson, MM Hardø, S Apel Automated Software Engineering 25, 315-346, 2018 | 16 | 2018 |
Analysis strategies for configurable systems A von Rhein Universität Passau, 2016 | 16 | 2016 |
GR÷ SSLINGER, A., ANDBEYER, D. 2013d. Strategies for Product-Line Verification: Case Studies and Experiments S APEL, A VON RHEIN, P WENDLER Proc. áInt’l Conf. áSoftware Engineering (ICSE). IEEE, Piscataway, NJ, USA …, 0 | 10 | |
Lifting inter-app data-flow analysis to large app sets A von Rhein, T Berger, NS Johansson, MM Hardø, S Apel Department of Computer Science and Mathematics, University of Passau, Tech …, 2015 | 9 | 2015 |