{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:51Z","timestamp":1772163951474,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,7,1]],"date-time":"2004-07-01T00:00:00Z","timestamp":1088640000000},"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":[[2004,7]]},"DOI":"10.1145\/1007512.1007541","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T11:55:38Z","timestamp":1090324538000},"page":"217-220","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Slicing tools for synchronous reactive programs"],"prefix":"10.1145","author":[{"given":"S.","family":"Ramesh","sequence":"first","affiliation":[{"name":"IIT Bombay, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Kamat","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646902.710193"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"e_1_3_2_1_4_1","volume-title":"IEEE DATE 2004","author":"D'Silva V.","year":"2004","unstructured":"V. D'Silva , S. Ramesh , and A. Sowmya . Synchronous protocol automata for modelling and verification of system-on-chip bus architectures . In IEEE DATE 2004 , Feb. 2004 .]] V. D'Silva, S. Ramesh, and A. Sowmya. Synchronous protocol automata for modelling and verification of system-on-chip bus architectures. In IEEE DATE 2004, Feb. 2004.]]"},{"key":"e_1_3_2_1_5_1","volume-title":"Esuif: An open esterel compiler. Electronic Notes on Theoretical Computer Science, 65(1)","author":"Edwards S.","year":"2002","unstructured":"S. Edwards . Esuif: An open esterel compiler. Electronic Notes on Theoretical Computer Science, 65(1) , 2002 .]] S. Edwards. Esuif: An open esterel compiler. Electronic Notes on Theoretical Computer Science, 65(1), 2002.]]"},{"key":"e_1_3_2_1_6_1","volume-title":"IIT Bombay","author":"Kamat V.","year":"2003","unstructured":"V. Kamat . Towards slicing vhdl. Masters Thesis, CSE Dept ., IIT Bombay , Jan 2003 .]] V. Kamat. Towards slicing vhdl. Masters Thesis, CSE Dept., IIT Bombay, Jan 2003.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277638"},{"key":"e_1_3_2_1_8_1","volume-title":"IEEE workshop on SCAM","author":"Kulkarni A.R.","year":"2003","unstructured":"A.R. Kulkarni and S. Ramesh . Slicing reactive programs . In IEEE workshop on SCAM , 2003 .]] A.R. Kulkarni and S. Ramesh. Slicing reactive programs. In IEEE workshop on SCAM, 2003.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"4th SPIN workshop","author":"Millett L.","year":"1998","unstructured":"L. Millett and T. Teitelbaum . Slicing promela and its applications . In 4th SPIN workshop , 1998 .]] L. Millett and T. Teitelbaum. Slicing promela and its applications. In 4th SPIN workshop, 1998.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.349121"},{"key":"e_1_3_2_1_11_1","unstructured":"OVL. Accellera open verification library. http:\/\/www.accellera.com.]]  OVL. Accellera open verification library. http:\/\/www.accellera.com.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Tata McGraw Hill","author":"Perry D.","year":"2001","unstructured":"D. Perry . VHDL. Tata McGraw Hill , 2001 .]] D. Perry. VHDL. Tata McGraw Hill, 2001.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"CAV","author":"Ramesh S.","year":"1999","unstructured":"S. Ramesh and P. Bhaduri . Validation pipelined processor designs using esterel tools . In CAV , 1999 .]] S. Ramesh and P. Bhaduri. Validation pipelined processor designs using esterel tools. In CAV, 1999.]]"},{"key":"e_1_3_2_1_14_1","unstructured":"Code Surfer. http:\/\/www.grammatech.com.]]  Code Surfer. http:\/\/www.grammatech.com.]]"},{"key":"e_1_3_2_1_15_1","first-page":"3","author":"Tip F.","year":"1995","unstructured":"F. Tip . A survey of program slicing techniques. J. of Programming Languages , 3 , 1995 .]] F. Tip. A survey of program slicing techniques. J. of Programming Languages, 3, 1995.]]","journal-title":"J. of Programming Languages"},{"key":"e_1_3_2_1_16_1","volume-title":"Slicing synchronous reactive programs. Electronic Notes on Theoretical Computer Science, 65(1)","author":"Vinod G.","year":"2002","unstructured":"G. Vinod and S. Ramesh . Slicing synchronous reactive programs. Electronic Notes on Theoretical Computer Science, 65(1) , 2002 .]] G. Vinod and S. Ramesh. Slicing synchronous reactive programs. Electronic Notes on Theoretical Computer Science, 65(1), 2002.]]"}],"event":{"name":"ISSTA04: International Symposium on Software Testing and Analysis 2004","location":"Boston Massachusetts USA","acronym":"ISSTA04","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1007512.1007541","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1007512.1007541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:23:56Z","timestamp":1750253036000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1007512.1007541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7]]},"references-count":16,"alternative-id":["10.1145\/1007512.1007541","10.1145\/1007512"],"URL":"https:\/\/doi.org\/10.1145\/1007512.1007541","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1013886.1007541","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,7]]},"assertion":[{"value":"2004-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}