{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T03:15:40Z","timestamp":1776482140855,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T00:00:00Z","timestamp":1468800000000},"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":[[2016,7,18]]},"DOI":"10.1145\/2931037.2931056","type":"proceedings-article","created":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T12:33:29Z","timestamp":1467894809000},"page":"70-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Generating focused random tests using directed swarm testing"],"prefix":"10.1145","author":[{"given":"Mohammad Amin","family":"Alipour","sequence":"first","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Gopinath","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arpit","family":"Christi","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Workshop on Constraints in Formal Verification","author":"LIPOUR M. A.","year":"2011","unstructured":"A LIPOUR , M. A. , AND G ROCE , A. Bounded model checking and feature omission diversity . In International Workshop on Constraints in Formal Verification ( 2011 ). A LIPOUR, M. A., AND G ROCE, A. Bounded model checking and feature omission diversity. In International Workshop on Constraints in Formal Verification (2011)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321654"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831736"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"e_1_3_2_1_6_1","volume-title":"Advances in Computer Science-ASIAN","author":"HEN T. Y.","year":"2004","unstructured":"C HEN , T. Y. , L EUNG , H. , AND M AK, I . Adaptive random testing . In Advances in Computer Science-ASIAN 2004 . C HEN, T. Y., L EUNG, H., AND M AK, I. Adaptive random testing. In Advances in Computer Science-ASIAN 2004."},{"key":"e_1_3_2_1_7_1","first-page":"320","year":"2005","unstructured":"Higher-Level Decision Making . Springer , 2005 , pp. 320 \u2013 329 . Higher-Level Decision Making. Springer, 2005, pp. 320\u2013329.","journal-title":"Springer"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_12"},{"key":"e_1_3_2_1_9_1","first-page":"340","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"DE OURA","year":"2008","unstructured":"DE M OURA , L. M., AND B J\u00d8 RNER , N. Z3 : an efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems ( 2008 ), pp. 337\u2013 340 . DE M OURA, L. M., AND B J\u00d8RNER, N. Z3: an efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 337\u2013340."},{"key":"e_1_3_2_1_10_1","first-page":"493","volume-title":"Automated Software Engineering","author":"EWEY K.","year":"2015","unstructured":"D EWEY , K. , R OESCH , J. , AND H ARDE KOPF , B. Fuzzing the rust typechecker using CLP . In Automated Software Engineering ( 2015 ), pp. 482\u2013 493 . D EWEY, K., R OESCH, J., AND H ARDEKOPF, B. Fuzzing the rust typechecker using CLP. In Automated Software Engineering (2015), pp. 482\u2013493."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2134243.2134249"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.37"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1574"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"e_1_3_2_1_18_1","first-page":"399","volume-title":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (Nov","author":"ROCE A.","year":"2013","unstructured":"G ROCE , A. , Z HANG , C. , A LIPOUR , M. , E IDE , E. , C HEN , Y. , AND R E GEHR , J. Help, help , I\u2019m being suppressed; The significance of suppressors in software testing . In 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (Nov 2013 ), pp. 390\u2013 399 . G ROCE, A., Z HANG, C., A LIPOUR, M., E IDE, E., C HEN, Y., AND R EGEHR, J. Help, help, I\u2019m being suppressed; The significance of suppressors in software testing. In 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (Nov 2013), pp. 390\u2013399."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_20_1","first-page":"978","volume-title":"Encyclopedia of Software Engineering","author":"AMLET R.","year":"1994","unstructured":"H AMLET , R. Random testing . In Encyclopedia of Software Engineering . Wiley , 1994 , pp. 970\u2013 978 . H AMLET, R. Random testing. In Encyclopedia of Software Engineering. Wiley, 1994, pp. 970\u2013978."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_1_22_1","first-page":"38","volume-title":"Proceedings of the 21st USENIX Conference on Security Symposium","author":"OLLER C.","year":"2012","unstructured":"H OLLER , C. , H ERZIG , K. , AND Z E LLER , A. Fuzzing with code fragments . In Proceedings of the 21st USENIX Conference on Security Symposium ( Berkeley, CA, USA , 2012 ), Security\u201912, USENIX Association, pp. 38\u2013 38 . H OLLER, C., H ERZIG, K., AND Z ELLER, A. Fuzzing with code fragments. In Proceedings of the 21st USENIX Conference on Security Symposium (Berkeley, CA, USA, 2012), Security\u201912, USENIX Association, pp. 38\u201338."},{"key":"e_1_3_2_1_23_1","first-page":"152","volume-title":"Search-Based Software Engineering","author":"IFETEW F. M.","year":"2014","unstructured":"K IFETEW , F. M. , T IELLA , R. , AND T ON ELLA , P. Combining stochastic grammars and genetic programming for coverage testing at the system level . In Search-Based Software Engineering ( 2014 ), pp. 138\u2013 152 . K IFETEW, F. M., T IELLA, R., AND T ONELLA, P. Combining stochastic grammars and genetic programming for coverage testing at the system level. In Search-Based Software Engineering (2014), pp. 138\u2013152."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70773"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491438"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"e_1_3_2_1_29_1","first-page":"93","volume-title":"Workshop on Synthesis and System Integration of Mixed Information Technologies","author":"AGAI E.","year":"2013","unstructured":"N AGAI , E. , H ASHIMOTO , A. , AND I S HURA , N. Scaling up size and number of expressions in random testing of arithmetic optimization in c compilers . In Workshop on Synthesis and System Integration of Mixed Information Technologies ( 2013 ), pp. 88\u2013 93 . N AGAI, E., H ASHIMOTO, A., AND I SHURA, N. Scaling up size and number of expressions in random testing of arithmetic optimization in c compilers. In Workshop on Synthesis and System Integration of Mixed Information Technologies (2013), pp. 88\u201393."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_32_1","unstructured":"R UDERMAN J. Introducing jsfunfuzz. https: \/\/www.squarefree.com\/2007\/08\/02\/introducing-jsfunfuzz\/.  R UDERMAN J. Introducing jsfunfuzz. https: \/\/www.squarefree.com\/2007\/08\/02\/introducing-jsfunfuzz\/."},{"key":"e_1_3_2_1_33_1","volume-title":"Releasing jsfunfuzz and DOMFuzz. https:\/\/www.squarefree.com\/2015\/07\/28\/ releasing-jsfunfuzz-and-domfuzz\/","author":"UDERMAN J.","year":"2015","unstructured":"R UDERMAN , J. Releasing jsfunfuzz and DOMFuzz. https:\/\/www.squarefree.com\/2015\/07\/28\/ releasing-jsfunfuzz-and-domfuzz\/ , 2015 . R UDERMAN, J. Releasing jsfunfuzz and DOMFuzz. https:\/\/www.squarefree.com\/2015\/07\/28\/ releasing-jsfunfuzz-and-domfuzz\/, 2015."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635921"},{"key":"e_1_3_2_1_35_1","unstructured":"V YUKOV D. gosmith: Random Go program generator. https:\/\/code.google.com\/p\/gosmith\/.  V YUKOV D. gosmith: Random Go program generator. https:\/\/code.google.com\/p\/gosmith\/."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1927.10502953"},{"key":"e_1_3_2_1_37_1","first-page":"368","volume-title":"IEEE\/IFIP International Conference on","author":"IE T.","year":"2009","unstructured":"X IE , T. , T ILLMANN , N. , DE H AL LEUX , J., AND S CH ULTE , W. Fitness-guided path exploration in dynamic symbolic execution. In Dependable Systems & Networks, 2009. DSN\u201909 . IEEE\/IFIP International Conference on ( 2009 ), IEEE, pp. 359\u2013 368 . X IE, T., T ILLMANN, N., DE H ALLEUX, J., AND S CHULTE, W. Fitness-guided path exploration in dynamic symbolic execution. In Dependable Systems & Networks, 2009. DSN\u201909. IEEE\/IFIP International Conference on (2009), IEEE, pp. 359\u2013368."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610392"}],"event":{"name":"ISSTA '16: International Symposium on Software Testing and Analysis","location":"Saarbr\u00fccken Germany","acronym":"ISSTA '16","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 25th International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2931037.2931056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:56Z","timestamp":1750222556000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,18]]},"references-count":38,"alternative-id":["10.1145\/2931037.2931056","10.1145\/2931037"],"URL":"https:\/\/doi.org\/10.1145\/2931037.2931056","relation":{},"subject":[],"published":{"date-parts":[[2016,7,18]]},"assertion":[{"value":"2016-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}