{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T06:31:42Z","timestamp":1772519502123,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,17]],"date-time":"2013-06-17T00:00:00Z","timestamp":1371427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,17]]},"DOI":"10.1145\/2465449.2465469","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"111-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Active continuous quality control"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Windm\u00fcller","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Neubauer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Silicon Valley Campus, Moffett Field, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Bauer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"188","volume-title":"ICTSS'10","author":"Aarts F.","year":"2010","unstructured":"F. Aarts , B. Jonsson , and J. Uijen . Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction . In ICTSS'10 , volume 6435 of LNCS , pages 188 -- 204 . Springer , 2010 . F. Aarts, B. Jonsson, and J. Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. In ICTSS'10, volume 6435 of LNCS, pages 188--204. Springer, 2010."},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"673","volume-title":"ISoLA","author":"Aarts F.","year":"2010","unstructured":"F. Aarts , J. Schmaltz , and F. Vaandrager . Inference and abstraction of the biometric passport . In ISoLA 2010 , volume 6415 of LNCS , pages 673 -- 686 . Springer-Verlag , 2010. F. Aarts, J. Schmaltz, and F. Vaandrager. Inference and abstraction of the biometric passport. In ISoLA 2010, volume 6415 of LNCS, pages 673--686. Springer-Verlag, 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28033-7_6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645983.675252"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAR-SSI.2011.5931397"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291541"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_10_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118459898"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645370.651305"},{"key":"e_1_3_2_1_13_1","volume-title":"Component-based software engineering: putting the pieces together","author":"G. T. Heineman and W. T. Council","year":"2001","unstructured":"G. T. Heineman and W. T. Council l, editors . Component-based software engineering: putting the pieces together . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2001 . G. T. Heineman and W. T. Councill, editors. Component-based software engineering: putting the pieces together. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"USA","author":"Hopcroft J. E.","year":"1971","unstructured":"J. E. Hopcroft . An n log n algorithm for minimizing states in a finite automaton. Technical report, Stanford, CA , USA , 1971 . J. E. Hopcroft. An n log n algorithm for minimizing states in a finite automaton. Technical report, Stanford, CA, USA, 1971."},{"key":"e_1_3_2_1_15_1","first-page":"232","volume-title":"ISoLA","author":"Howar F.","year":"2012","unstructured":"F. Howar , O. Bauer , M. Merten , B. Steffen , and T. Margaria . The teachers' crowd: The impact of distributed oracles on active automata learning . In ISoLA 2012 , Communications in Computer and Information Science, pages 232 -- 247 . Springer-Verlag , 2012. F. Howar, O. Bauer, M. Merten, B. Steffen, and T. Margaria. The teachers' crowd: The impact of distributed oracles on active automata learning. In ISoLA 2012, Communications in Computer and Information Science, pages 232--247. Springer-Verlag, 2012."},{"key":"e_1_3_2_1_16_1","series-title":"LNCS","first-page":"687","volume-title":"ISoLA","author":"Howar F.","year":"2010","unstructured":"F. Howar , B. Steffen , and M. Merten . From zulu to rers . In ISoLA 2010 , volume 6415 of LNCS , pages 687 -- 704 . Springer-Verlag , 2010. F. Howar, B. Steffen, and M. Merten. From zulu to rers. In ISoLA 2010, volume 6415 of LNCS, pages 687--704. Springer-Verlag, 2010."},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-540-45069-6_31","volume-title":"Computer Aided Verification","author":"Hungar H.","year":"2003","unstructured":"H. Hungar , O. Niese , and B. Steffen . Domain-specific optimization in automata learning . In Computer Aided Verification , volume 2725 of LNCS , pages 315 -- 327 . Springer-Verlag , 2003 . H. Hungar, O. Niese, and B. Steffen. Domain-specific optimization in automata learning. In Computer Aided Verification, volume 2725 of LNCS, pages 315--327. Springer-Verlag, 2003."},{"issue":"1","key":"e_1_3_2_1_18_1","first-page":"65","article-title":"Incremental requirement specification for evolving systems","volume":"8","author":"Jonsson B.","year":"2001","unstructured":"B. Jonsson , T. Margaria , G. Naeser , J. Nystr\u00f6m , and B. Steffen . Incremental requirement specification for evolving systems . Nord. J. Comput. , 8 ( 1 ): 65 -- 87 , 2001 . B. Jonsson, T. Margaria, G. Naeser, J. Nystr\u00f6m, and B. Steffen. Incremental requirement specification for evolving systems. Nord. J. Comput., 8(1):65--87, 2001.","journal-title":"Nord. J. Comput."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0254-x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.049"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271803"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431246"},{"key":"e_1_3_2_1_23_1","series-title":"Communications in Computer and Information Science","first-page":"490","volume-title":"ISoLA","author":"Margaria T.","year":"2009","unstructured":"T. Margaria and B. Steffen . Agile IT: Thinking in User-Centric Models . In ISoLA 2009 , volume 17 of Communications in Computer and Information Science , pages 490 -- 502 . Springer-Verlag , 2009. T. Margaria and B. Steffen. Agile IT: Thinking in User-Centric Models. In ISoLA 2009, volume 17 of Communications in Computer and Information Science, pages 490--502. Springer-Verlag, 2009."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987412"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647168.718138"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0120-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081189"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0111-8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"e_1_3_2_1_30_1","first-page":"2000","article-title":"Regression test selection for C++software. Software Testing","volume":"10","author":"Rothermel G.","year":"1999","unstructured":"G. Rothermel , M. J. Harrold , and J. Dedhia . Regression test selection for C++software. Software Testing , Verification and Reliability , 10 : 2000 , 1999 . G. Rothermel, M. J. Harrold, and J. Dedhia. Regression test selection for C++software. Software Testing, Verification and Reliability, 10:2000, 1999.","journal-title":"Verification and Reliability"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001454"},{"key":"e_1_3_2_1_32_1","first-page":"723","volume":"372","author":"Steffen B.","year":"1989","unstructured":"B. Steffen . Characteristic Formulae. In ICALP , volume 372 of LNCS, pages 723 -- 732 , 1989 . B. Steffen. Characteristic Formulae. In ICALP, volume 372 of LNCS, pages 723--732, 1989.","journal-title":"Characteristic Formulae. In ICALP"},{"key":"e_1_3_2_1_33_1","series-title":"LNCS","volume-title":"CONCUR'95","author":"Steffen B.","year":"1995","unstructured":"B. Steffen , A. Cla\u00dfen , M. Klein , J. Knoop , and T. Margaria . The Fixpoint-Analysis Machine . In CONCUR'95 , volume 962 of LNCS . Springer , 1995 . B. Steffen, A. Cla\u00dfen, M. Klein, J. Knoop, and T. Margaria. The Fixpoint-Analysis Machine. In CONCUR'95, volume 962 of LNCS. Springer, 1995."},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"Steffen B.","year":"2011","unstructured":"B. Steffen , F. Howar , and M. Merten . Introduction to active automata learning from a practical perspective . In Formal Methods for Eternal Networked Software Systems , volume 6659 of LNCS , pages 256 -- 296 . Springer-Verlag , 2011 . B. Steffen, F. Howar, and M. Merten. Introduction to active automata learning from a practical perspective. In Formal Methods for Eternal Networked Software Systems, volume 6659 of LNCS, pages 256--296. Springer-Verlag, 2011."},{"key":"e_1_3_2_1_35_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/3-540-36384-X_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Steffen B.","year":"2003","unstructured":"B. Steffen and H. Hungar . Behavior-based model construction . In Verification, Model Checking, and Abstract Interpretation , volume 2575 of LNCS , pages 5 -- 19 . Springer-Verlag , 2003 . B. Steffen and H. Hungar. Behavior-based model construction. In Verification, Model Checking, and Abstract Interpretation, volume 2575 of LNCS, pages 5--19. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_36_1","first-page":"847","volume":"51","author":"Steffen B.","year":"1997","unstructured":"B. Steffen , T. Margaria , V. Braun , and N. Kalt . Hierarchical Service Definition. Annual Review of Communications of the ACM , 51 : 847 -- 856 , 1997 . B. Steffen, T. Margaria, V. Braun, and N. Kalt. Hierarchical Service Definition. Annual Review of Communications of the ACM, 51:847--856, 1997.","journal-title":"Hierarchical Service Definition. Annual Review of Communications of the ACM"},{"key":"e_1_3_2_1_37_1","volume-title":"Incremental formalization: A key to industrial success. Software - Concepts and Tools, 17(2)","author":"Steffen B.","year":"1996","unstructured":"B. Steffen , T. Margaria , A. Cla\u00dfen , and V. Braun . Incremental formalization: A key to industrial success. Software - Concepts and Tools, 17(2) , 1996 . B. Steffen, T. Margaria, A. Cla\u00dfen, and V. Braun. Incremental formalization: A key to industrial success. Software - Concepts and Tools, 17(2), 1996."},{"key":"e_1_3_2_1_38_1","first-page":"1","volume-title":"Formal methods and testing","author":"Tretmans J.","year":"2008","unstructured":"J. Tretmans . Model based testing with labelled transition systems. Formal methods and testing , pages 1 -- 38 , 2008 . J. Tretmans. Model based testing with labelled transition systems. Formal methods and testing, pages 1--38, 2008."},{"key":"e_1_3_2_1_39_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"Tretmans J.","year":"2011","unstructured":"J. Tretmans . Model-based testing and some steps towards test-based modelling . In M. Bernardo and V. Issarny, editors, Formal Methods for Eternal Networked Software Systems , volume 6659 of LNCS , pages 297 -- 326 . Springer-Verlag , 2011 . J. Tretmans. Model-based testing and some steps towards test-based modelling. In M. Bernardo and V. Issarny, editors, Formal Methods for Eternal Networked Software Systems, volume 6659 of LNCS, pages 297--326. Springer-Verlag, 2011."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/512035.512051"},{"key":"e_1_3_2_1_42_1","volume-title":"Inc.","author":"Vigder M.","year":"2001","unstructured":"M. Vigder . Component-based software engineering. chapter The evolution, maintenance, and management of component-based systems, pages 527--539. Addison-Wesley Longman Publishing Co ., Inc. , Boston, MA, USA , 2001 . M. Vigder. Component-based software engineering. chapter The evolution, maintenance, and management of component-based systems, pages 527--539. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.v18:3"},{"key":"e_1_3_2_1_44_1","first-page":"336","volume-title":"COMPSAC'04","author":"Xu L.","year":"2004","unstructured":"L. Xu , M. Dias , and D. Richardson . Generating regression tests via model checking . In COMPSAC'04 , pages 336 -- 341 , Washington, DC, USA , 2004 . IEEE Computer Society. L. Xu, M. Dias, and D. Richardson. Generating regression tests via model checking. In COMPSAC'04, pages 336--341, Washington, DC, USA, 2004. IEEE Computer Society."}],"event":{"name":"Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture","location":"Vancouver British Columbia Canada","acronym":"Comparch '13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465469","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465449.2465469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:36Z","timestamp":1750235976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,17]]},"references-count":44,"alternative-id":["10.1145\/2465449.2465469","10.1145\/2465449"],"URL":"https:\/\/doi.org\/10.1145\/2465449.2465469","relation":{},"subject":[],"published":{"date-parts":[[2013,6,17]]},"assertion":[{"value":"2013-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}