{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:23Z","timestamp":1750307663491,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,2,23]],"date-time":"2009-02-23T00:00:00Z","timestamp":1235347200000},"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":[[2009,2,23]]},"DOI":"10.1145\/1506216.1506223","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T19:39:18Z","timestamp":1253907558000},"page":"27-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using spreadsheets for finite state modelling"],"prefix":"10.1145","author":[{"given":"Sujit Kumar","family":"Chakrabarti","sequence":"first","affiliation":[{"name":"Philips Electronics India Ltd., Bangalore, India"}]},{"given":"Srihari","family":"Sukumaran","sequence":"additional","affiliation":[{"name":"Philips Electronics India Ltd., Bangalore, India"}]}],"member":"320","published-online":{"date-parts":[[2009,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"496","volume-title":"CAV","author":"de Moura Leonardo","year":"2004","unstructured":"Leonardo de Moura , Sam Owre , Harald Rue\u00df , John M. Rushby , Natarajan Shankar , Maria Sorea , and Ashish Tiwari . Sal 2 . In CAV , pages 496 -- 500 , 2004 . Leonardo de Moura, Sam Owre, Harald Rue\u00df, John M. Rushby, Natarajan Shankar, Maria Sorea, and Ashish Tiwari. Sal 2. In CAV, pages 496--500, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"SRI International","author":"de Moura Gregoire Hamon Leonardo","year":"2005","unstructured":"Leonardo de Moura Gregoire Hamon and John Rushby . Automated Test Generation using SAL. Technical report , SRI International , 2005 . Leonardo de Moura Gregoire Hamon and John Rushby. Automated Test Generation using SAL. Technical report, SRI International, 2005."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_5_1","volume-title":"Automatic Test Generation from Statecharts using Model Checking","author":"Hong H.","year":"2001","unstructured":"H. Hong , I. Lee , O. Sokolsky , and S. Cha . Automatic Test Generation from Statecharts using Model Checking , 2001 . H. Hong, I. Lee, O. Sokolsky, and S. Cha. Automatic Test Generation from Statecharts using Model Checking, 2001."},{"key":"e_1_3_2_1_6_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft John E.","year":"2001","unstructured":"John E. Hopcroft , Rajeev Motwani , and Jeffrey D. Ullman . Introduction to Automata Theory, Languages, and Computation , 2 nd Edition. ACM Press , 2001 . IEEE. IEEE Standard Glossary of Software Engineering Terminology. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation, 2nd Edition. ACM Press, 2001. IEEE. IEEE Standard Glossary of Software Engineering Terminology.","edition":"2"},{"key":"e_1_3_2_1_7_1","unstructured":"IEEE. IEEE Standard Glossary of Software Engineering Terminology.  IEEE. IEEE Standard Glossary of Software Engineering Terminology."},{"key":"e_1_3_2_1_8_1","first-page":"397","volume-title":"Proceedings of the Real-Time: Theory in Practice, REX Workshop","author":"Nancy","year":"1992","unstructured":"Nancy A. Lynch and Frits W. Vaandrager. Forward and Backward Simulations for Timing-Based Systems . In Proceedings of the Real-Time: Theory in Practice, REX Workshop , pages 397 -- 446 . Springer-Verlag , 1992 . Nancy A. Lynch and Frits W. Vaandrager. Forward and Backward Simulations for Timing-Based Systems. In Proceedings of the Real-Time: Theory in Practice, REX Workshop, pages 397--446. Springer-Verlag, 1992."},{"key":"e_1_3_2_1_9_1","unstructured":"Mathworks. Stateflow 7.0.  Mathworks. Stateflow 7.0."},{"key":"e_1_3_2_1_10_1","volume-title":"Philips Research","author":"Mujjiga Srikanth","year":"2007","unstructured":"Srikanth Mujjiga and Srihari Sukumaran . Generating Tests for Validating Devices for CEC Compliance. Technical report , Philips Research , 2007 . Srikanth Mujjiga and Srihari Sukumaran. Generating Tests for Validating Devices for CEC Compliance. Technical report, Philips Research, 2007."}],"event":{"name":"ISEC '09: India Software Engineering Conference","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Pune India","acronym":"ISEC '09"},"container-title":["Proceedings of the 2nd India software engineering conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1506216.1506223","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1506216.1506223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:31Z","timestamp":1750253371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1506216.1506223"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,23]]},"references-count":10,"alternative-id":["10.1145\/1506216.1506223","10.1145\/1506216"],"URL":"https:\/\/doi.org\/10.1145\/1506216.1506223","relation":{},"subject":[],"published":{"date-parts":[[2009,2,23]]},"assertion":[{"value":"2009-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}