{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:02:44Z","timestamp":1725620564219},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,21]]},"DOI":"10.1145\/1146238.1146262","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"203-214","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Application of automated environment generation to commercial software"],"prefix":"10.1145","author":[{"given":"Oksana","family":"Tkachuk","sequence":"first","affiliation":[{"name":"Fujitsu Laboratories of America, Sunnyvale, CA"}]},{"given":"Sreeranga P.","family":"Rajan","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories of America, Sunnyvale, CA"}]}],"member":"320","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040314"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253275"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101914"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"C. Boyapati S. Khurshid and D. Marinov. Korat: Automated testing based on java predicates 2002.]]  C. Boyapati S. Khurshid and D. Marinov. Korat: Automated testing based on java predicates 2002.]]","DOI":"10.1145\/566172.566191"},{"volume-title":"Proceedings of the Workshop on Advances in Verification","year":"2000","author":"Brat G.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765903"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277754"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381493"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025216"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767125"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028667"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566175"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026599015809"},{"volume-title":"Workshop on Software Model Checking","year":"2005","author":"Hughes G.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","unstructured":"P. JTest. Website. http:\/\/www.parasoft.com.]]  P. JTest. Website. http:\/\/www.parasoft.com.]]"},{"key":"e_1_3_2_1_19_1","unstructured":"JUnit. Website. http:\/\/www.junit.org.]]  JUnit. Website. http:\/\/www.junit.org.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"volume-title":"The First Symposium on Networked Systems Design and Implementation","year":"2004","author":"Musuvathi M.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337364"},{"volume-title":"Kansas State University","year":"2001","author":"P\u01ces\u01cereanu C. S.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","unstructured":"V. Ranganath. Indus Website. http:\/\/indus.projects.cis.ksu.edu.]]  V. Ranganath. Indus Website. http:\/\/indus.projects.cis.ksu.edu.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647477.727784"},{"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\/566172.566179"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380938"},{"key":"e_1_3_2_1_29_1","unstructured":"O. Tkachuk. Bandera Environment Generator Website. http:\/\/beg.projects.cis.ksu.edu.]]  O. Tkachuk. Bandera Environment Generator Website. http:\/\/beg.projects.cis.ksu.edu.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240300"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786967"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566212"},{"volume-title":"Proceedings of the Sixth Symposium on Operating Systems Design and Implementation","year":"2004","author":"Yang J.","key":"e_1_3_2_1_33_1"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Maine USA","acronym":"ISSTA06"},"container-title":["Proceedings of the 2006 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1146238.1146262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T03:28:49Z","timestamp":1673494129000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1146238.1146262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":33,"alternative-id":["10.1145\/1146238.1146262","10.1145\/1146238"],"URL":"https:\/\/doi.org\/10.1145\/1146238.1146262","relation":{},"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"2006-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}