Keywords: LIT
Refereed Journal Papers and Articles
2023
[19] , , and : Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions, in Journal of Software: Evolution and Process, volume 35, . [doi]
[18] , , , , , and : ProCon: An automated process-centric quality constraints checking framework, in Journal of Systems and Software, volume 202, . [doi]
[17] , , , , , and : Spectrum-based feature localization for families of systems, in Journal of Systems and Software, volume 195, . [doi]
2022
[16] , , , , , , and : Evolving software system families in space and time with feature revisions, in Empirical Software Engineering, volume 27, . [doi]
[15] , , and : Instant and global consistency checking during collaborative engineering, in Software and Systems Modeling, Springer, volume 21, . [doi]
2021
[14] , , and : Consistent change propagation within models, in Softw. Syst. Model., volume 20, . [pdf] [doi]
[13] , , and : Ensuring safe and consistent coengineering of cyber-physical production systems: A case study, in J. Softw. Evol. Process., volume 33, . [pdf] [doi]
[12] , , and : TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development, in CoRR, volume abs/2103.02330, . [pdf]
[11] , and : Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts, in CoRR, volume abs/2103.14860, . [pdf]
[10] , and : Transforming abstract to concrete repairs with a generative approach of repair values, in J. Syst. Softw., volume 175, . [pdf] [doi]
[9] , and : Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification, in CoRR, volume abs/2102.06037, . [pdf]
2020
[8] , , , and : Automated test reuse for highly configurable software, in Empir. Softw. Eng., volume 25, . [pdf] [doi]
[7] , , and : Consistent change propagation within models, in Software and Systems Modeling, Springer, . [pdf]
[6] , and : Design and validation of a C++ code generator from Abstract State Machines specifications, in J. Softw. Evol. Process., volume 32, . [pdf] [doi]
[5] , and : Intelligent Autonomous Systems, in Computer, volume 53, . [pdf] [doi]
[4] , , and : Machine Learning for Software Engineering: A Systematic Mapping, in CoRR, volume abs/2005.13299, . [pdf]
[3] , and : Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study, in CoRR, volume abs/2004.08471, . [pdf]
[2] , , and : Security- and safety-critical cyber-physical systems, in J. Softw. Evol. Process., volume 32, . [pdf] [doi]
2019
[1] , , and : Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis, in CoRR, volume abs/1912.07936, . [pdf]
Refereed Conference Papers
2023
[34] , , and : Analysis and Propagation of Feature Revisions in Preprocessor-based Software Product Lines, in IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), . [doi]
[33] , , , and : Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles, in 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), Odense, Denmark (Myra B. Cohen, Thomas Thüm, Jacopo Mauro, eds.), ACM, . [doi]
[32] , , and : Do Developers Benefit from Recommendations When Repairing Inconsistent Design Models? A Controlled Experiment, in Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, Association for Computing Machinery, . [doi]
[31] , , , , , and : RAT: A Refactoring-Aware Traceability Model for Bug Localization, in IEEE/ACM 45th International Conference on Software Engineering (ICSE), . [doi]
[30] , , and : Taming Cross-Tool Traceability in the Wild, in IEEE 31st International Requirements Engineering Conference (RE), . [doi]
[29] , , , , , and : The ABLoTS Approach for Bug Localization: is it replicable and generalizable?, in IEEE/ACM 20th International Conference on Mining Software Repositories (MSR), . [doi]
[28] , , , , and : Validation by Abstraction and Refinement, in Rigorous State-Based Methods (Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe, eds.), Springer Nature Switzerland, . [doi]
[27] , and : Validation-Driven Development, in Formal Methods and Software Engineering (Li, Yi, Tahar, Sofiène, eds.), Springer Nature Singapore, . [doi]
2022
[26] , , , and : Refactoring Product Lines by Replaying Version Histories, in Proceedings 16th Int'l Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2022 (Paolo Arcaini, Xavier Devroey, Alessandro Fantechi, eds.), ACM, . [pdf] [doi]
[25] , , , and : Test2Feature: feature-based test traceability tool for highly configurable software, in SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume B (Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Assunção, Wesley K. G., Clément Quinton, Jianmei Guo, Klaus Schmid, Marianne Huchard, Inmaculada Ayala, José Miguel Rojas, Viet-Man Le, José Miguel Horcas, eds.), ACM, . [doi]
2021
[24] , , and : A Traceability Dataset for Open Source Systems, in 18th IEEE/ACM International Conference on Mining Software Repositories, MSR 2021, Madrid, Spain, May 17-19, 2021, IEEE, . [pdf] [doi]
[23] , , , and : Automated Reuse of Test Cases for Highly Configurable Software Systems, in Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell (Anne Koziolek, Ina Schaefer, Christoph Seidl, eds.), Gesellschaft für Informatik e.V., volume P-310, . [pdf] [doi]
[22] , , , and : Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems, in 2021 2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE) (ICGSE-ICSSP), IEEE Computer Society, . [pdf] [doi]
[21] , and : Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment, in 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, . [pdf] [doi]
[20] , , , and : Inconsistency-tolerating guidance for software engineering processes, in 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), IEEE Computer Society, . [pdf] [doi]
[19] , and : Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment, in SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021 (Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, eds.), ACM, . [pdf] [doi]
[18] , , , , and : Managing systems evolving in space and time: four challenges for maintenance, evolution and composition of variants, in SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A (Mohammad Mousavi, Pierre-Yves Schobbens, eds.), ACM, . [pdf] [doi]
[17] , , and : NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization, in 47th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2021, Palermo, Italy, September 1-3, 2021 (Maria Teresa Baldassarre, Giuseppe Scanniello, Amund Skavhaug, eds.), IEEE, . [pdf] [doi]
[16] , , , , , and : Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking, in 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, IEEE, . [pdf] [doi]
[15] , , and : TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development, in 2021 2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE) (ICGSE-ICSSP), IEEE Computer Society, . [pdf] [doi]
[14] , , , , and : The life cycle of features in highly-configurable software systems evolving in space and time, in Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021 (Eli Tilevich, Coen De Roover, eds.), ACM, . [pdf] [doi]
[13] , and : Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts, in 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, . [doi]
[12] , , and : TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces, in 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, IEEE, . [doi]
2020
[11] : Evolving System Families in Space and Time, in Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B, Association for Computing Machinery, . [pdf] [doi]
[10] , , , , and : Locating Feature Revisions in Software Systems Evolving in Space and Time, in Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, Association for Computing Machinery, . [pdf] [doi]
[9] , , , and : TimeTracer: a tool for back in time traceability replaying, in ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020 (Gregg Rothermel, Doo-Hwan Bae, eds.), ACM, . [pdf] [doi]
[8] , , and : Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study, in 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, IEEE, . [pdf] [doi]
2019
[7] , , and : Automating test reuse for highly configurable software, in Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), Paris, France, . [pdf] [doi]
[6] , and : Collaboratively enhanced consistency checking in a cloud-based engineering environment, in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Valencia, Spain, . [pdf] [doi]
[5] , , and : Comparison-Based Feature Location in ArgoUML Variants, in Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, Association for Computing Machinery, . [pdf] [doi]
[4] , and : Detecting and exploring side effects when repairing model inconsistencies, in Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE), Athens, Greece, . [pdf] [doi]
[3] , and : Live and global consistency checking in a collaborative engineering environment, in Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Limassol, Cyprus, . [pdf] [doi]
[2] , , and : Supporting a flexible grouping mechanism for collaborating engineering teams, in Proceedings of the 14th International Conference on Global Software Engineering (ICGSE), Montreal, QC, Canada, . [pdf] [doi]
2018
[1] , , , , and : Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company, in Proceedings of Fachtagung Software Engineering und Software Management (SE), Ulm, Germanyli, . [pdf]
Powered by bibtexbrowser