{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:24Z","timestamp":1750306584282,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"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":[[2015,8,30]]},"DOI":"10.1145\/2786805.2786837","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T16:48:13Z","timestamp":1440607693000},"page":"119-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Improving model-based test generation by model decomposition"],"prefix":"10.1145","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[{"name":"Charles University in Prague, Czech Republic"}]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[{"name":"University of Bergamo, Italy"}]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[{"name":"University of Milan, Italy"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_2_1_2_1","first-page":"10","volume-title":"Digital Avionics Systems Conference, 1999. Proceedings. 18th","volume":"2","author":"Ammann P.","unstructured":"P. Ammann and P. Black . Abstracting formal specifications to generate software tests via model checking . In Digital Avionics Systems Conference, 1999. Proceedings. 18th , volume 2 , pages 10 .A.6\u20131\u201310.A.6\u201310 vol.2, 1999. P. Ammann and P. Black. Abstracting formal specifications to generate software tests via model checking. In Digital Avionics Systems Conference, 1999. Proceedings. 18th, volume 2, pages 10.A.6\u20131\u201310.A.6\u201310 vol.2, 1999."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1355340"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30885-7_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.02.007"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11811-1_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0147-2"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","first-page":"52","volume-title":"Tests and Proofs","author":"Arcaini P.","unstructured":"P. Arcaini , A. Gargantini , and E. Riccobene . An abstraction technique for testing decomposable systems by model checking . In M. Seidl and N. Tillmann, editors, Tests and Proofs , volume 8570 of Lecture Notes in Computer Science , pages 36\u2013 52 . Springer International Publishing, 2014. P. Arcaini, A. Gargantini, and E. Riccobene. An abstraction technique for testing decomposable systems by model checking. In M. Seidl and N. Tillmann, editors, Tests and Proofs, volume 8570 of Lecture Notes in Computer Science, pages 36\u201352. Springer International Publishing, 2014."},{"key":"e_1_3_2_1_9_1","unstructured":"R. Cavada A. Cimatti C. A. Jochim G. Keighren E. Olivetti M. Pistore M. Roveri and A. Tchaltsev. NuSMV 2.5 User Manual. http:\/\/nusmv.fbk.eu\/ 2010.  R. Cavada A. Cimatti C. A. Jochim G. Keighren E. Olivetti M. Pistore M. Roveri and A. Tchaltsev. NuSMV 2.5 User Manual. http:\/\/nusmv.fbk.eu\/ 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/795685.797690"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings International Conference on Computer-Aided Verification (CAV 2002","volume":"2404","author":"Cimatti A.","year":"2002","unstructured":"A. Cimatti , E. M. Clarke , E. Giunchiglia , F. Giunchiglia , M. Pistore , M. Roveri , R. Sebastiani , and A. Tacchella . NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking . In Proceedings International Conference on Computer-Aided Verification (CAV 2002 ), volume 2404 of Lecture Notes in Computer Science. Springer , July 2002 . A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In Proceedings International Conference on Computer-Aided Verification (CAV 2002), volume 2404 of Lecture Notes in Computer Science. Springer, July 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","first-page":"30","volume-title":"Tools for Practical Software Verification","author":"Clarke E.","unstructured":"E. Clarke , W. Klieber , M. Novacek , and P. Zuliani . Model checking and the state explosion problem . In B. Meyer and M. Nordio, editors, Tools for Practical Software Verification , volume 7682 of Lecture Notes in Computer Science , pages 1\u2013 30 . Springer Berlin Heidelberg, 2012. E. Clarke, W. Klieber, M. Novacek, and P. Zuliani. Model checking and the state explosion problem. In B. Meyer and M. Nordio, editors, Tools for Practical Software Verification, volume 7682 of Lecture Notes in Computer Science, pages 1\u201330. Springer Berlin Heidelberg, 2012."},{"key":"e_1_3_2_1_15_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_16_1","volume-title":"Modular Translation of Statecharts to SMV. Technical report","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke and W. Heinle . Modular Translation of Statecharts to SMV. Technical report , Carnegie Mellon University , 2000 . E. M. Clarke and W. Heinle. Modular Translation of Statecharts to SMV. Technical report, Carnegie Mellon University, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.33"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318939"},{"issue":"11","key":"e_1_3_2_1_19_1","first-page":"1050","volume":"7","author":"Gargantini A.","year":"2001","unstructured":"A. Gargantini and E. Riccobene . ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. Journal of Universal Computer Science , 7 ( 11 ): 1050 \u2013 1067 , 2001 . A. Gargantini and E. Riccobene. ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. Journal of Universal Computer Science, 7(11):1050\u20131067, 2001.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification (ICSE 2001)","author":"Heimdahl M. P. E.","year":"2001","unstructured":"M. P. E. Heimdahl , S. Rayadurgam , and W. Visser . Specification Centered Testing . In Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification (ICSE 2001) , 2001 . M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification (ICSE 2001), 2001."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1689(200012)10:4<201::AID-STVR214>3.0.CO;2-Z"},{"key":"e_1_3_2_1_25_1","volume-title":"Addison-Wesley","author":"Holzmann G. J.","year":"2004","unstructured":"G. J. Holzmann . The SPIN Model Checker - primer and reference manual . Addison-Wesley , 2004 . G. J. Holzmann. The SPIN Model Checker - primer and reference manual. Addison-Wesley, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1550987.1550995"},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science","first-page":"35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Laster K.","unstructured":"K. Laster and O. Grumberg . Modular model checking of software . In B. Steffen, editor, Tools and Algorithms for the Construction and Analysis of Systems , volume 1384 of Lecture Notes in Computer Science , pages 20\u2013 35 . Springer, 1998. K. Laster and O. Grumberg. Modular model checking of software. In B. Steffen, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 20\u201335. Springer, 1998."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-006"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11751649_99"},{"key":"e_1_3_2_1_30_1","volume-title":"Texts in Computer Science","author":"Peled D.","year":"2001","unstructured":"D. Peled . Software Reliability Methods . Texts in Computer Science . Springer , 2001 . D. Peled. Software Reliability Methods. Texts in Computer Science. Springer, 2001."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.086"},{"key":"e_1_3_2_1_32_1","volume-title":"Morgan-Kaufmann","author":"Utting M.","year":"2006","unstructured":"M. Utting and B. Legeard . Practical Model-Based Testing: A Tools Approach . Morgan-Kaufmann , 2006 . M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2006."}],"event":{"name":"ESEC\/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Bergamo Italy","acronym":"ESEC\/FSE'15"},"container-title":["Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2786837","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786805.2786837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:21Z","timestamp":1750227381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2786837"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":31,"alternative-id":["10.1145\/2786805.2786837","10.1145\/2786805"],"URL":"https:\/\/doi.org\/10.1145\/2786805.2786837","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}