{"id":{"repo_id":"radboud","oai_identifier":"oai:repository.ubn.ru.nl:2066/308869"},"canonical_url":"https://search.dev.ndltd.org/etd/radboud/oai:repository.ubn.ru.nl:2066/308869","repository":{"repo_id":"radboud","name":"Radboud University Nijmegen","base_url":"https://repository.ubn.ru.nl/oai/request"},"display":{"title":"Model Inference and Comparison for Software Evolution in Large Component-Based Systems","abstract":"Contains fulltext : 308869.pdf (Publisher’s version ) (Open Access)","abstract_html":"Contains fulltext : 308869.pdf (Publisher’s version ) (Open Access)","abstract_has_math":false,"creators":["Hendriks, D."],"institution":"Nijmegen : Radboud University Press","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Vaandrager, F.W.","Tretmans, G.J."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2024,"date_issued":"2024","date_published":"2024","updated_at":"2026-07-24T04:02:38Z","subjects":["Radboud Dissertation Series","Software Science"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["10.54195/9789493296640","9789493296640","Radboud Dissertation Series,"],"render_values":[{"text":"10.54195/9789493296640","href":"https://doi.org/10.54195/9789493296640","code":true},{"text":"9789493296640","href":null,"code":true},{"text":"Radboud Dissertation Series,","href":null,"code":true}]}]},"links":{"outbound_url":"https://hdl.handle.net/2066/308869","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Vaandrager, F.W.","Tretmans, G.J."]},{"key":"dc:creator","label":"Author","values":["Hendriks, D."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2024"]},{"key":"dc:publisher","label":"Institution","values":["Nijmegen : Radboud University Press"]},{"key":"dc:type","label":"Dc Type","values":["Doctoral thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Radboud Dissertation Series","Software Science"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://repository.ubn.ru.nl//bitstream/handle/2066/308869/308869.pdf","https://hdl.handle.net/2066/308869","10.54195/9789493296640","9789493296640","Radboud Dissertation Series,"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Contains fulltext : 308869.pdf (Publisher’s version ) (Open Access)","Large, complex systems are often divided into components. As these systems and their software inevitably evolve, engineers must understand the (communication) behavior of the software to properly change it, and understand the impact of their changes to prevent costly regressions and reduce risks. Creating an overview of the software behavior is challenging, time-consuming and error-prone, even with the available code, tests and documentation. We provide this overview by learning state machine models. We reduce the effort to set up active automata learning to infer models by querying isolated components through (a)synchronous interactions. We also introduce Constructive Model Inference to infer multi-level models from execution logs, without over-generalizing the system behavior and without hard-to-configure settings. Engineers often do not understand the system-wide impact of their changes. Our multi-level comparison approach automatically compares the behavior of state machine models of software versions before and after a change. Comparison results are presented at different levels, providing engineers overview and guiding them step-by-step through the relevant differences, without wasting time on unaffected parts of the system. We evaluate our approaches using academic and industrial case studies. Our extensible open-source MIDS tool combines the approaches, making them available to industry to ease their software evolution challenges.","Radboud University, 28 augustus 2024","Promotor : Vaandrager, F.W. Co-promotor : Tretmans, G.J.","xiii, 157 p."]},{"key":"dc:title","label":"Title","values":["Model Inference and Comparison for Software Evolution in Large Component-Based Systems"]}]}],"canonical_facts":{"dc:contributor":["Vaandrager, F.W.","Tretmans, G.J."],"dc:creator":["Hendriks, D."],"dc:date":["2024"],"dc:description":["Contains fulltext : 308869.pdf (Publisher’s version ) (Open Access)","Large, complex systems are often divided into components. As these systems and their software inevitably evolve, engineers must understand the (communication) behavior of the software to properly change it, and understand the impact of their changes to prevent costly regressions and reduce risks. Creating an overview of the software behavior is challenging, time-consuming and error-prone, even with the available code, tests and documentation. We provide this overview by learning state machine models. We reduce the effort to set up active automata learning to infer models by querying isolated components through (a)synchronous interactions. We also introduce Constructive Model Inference to infer multi-level models from execution logs, without over-generalizing the system behavior and without hard-to-configure settings. Engineers often do not understand the system-wide impact of their changes. Our multi-level comparison approach automatically compares the behavior of state machine models of software versions before and after a change. Comparison results are presented at different levels, providing engineers overview and guiding them step-by-step through the relevant differences, without wasting time on unaffected parts of the system. We evaluate our approaches using academic and industrial case studies. Our extensible open-source MIDS tool combines the approaches, making them available to industry to ease their software evolution challenges.","Radboud University, 28 augustus 2024","Promotor : Vaandrager, F.W. Co-promotor : Tretmans, G.J.","xiii, 157 p."],"dc:identifier":["https://repository.ubn.ru.nl//bitstream/handle/2066/308869/308869.pdf","https://hdl.handle.net/2066/308869","10.54195/9789493296640","9789493296640","Radboud Dissertation Series,"],"dc:publisher":["Nijmegen : Radboud University Press"],"dc:subject":["Radboud Dissertation Series","Software Science"],"dc:title":["Model Inference and Comparison for Software Evolution in Large Component-Based Systems"],"dc:type":["Doctoral thesis"]},"updated_at":"2026-07-24T04:02:38Z"}