Year: 2023
Books and Proceedings
2023
[1] Database and Expert Systems Applications - DEXA 2023 Workshops: 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Springer Nature Switzerland, . [doi]
Book Chapters
2023
[4] : PAxSPL: A Framework for Aiding SPL Reengineering Planning, Chapter in (Lopez-Herrejon, Roberto E., Martinez, Jabier, Assunção, Wesley K. G., Ziadi, Tewfik, Acher, Mathieu, Vergilio, Silvia, eds.), Springer International Publishing, . [doi]
[3] : PLeTs: A Software Product Line for Testing Tools, Chapter in (OliveiraJr, Edson, ed.), Springer International Publishing, . [doi]
[2] : Systematic Software Reuse with Automated Extraction and Composition for Clone-and-Own, Chapter in (Lopez-Herrejon, Roberto E., Martinez, Jabier, Assunção, Wesley K. G., Ziadi, Tewfik, Acher, Mathieu, Vergilio, Silvia, eds.), Springer International Publishing, . [doi]
[1] , , , and : Variability in Products and Production, Chapter in , Springer Berlin Heidelberg, . [doi]
Refereed Journal Papers and Articles
2023
[9] , and : A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development, in Applied Soft Computing, volume 133, . [doi]
[8] , , , and : A flexible operation-based infrastructure for collaborative model-driven engineering, in Journal of Object Technology, volume 22, . [doi]
[7] , , , and : Assessing industrial end-user programming of robotic production cells: A controlled experiment, in Journal of Systems and Software, volume 195, . [doi]
[6] , , , , , and : Composite refactoring: Representations, characteristics and effects on software projects, in Information and Software Technology, volume 156, . [doi]
[5] , , and : How do microservices evolve? An empirical analysis of changes in open-source microservice repositories, in Journal of Systems and Software, volume 204, . [doi]
[4] , , 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]
[3] , , , , , and : ProCon: An automated process-centric quality constraints checking framework, in Journal of Systems and Software, volume 202, . [doi]
[2] , and : Safety and security of cyber-physical systems, in Journal of Software: Evolution and Process, volume 35, . [doi]
[1] , , , , , and : Spectrum-based feature localization for families of systems, in Journal of Systems and Software, volume 195, . [doi]
Refereed Conference Papers
2023
[13] , , 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]
[12] , , , and : Collaborative Live Modelling by Language-Agnostic Versioning, in International Conference on Model Driven Engineering Languages and Systems (MODELS), Västerås, Sweden, IEEE, . [doi]
[11] , , , 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]
[10] , , 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]
[9] : Early and Systematic Validation of Formal Models, in Formal Methods and Software Engineering (Li, Yi, Tahar, Sofiène, eds.), Springer Nature Singapore, .
[8] , , , , and : Fulfilling Industrial Needs for Consistency Among Engineering Artifacts, in IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), . [doi]
[7] , , , , and : Model-Based Testing for a Family of Mobile Applications: Industrial Experiences, in Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, Association for Computing Machinery, . [doi]
[6] , , , and : Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations, in Rigorous State-Based Methods (Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe, eds.), Springer Nature Switzerland, .
[5] , , , , , and : RAT: A Refactoring-Aware Traceability Model for Bug Localization, in IEEE/ACM 45th International Conference on Software Engineering (ICSE), . [doi]
[4] , , and : Taming Cross-Tool Traceability in the Wild, in IEEE 31st International Requirements Engineering Conference (RE), . [doi]
[3] , , , , , and : The ABLoTS Approach for Bug Localization: is it replicable and generalizable?, in IEEE/ACM 20th International Conference on Mining Software Repositories (MSR), . [doi]
[2] , , , , 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]
[1] , and : Validation-Driven Development, in Formal Methods and Software Engineering (Li, Yi, Tahar, Sofiène, eds.), Springer Nature Singapore, . [doi]
Powered by bibtexbrowser