{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:00Z","timestamp":1750306140321,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"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":[[2017,7,10]]},"DOI":"10.1145\/3092703.3098220","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"356-359","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A suite of tools for making effective use of automatically generated tests"],"prefix":"10.1145","author":[{"given":"Josie","family":"Holmes","sequence":"first","affiliation":[{"name":"Pennsylvania State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[{"name":"Northern Arizona University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"SymPy. http:\/\/www.sympy.org\/en\/index.html.  SymPy. http:\/\/www.sympy.org\/en\/index.html."},{"key":"e_1_3_2_1_3_1","unstructured":"N. Batchelder. Coverage.py. https:\/\/coverage.readthedocs.org\/en\/coverage-4.0.1\/.  N. Batchelder. Coverage.py. https:\/\/coverage.readthedocs.org\/en\/coverage-4.0.1\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1574"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.37"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338966.2336800"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092704"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.023"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2784769"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767119"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2994291.2994301"},{"key":"e_1_3_2_1_17_1","volume-title":"International Journal on Software Tools for Technology Transfer","author":"Holmes J.","year":"2017","unstructured":"J. Holmes , A. Groce , J. Pinto , P. Mittal , P. Azimi , K. Kellar , and J. O\u2019Brien . TSTL: the template scripting testing language . International Journal on Software Tools for Technology Transfer , 2017 . Accepted for publication. J. Holmes, A. Groce, J. Pinto, P. Mittal, P. Azimi, K. Kellar, and J. O\u2019Brien. TSTL: the template scripting testing language. International Journal on Software Tools for Technology Transfer, 2017. Accepted for publication."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694610"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.28"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321698"},{"key":"e_1_3_2_1_22_1","unstructured":"D. R. MacIver. Hypothesis: Test faster fix more. http:\/\/hypothesis.works\/.  D. R. MacIver. Hypothesis: Test faster fix more. http:\/\/hypothesis.works\/."},{"key":"e_1_3_2_1_23_1","unstructured":"D. R. MacIver. Personal communication.  D. R. MacIver. Personal communication."},{"issue":"1","key":"e_1_3_2_1_24_1","first-page":"100","volume":"10","author":"McKeeman W.","year":"1998","unstructured":"W. McKeeman . Differential testing for software. Digital Technical Journal of Digital Equipment Corporation , 10 ( 1 ): 100 \u2013 107 , 1998 . W. McKeeman. Differential testing for software. Digital Technical Journal of Digital Equipment Corporation, 10(1):100\u2013107, 1998.","journal-title":"Digital Technical Journal of Digital Equipment Corporation"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633365"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_28_1","volume-title":"a testcase reduction tool (delta debugger). https:\/\/bugzilla.mozilla.org\/show bug.cgi?id=329066","author":"Ruderman J.","year":"2006","unstructured":"J. Ruderman . Bug 329066 - Lithium , a testcase reduction tool (delta debugger). https:\/\/bugzilla.mozilla.org\/show bug.cgi?id=329066 , 2006 . J. Ruderman. Bug 329066 - Lithium, a testcase reduction tool (delta debugger). https:\/\/bugzilla.mozilla.org\/show bug.cgi?id=329066, 2006."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_30_1","first-page":"1176","volume-title":"International Conference on Software Engineering","author":"Zhang S.","year":"2013","unstructured":"S. Zhang . Practical semantic test simplification . In International Conference on Software Engineering , pages 1173\u2013 1176 , 2013 . S. Zhang. Practical semantic test simplification. In International Conference on Software Engineering, pages 1173\u20131176, 2013."},{"key":"e_1_3_2_1_31_1","unstructured":"Abstract 1 Introduction 2 A Brief TSTL Primer 3 The Basic TSTL Test Tools 4 Avoiding Slippage 5 API Access to Tool Functionality 6 Related Work 7 Conclusions and Future Work References  Abstract 1 Introduction 2 A Brief TSTL Primer 3 The Basic TSTL Test Tools 4 Avoiding Slippage 5 API Access to Tool Functionality 6 Related Work 7 Conclusions and Future Work References"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3098220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:27Z","timestamp":1750217847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":30,"alternative-id":["10.1145\/3092703.3098220","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3098220","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}