{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:01Z","timestamp":1750308721898,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T00:00:00Z","timestamp":1373846400000},"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,7,15]]},"DOI":"10.1145\/2483760.2483764","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"145-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Variable and thread bounding for systematic testing of multithreaded programs"],"prefix":"10.1145","author":[{"given":"Sandeep","family":"Bindal","sequence":"first","affiliation":[{"name":"IIT Delhi, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorav","family":"Bansal","sequence":"additional","affiliation":[{"name":"IIT Delhi, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[{"name":"Microsoft Research, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Program analysis and specialization for the C programming language. Technical report","author":"Andersen L. O.","year":"1994","unstructured":"L. O. Andersen . Program analysis and specialization for the C programming language. Technical report , 1994 . L. O. Andersen. Program analysis and specialization for the C programming language. Technical report, 1994."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41642"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_4_1","volume-title":"IIT Delhi","author":"Bindal S.","year":"2012","unstructured":"S. Bindal , S. Bansal , and A. Lal . Variable and thread bounding for systematic testing of multithreaded programs. Technical report , IIT Delhi , 2012 . http:\/\/arxiv.org\/abs\/1207.2544. S. Bindal, S. Bansal, and A. Lal. Variable and thread bounding for systematic testing of multithreaded programs. Technical report, IIT Delhi, 2012. http:\/\/arxiv.org\/abs\/1207.2544."},{"key":"e_1_3_2_1_5_1","volume-title":"LCS-TM-607","author":"Bruening D.","year":"2000","unstructured":"D. Bruening and J. Chapin . Systematic testing of multithreaded programs. Technical report , LCS-TM-607 , MIT\/LCS , 2000 . D. Bruening and J. Chapin. Systematic testing of multithreaded programs. Technical report, LCS-TM-607, MIT\/LCS, 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_7_1","unstructured":"S. Chiba. Javassist \u2014 a reflection-based programming wizard for java. In OOPSLA \u201998.  S. Chiba. Javassist \u2014 a reflection-based programming wizard for java. In OOPSLA \u201998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_12_1","volume-title":"An Approach to the State-Explosion Problem","author":"Godefroid P.","year":"1996","unstructured":"P. Godefroid . Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 1996 . P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1996."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271800"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"e_1_3_2_1_15_1","unstructured":"S. Khurshid C. S. P\u0103s\u0103reanu and W. Visser. Generalized symbolic execution for model checking and testing. In TACAS\u201903.   S. Khurshid C. S. P\u0103s\u0103reanu and W. Visser. Generalized symbolic execution for model checking and testing. In TACAS\u201903."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_1_21_1","unstructured":"M. Musuvathi S. Qadeer T. Ball G. Basler P. A. Nainar and I. Neamtiu. In OSDI \u201908.  M. Musuvathi S. Qadeer T. Ball G. Basler P. A. Nainar and I. Neamtiu. In OSDI \u201908."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672084"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_28_1","unstructured":"W. Xiong S. Park J. Zhang Y. Zhou and Z. Ma. Ad hoc synchronization considered harmful. In OSDI \u201910.   W. Xiong S. Park J. Zhang Y. Zhou and Z. Ma. Ad hoc synchronization considered harmful. In OSDI \u201910."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"}],"event":{"name":"ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Lugano Switzerland","acronym":"ISSTA '13"},"container-title":["Proceedings of the 2013 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483764","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2483760.2483764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:36Z","timestamp":1750277676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":29,"alternative-id":["10.1145\/2483760.2483764","10.1145\/2483760"],"URL":"https:\/\/doi.org\/10.1145\/2483760.2483764","relation":{},"subject":[],"published":{"date-parts":[[2013,7,15]]},"assertion":[{"value":"2013-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}