{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:05:41Z","timestamp":1746331541303,"version":"3.40.4"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319090986"},{"type":"electronic","value":"9783319090993"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09099-3_3","type":"book-chapter","created":{"date-parts":[[2014,7,7]],"date-time":"2014-07-07T11:41:03Z","timestamp":1404733263000},"page":"36-52","source":"Crossref","is-referenced-by-count":3,"title":["An Abstraction Technique for Testing Decomposable Systems by Model Checking"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P., Black, P.: Abstracting formal specifications to generate software tests via model checking. In: Proceedings of the 18th Digital Avionics Systems Conference, vol.\u00a02, pp. 10.A.6-1\u201310.A.6-10 (1999)","DOI":"10.1109\/DASC.1999.822091"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-30885-7_3","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"P. Arcaini","year":"2012","unstructured":"Arcaini, P., Bolis, F., Gargantini, A.: Test Generation for Sequential Nets of Abstract State Machines. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 36\u201350. Springer, Heidelberg (2012)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Gargantini, A.: Test Generation for Sequential Nets of Abstract State Machines with Information Passing. Science of Computer Programming (2014)","DOI":"10.1016\/j.scico.2014.02.007"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s11334-011-0147-2","volume":"7","author":"P. Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: A model advisor for NuSMV specifications. Innovations in Systems and Software Engineering\u00a07(2), 97\u2013107 (2011)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"3_CR5","unstructured":"Browne, M.C.: An improved algorithm for the automatic verification of finite state systems using temporal logic. In: Proceedings, Symposium on Logic in Computer Science (LICS), Cambridge, Massachusetts, USA, June 16-18, pp. 260\u2013266. IEEE Computer Society (1986)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E. Clarke","year":"2003","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM\u00a050, 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35746-6_1","volume-title":"Tools for Practical Software Verification","author":"E.M. Clarke","year":"2012","unstructured":"Clarke, E.M., Klieber, W., Nov\u00e1\u010dek, M., Zuliani, P.: Model checking and the state explosion problem. In: Meyer, B., Nordio, M. (eds.) LASER 2011. LNCS, vol.\u00a07682, pp. 1\u201330. Springer, Heidelberg (2012)"},{"key":"3_CR9","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Fraser, G., Gargantini, A.: An evaluation of model checkers for specification based test case generation. In: ICST 2009, Denver, Colorado, USA, April 1-4, pp. 41\u201350. IEEE Computer Society (2009)","DOI":"10.1109\/ICST.2009.33"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G. Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Software Testing, Verification and Reliability\u00a019(3), 215\u2013261 (2009)","journal-title":"Software Testing, Verification and Reliability"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48166-4_10","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.L.: Using model checking to generate tests from requirements specifications. In: Wang, J., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 146\u2013162. Springer, Heidelberg (1999)"},{"key":"3_CR13","first-page":"47","volume-title":"Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007","author":"P. Godefroid","year":"2007","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, pp. 47\u201354. ACM, New York (2007)"},{"issue":"4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1002\/1099-1689(200012)10:4<201::AID-STVR214>3.0.CO;2-Z","volume":"10","author":"R. Hierons","year":"2000","unstructured":"Hierons, R., Derrick, J.: Editorial: special issue on specification-based testing. Software Testing, Verification and Reliability\u00a010(4), 201\u2013202 (2000)","journal-title":"Software Testing, Verification and Reliability"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/BFb0023734","volume-title":"Computer-Aided Verification","author":"B. Josko","year":"1991","unstructured":"Josko, B.: A context dependent equivalence relation between kripke structures. In: Clarke, E., Kurshan, R. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 204\u2013213. Springer, Heidelberg (1991)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Koo, H.-M., Mishra, P.: Functional test generation using design and property decomposition techniques. ACM Trans. Embed. Comput. Syst.\u00a08(4), 32:1\u201332:33 (2009)","DOI":"10.1145\/1550987.1550995"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/BFb0054162","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Laster","year":"1998","unstructured":"Laster, K., Grumberg, O.: Modular model checking of software. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 20\u201335. Springer, Heidelberg (1998)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/11751649_99","volume-title":"Computational Science and Its Applications - ICCSA 2006","author":"S. Park","year":"2006","unstructured":"Park, S., Kwon, G.: Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. In: Gavrilova, M.L., Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Lagan\u00e1, A., Mun, Y., Choo, H. (eds.) ICCSA 2006. LNCS, vol.\u00a03984, pp. 905\u2013911. Springer, Heidelberg (2006)"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2004.02.086","volume":"116","author":"W. Prenninger","year":"2005","unstructured":"Prenninger, W., Pretschner, A.: Abstractions for Model-Based Testing. Electron. Notes Theor. Comput. Sci.\u00a0116, 59\u201371 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR20","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann (2006)"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B. Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT Softw. Eng. Notes\u00a030(2), 1\u201336 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09099-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:56:17Z","timestamp":1746294977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09099-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319090986","9783319090993"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09099-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}