[{"publication":"Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)","type":"conference","abstract":[{"lang":"eng","text":"Maintaining software systems requires up-to-date models of these systems to systematically plan, analyse and execute the necessary reengineering steps. Often, no or only outdated models of such systems exist. Thus, a reverse engineering step is needed that recovers the system’s components, subsystems and connectors. However, reverse engineering methods are severely impacted by design deficiencies in the system’s code base, e.g., they lead to wrong component structures. Several approaches exist today for the reverse engineering of component-based systems, however, none of them explicitly integrates a systematic design deficiency removal into the process to improve the quality of the reverse engineered architecture. Therefore, in our Archimetrix approach, we propose to regard the most relevant deficiencies with respect to the reverse engineered component-based architecture and support reengineers by presenting the architectural consequences of removing a given deficiency. We validate our approach on the Common Component Modeling Example and show that we are able to identify relevant deficiencies and that their removal leads to an improved reengineered architecture."}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_name":"630-CSMR2012-PlateniusDettenBecker.pdf","access_level":"closed","file_id":"1236","file_size":723739,"creator":"florida","date_created":"2018-03-15T06:37:13Z","date_updated":"2018-03-15T06:37:13Z"}],"_id":"630","project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"76"}],"user_id":"477","ddc":["040"],"file_date_updated":"2018-03-15T06:37:13Z","language":[{"iso":"eng"}],"has_accepted_license":"1","year":"2012","page":"255-264","citation":{"ama":"Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>. ; 2012:255-264. doi:<a href=\"https://doi.org/10.1109/CSMR.2012.33\">10.1109/CSMR.2012.33</a>","ieee":"M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies,” in <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>, 2012, pp. 255–264.","chicago":"Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” In <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>, 255–64, 2012. <a href=\"https://doi.org/10.1109/CSMR.2012.33\">https://doi.org/10.1109/CSMR.2012.33</a>.","apa":"Platenius, M. C., von Detten, M., &#38; Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i> (pp. 255–264). <a href=\"https://doi.org/10.1109/CSMR.2012.33\">https://doi.org/10.1109/CSMR.2012.33</a>","bibtex":"@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={<a href=\"https://doi.org/10.1109/CSMR.2012.33\">10.1109/CSMR.2012.33</a>}, booktitle={Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}, author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}, year={2012}, pages={255–264} }","short":"M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.","mla":"Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>, 2012, pp. 255–64, doi:<a href=\"https://doi.org/10.1109/CSMR.2012.33\">10.1109/CSMR.2012.33</a>."},"date_updated":"2022-01-06T07:03:00Z","author":[{"last_name":"Platenius","full_name":"Platenius, Marie Christin","first_name":"Marie Christin"},{"last_name":"von Detten","full_name":"von Detten, Markus","first_name":"Markus"},{"first_name":"Steffen","full_name":"Becker, Steffen","last_name":"Becker"}],"date_created":"2017-10-17T12:42:54Z","title":"Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies","doi":"10.1109/CSMR.2012.33"},{"file_date_updated":"2018-03-15T06:36:37Z","ddc":["040"],"user_id":"15504","_id":"631","project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_name":"631-WCRE2012-vonDetten.pdf","access_level":"closed","file_id":"1235","file_size":258563,"creator":"florida","date_created":"2018-03-15T06:36:37Z","date_updated":"2018-03-15T06:36:37Z"}],"abstract":[{"text":"Maintaining software systems requires up-to-date models of these systems to systematically plan, analyze, and execute the necessary reengineering steps. Often, no or only outdated models of such systems exist.Thus, a reverse engineering step is needed that recovers the system's components, subsystems, and connectors. However, reverse engineering methods are severely impacted by design deficiencies in the system's code base, e.g., they lead to wrong component structures.Therefore, Archimetrix enables the reengineer to detect the most relevant deficiencies with respect to a reverseengineered component-based architecture and supports him by presenting the architectural consequences of removinga given deficiency.","lang":"eng"}],"publication":"Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)","type":"conference","doi":"10.1109/WCRE.2012.61","title":"Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction","date_created":"2017-10-17T12:42:55Z","author":[{"last_name":"von Detten","full_name":"von Detten, Markus","first_name":"Markus"}],"date_updated":"2022-01-06T07:03:01Z","page":"503 - 504 ","citation":{"ieee":"M. von Detten, “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction,” in <i>Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)</i>, 2012, pp. 503–504.","chicago":"Detten, Markus von. “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction.” In <i>Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)</i>, 503–4, 2012. <a href=\"https://doi.org/10.1109/WCRE.2012.61\">https://doi.org/10.1109/WCRE.2012.61</a>.","ama":"von Detten M. Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In: <i>Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)</i>. ; 2012:503-504. doi:<a href=\"https://doi.org/10.1109/WCRE.2012.61\">10.1109/WCRE.2012.61</a>","apa":"von Detten, M. (2012). Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In <i>Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)</i> (pp. 503–504). <a href=\"https://doi.org/10.1109/WCRE.2012.61\">https://doi.org/10.1109/WCRE.2012.61</a>","short":"M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.","bibtex":"@inproceedings{von Detten_2012, title={Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction}, DOI={<a href=\"https://doi.org/10.1109/WCRE.2012.61\">10.1109/WCRE.2012.61</a>}, booktitle={Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)}, author={von Detten, Markus}, year={2012}, pages={503–504} }","mla":"von Detten, Markus. “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction.” <i>Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)</i>, 2012, pp. 503–04, doi:<a href=\"https://doi.org/10.1109/WCRE.2012.61\">10.1109/WCRE.2012.61</a>."},"year":"2012","has_accepted_license":"1"},{"file_date_updated":"2018-03-14T14:13:48Z","language":[{"iso":"eng"}],"ddc":["040"],"series_title":"CEUR Workshop Proceedings","user_id":"477","department":[{"_id":"66"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"639","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_name":"639-HumaGerthCAiSE12.pdf","access_level":"closed","file_id":"1231","file_size":693236,"date_created":"2018-03-14T14:13:48Z","creator":"florida","date_updated":"2018-03-14T14:13:48Z"}],"status":"public","abstract":[{"text":"Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Following the essence of SOC, service descriptions are dened by the service partners based on current standards, e.g., WSDL [15]. However, these standards are mostly structural and do not provide any behavioral description, which may lead to inaccurate service discovery results. There is a requirement for a rich service description language for service partners that encompasses the structural as well as behavioral information in the service description. Furthermore, service discovery based on an automatic matching of these comprehensive service descriptions is a complex task, which is further complicated through the heterogeneity of the service partners' domains in terms of dierent underlying ontologies. In this paper, we propose a rich service description language based on UML, which allows the specication of structural and behavioral features of a service. In addition, we also briefly discuss how some existing matching approaches can be extended to dene an automatic matching mechanism for rich service descriptions resolving the underlying heterogeneity.","lang":"eng"}],"type":"conference","publication":"Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering","title":"A UML-based Rich Service Description for Automatic Service Discovery","date_created":"2017-10-17T12:42:56Z","author":[{"last_name":"Huma","full_name":"Huma, Zille","first_name":"Zille"},{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"first_name":"Oliver","full_name":"Juwig, Oliver","last_name":"Juwig"}],"date_updated":"2022-01-06T07:03:03Z","citation":{"ieee":"Z. Huma, C. Gerth, G. Engels, and O. Juwig, “A UML-based Rich Service Description for Automatic Service Discovery,” in <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>, 2012, pp. 90--97.","chicago":"Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “A UML-Based Rich Service Description for Automatic Service Discovery.” In <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>, 90--97. CEUR Workshop Proceedings, 2012.","ama":"Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description for Automatic Service Discovery. In: <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>. CEUR Workshop Proceedings. ; 2012:90--97.","bibtex":"@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description for Automatic Service Discovery}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }","mla":"Huma, Zille, et al. “A UML-Based Rich Service Description for Automatic Service Discovery.” <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>, 2012, pp. 90--97.","short":"Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.","apa":"Huma, Z., Gerth, C., Engels, G., &#38; Juwig, O. (2012). A UML-based Rich Service Description for Automatic Service Discovery. In <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i> (pp. 90--97)."},"page":"90--97","year":"2012","has_accepted_license":"1"},{"title":"Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution","doi":"10.1145/2024569.2024573","date_updated":"2022-01-06T07:03:05Z","author":[{"full_name":"von Detten, Markus","last_name":"von Detten","first_name":"Markus"}],"date_created":"2017-10-17T12:42:57Z","year":"2011","page":"17-20","citation":{"chicago":"Detten, Markus von. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.” In <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>, 17–20, 2011. <a href=\"https://doi.org/10.1145/2024569.2024573\">https://doi.org/10.1145/2024569.2024573</a>.","ieee":"M. von Detten, “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution,” in <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>, 2011, pp. 17–20.","ama":"von Detten M. Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In: <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>. ; 2011:17-20. doi:<a href=\"https://doi.org/10.1145/2024569.2024573\">10.1145/2024569.2024573</a>","bibtex":"@inproceedings{von Detten_2011, title={Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution}, DOI={<a href=\"https://doi.org/10.1145/2024569.2024573\">10.1145/2024569.2024573</a>}, booktitle={Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)}, author={von Detten, Markus}, year={2011}, pages={17–20} }","mla":"von Detten, Markus. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.” <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>, 2011, pp. 17–20, doi:<a href=\"https://doi.org/10.1145/2024569.2024573\">10.1145/2024569.2024573</a>.","short":"M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.","apa":"von Detten, M. (2011). Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i> (pp. 17–20). <a href=\"https://doi.org/10.1145/2024569.2024573\">https://doi.org/10.1145/2024569.2024573</a>"},"has_accepted_license":"1","ddc":["040"],"file_date_updated":"2018-03-14T14:08:32Z","_id":"644","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"user_id":"15504","abstract":[{"lang":"eng","text":"In reverse engineering, dynamic pattern detection is accomplished by collecting execution traces and comparing them to expected behavioral patterns. The traces are collected by manually executing the program in question and therefore represent only part of all relevant program behavior. This can lead to false conclusions about the detected patterns. In this paper, we propose to generate all relevant program traces by using symbolic execution. In order to reduce the created trace data, we allow to limit the trace collection to a user-selectable subset of the statically detected pattern candidates."}],"status":"public","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-14T14:08:32Z","creator":"florida","date_created":"2018-03-14T14:08:32Z","file_size":121611,"file_id":"1229","access_level":"closed","file_name":"644-paste09s-vonDetten_01.pdf"}],"publication":"Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)","type":"conference"},{"year":"2011","citation":{"bibtex":"@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based Software Architectures}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2011} }","short":"M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.","mla":"Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","apa":"Platenius, M. C. (2011). <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn.","chicago":"Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","ieee":"M. C. Platenius, <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","ama":"Platenius MC. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn; 2011."},"date_updated":"2022-01-06T07:03:08Z","publisher":"Universität Paderborn","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"}],"date_created":"2017-10-17T12:42:58Z","title":"Reengineering of Design Deficiencies in Component-Based Software Architectures","type":"mastersthesis","status":"public","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"650","user_id":"477","department":[{"_id":"76"}],"language":[{"iso":"eng"}]},{"ddc":["040"],"file_date_updated":"2018-03-14T13:53:51Z","language":[{"iso":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"652","user_id":"477","department":[{"_id":"66"}],"abstract":[{"text":"In the development process of service-oriented systems, business process models are used at different levels. Typically, high-level business process models that describe business requirements and needs are stepwise refined to the IT level by different business modelers and software architects. As a result, different process model versions must be compared and merged by means of model version control. An important prerequisite for process model version control is an elaborated matching approach that results in precise mappings between different process model versions. The challenge of such an approach is to deal with syntactically different process models that are semantically equivalent. For that purpose, matching techniques must consider the semantics of process modeling languages.In this paper, we present a matching approach for process models in a versioning scenario. Based on a term formalization of process models, we enable an efficient and effective way to match syntactically different but semantically equivalent process models resulting in precise mappings.","lang":"eng"}],"file":[{"date_created":"2018-03-14T13:53:51Z","creator":"florida","date_updated":"2018-03-14T13:53:51Z","file_id":"1223","file_name":"652-06009264.pdf","access_level":"closed","file_size":713943,"content_type":"application/pdf","relation":"main_file","success":1}],"status":"public","type":"conference","publication":"Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)","title":"Precise Mappings between Business Process Models in Versioning Scenarios","doi":"10.1109/SCC.2011.65","date_updated":"2022-01-06T07:03:10Z","date_created":"2017-10-17T12:42:59Z","author":[{"first_name":"Christian","full_name":"Gerth, Christian","last_name":"Gerth"},{"first_name":"Markus","last_name":"Luckey","full_name":"Luckey, Markus"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"year":"2011","citation":{"apa":"Gerth, C., Luckey, M., Küster, J., &#38; Engels, G. (2011). Precise Mappings between Business Process Models in Versioning Scenarios. In <i>Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)</i> (pp. 218--225). <a href=\"https://doi.org/10.1109/SCC.2011.65\">https://doi.org/10.1109/SCC.2011.65</a>","bibtex":"@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings between Business Process Models in Versioning Scenarios}, DOI={<a href=\"https://doi.org/10.1109/SCC.2011.65\">10.1109/SCC.2011.65</a>}, booktitle={Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}, year={2011}, pages={218--225} }","short":"C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.","mla":"Gerth, Christian, et al. “Precise Mappings between Business Process Models in Versioning Scenarios.” <i>Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)</i>, 2011, pp. 218--225, doi:<a href=\"https://doi.org/10.1109/SCC.2011.65\">10.1109/SCC.2011.65</a>.","ama":"Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: <i>Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)</i>. ; 2011:218--225. doi:<a href=\"https://doi.org/10.1109/SCC.2011.65\">10.1109/SCC.2011.65</a>","ieee":"C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business Process Models in Versioning Scenarios,” in <i>Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)</i>, 2011, pp. 218--225.","chicago":"Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Precise Mappings between Business Process Models in Versioning Scenarios.” In <i>Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)</i>, 218--225, 2011. <a href=\"https://doi.org/10.1109/SCC.2011.65\">https://doi.org/10.1109/SCC.2011.65</a>."},"page":"218--225","has_accepted_license":"1"},{"language":[{"iso":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"661","user_id":"477","department":[{"_id":"66"}],"status":"public","type":"mastersthesis","title":"Coverage Criteria for Testing DMM Specifications","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:03:13Z","author":[{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"}],"date_created":"2017-10-17T12:43:00Z","supervisor":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"year":"2011","citation":{"ieee":"S. Arifulina, <i>Coverage Criteria for Testing DMM Specifications</i>. Universität Paderborn, 2011.","chicago":"Arifulina, Svetlana. <i>Coverage Criteria for Testing DMM Specifications</i>. Universität Paderborn, 2011.","ama":"Arifulina S. <i>Coverage Criteria for Testing DMM Specifications</i>. Universität Paderborn; 2011.","short":"S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.","bibtex":"@book{Arifulina_2011, title={Coverage Criteria for Testing DMM Specifications}, publisher={Universität Paderborn}, author={Arifulina, Svetlana}, year={2011} }","mla":"Arifulina, Svetlana. <i>Coverage Criteria for Testing DMM Specifications</i>. Universität Paderborn, 2011.","apa":"Arifulina, S. (2011). <i>Coverage Criteria for Testing DMM Specifications</i>. Universität Paderborn."}}]