{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:59Z","timestamp":1784233019691,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380399","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:34Z","timestamp":1601576734000},"page":"1410-1421","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Quickly generating diverse valid test inputs with reinforcement learning"],"prefix":"10.1145","author":[{"given":"Sameer","family":"Reddy","sequence":"first","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Caroline","family":"Lemieux","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rohan","family":"Padhye","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Accessed","year":"2019","unstructured":"2019. Eris: Porting of QuickCheck to PHP. https:\/\/github.com\/giorgiosironi\/eris. Accessed January 28, 2019."},{"key":"e_1_3_2_1_2_1","volume-title":"Accessed","year":"2019","unstructured":"2019. FsCheck: Random testing for .NET. https:\/\/hypothesis.works\/. Accessed January 28, 2019."},{"key":"e_1_3_2_1_3_1","volume-title":"Accessed","year":"2019","unstructured":"2019. Hypothesis for Python. https:\/\/hypothesis.works\/. Accessed January 28, 2019."},{"key":"e_1_3_2_1_4_1","volume-title":"Accessed","year":"2019","unstructured":"2019. JSVerify: Property-based testing for JavaScript. https:\/\/github.com\/jsverify\/jsverify. Accessed January 28, 2019."},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/www.peach.tech. Accessed","year":"2019","unstructured":"2019. PeachFuzzer. https:\/\/www.peach.tech. Accessed August 21, 2019."},{"key":"e_1_3_2_1_6_1","volume-title":"Accessed","year":"2019","unstructured":"2019. Radamsa: a general-purpose fuzzer. https:\/\/gitlab.com\/akihe\/radamsa. Accessed August 21, 2019."},{"key":"e_1_3_2_1_7_1","volume-title":"Accessed","year":"2019","unstructured":"2019. ScalaCheck: Property-based testing for Scala. https:\/\/www.scalacheck.org\/. Accessed January 28, 2019."},{"key":"e_1_3_2_1_8_1","volume-title":"Accessed","year":"2019","unstructured":"2019. test.check: QuickCheck for Clojure. https:\/\/github.com\/clojure\/test.check. Accessed January 28, 2019."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07151-0_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"e_1_3_2_1_11_1","volume-title":"State Abstraction for Programmable Reinforcement Learning Agents. In Eighteenth National Conference on Artificial Intelligence. American Association for Artificial Intelligence, USA, 119--125","author":"Andre David","unstructured":"David Andre and Stuart J. Russell. 2002. State Abstraction for Programmable Reinforcement Learning Agents. In Eighteenth National Conference on Artificial Intelligence. American Association for Artificial Intelligence, USA, 119--125."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_13_1","volume-title":"Deep Reinforcement Fuzzing. CoRR abs\/1801.04589","author":"B\u00f6ttinger Konstantin","year":"2018","unstructured":"Konstantin B\u00f6ttinger, Patrice Godefroid, and Rishabh Singh. 2018. Deep Reinforcement Fuzzing. CoRR abs\/1801.04589 (2018). arXiv:1801.04589 http:\/\/arxiv.org\/abs\/1801.04589"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800191.805647"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101969"},{"key":"e_1_3_2_1_20_1","volume-title":"Accessed","author":"Dolan Stephen","year":"2017","unstructured":"Stephen Dolan. 2017. Property fuzzing for OCaml. https:\/\/github.com\/stedolan\/crowbar. Accessed Jul 23, 2019."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224444"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08)","author":"Godefroid Patrice","unstructured":"Patrice Godefroid, Adam Kiezun, and Michael Y. Levin. 2008. Grammar-based Whitebox Fuzzing. In Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_25_1","volume-title":"The current state and future of search based software engineering. In 2007 Future of Software Engineering","author":"Harman Mark","unstructured":"Mark Harman. 2007. The current state and future of search based software engineering. In 2007 Future of Software Engineering. IEEE Computer Society, 342--357."},{"key":"e_1_3_2_1_26_1","volume-title":"Search-based software engineering. Information and software Technology 43, 14","author":"Harman Mark","year":"2001","unstructured":"Mark Harman and Bryan F Jones. 2001. Search-based software engineering. Information and software Technology 43, 14 (2001), 833--839."},{"key":"e_1_3_2_1_27_1","volume-title":"Accessed","author":"Holser Paul","year":"2014","unstructured":"Paul Holser. 2014. junit-quickcheck: Property-based testing, JUnit-style. https:\/\/pholser.github.io\/junit-quickcheck. Accessed August 21, 2019."},{"key":"e_1_3_2_1_28_1","volume-title":"Symbolic execution and program testing. Commun. ACM 19 (July","author":"King James C.","year":"1976","unstructured":"James C. King. 1976. Symbolic execution and program testing. Commun. ACM 19 (July 1976), 385--394. Issue 7."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254088"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009868"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. ACM Program. Lang. 2, OOPSLA ([n. d.]).","author":"Lampropoulos Leonidas","unstructured":"Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce. [n.d.]. Coverage Guided, Property Based Testing. Proc. ACM Program. Lang. 2, OOPSLA ([n. d.])."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158133"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092711"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110259"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242747"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3339002"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330576"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034663"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Deepak Pathak Pulkit Agrawal Alexei A. Efros and Trevor Darrell. 2017. Curiosity-driven Exploration by Self-supervised Prediction. In ICML.","DOI":"10.1109\/CVPRW.2017.70"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133915"},{"key":"e_1_3_2_1_43_1","volume-title":"A Review of Machine Learning Applications in Fuzzing. CoRR abs\/1906.11133","author":"Saavedra Gary J.","year":"2019","unstructured":"Gary J. Saavedra, Kathryn N. Rodhouse, Daniel M. Dunlavy, and W. Philip Kegelmeyer. 2019. A Review of Machine Learning Applications in Fuzzing. CoRR abs\/1906.11133 (2019). arXiv:1906.11133 http:\/\/arxiv.org\/abs\/1906.11133"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786830"},{"key":"e_1_3_2_1_46_1","volume-title":"Barto","author":"Sutton Richard S.","year":"2018","unstructured":"Richard S. Sutton and Andrew G. Barto. 2018. Reinforcment Learning: An Introduction. MIT Press. http:\/\/www.incompleteideas.net\/book\/ebook\/node53.html"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273483"},{"key":"e_1_3_2_1_49_1","volume-title":"Accessed","author":"Zalewski Micha\u0142","year":"2014","unstructured":"Micha\u0142 Zalewski. 2014. American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/afl. Accessed January 11, 2019."},{"key":"e_1_3_2_1_50_1","unstructured":"Micha\u0142 Zalewski. 2014. American Fuzzy Lop Technical Details. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt. Accessed Aug 2019."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380399","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380399","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":50,"alternative-id":["10.1145\/3377811.3380399","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380399","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}