{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,12]],"date-time":"2026-10-12T19:19:35Z","timestamp":1791832775257,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":26,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Vetenskapsr\u00e5det","award":["2015-04913"],"award-info":[{"award-number":["2015-04913"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3387940.3392215","type":"proceedings-article","created":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T15:22:31Z","timestamp":1601047351000},"page":"537-540","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Flexible Probabilistic Modeling for Search Based Test Data Generation"],"prefix":"10.1145","author":[{"given":"Robert","family":"Feldt","sequence":"first","affiliation":[{"name":"Chalmers University, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shin","family":"Yoo","sequence":"additional","affiliation":[{"name":"School of Computing, KAIST, Daejon, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. Hypothesis: Property Based Testing for Python. https:\/\/github.com\/HypothesisWorks\/hypothesis.  [n.d.]. Hypothesis: Property Based Testing for Python. https:\/\/github.com\/HypothesisWorks\/hypothesis."},{"key":"e_1_3_2_1_2_1","volume-title":"Deploying Search Based Software Engineering with Sapienz at Facebook","author":"Alshahwan Nadia","unstructured":"Nadia Alshahwan , Xinbo Gao , Mark Harman , Yue Jia , Ke Mao , Alexander Mols , Taijin Tei , and Ilya Zorin . 2018. Deploying Search Based Software Engineering with Sapienz at Facebook . In Search-Based Software Engineering, Thelma Elita Colanzi and Phil McMinn (Eds.). Springer International Publishing , Cham , 3--45. Nadia Alshahwan, Xinbo Gao, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Taijin Tei, and Ilya Zorin. 2018. Deploying Search Based Software Engineering with Sapienz at Facebook. In Search-Based Software Engineering, Thelma Elita Colanzi and Phil McMinn (Eds.). Springer International Publishing, Cham, 3--45."},{"key":"e_1_3_2_1_3_1","volume-title":"Goodman","author":"Bingham Eli","year":"2018","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rohit Singh , Paul Szerlip , Paul Horsfall , and Noah D . Goodman . 2018 . Pyro : Deep Universal Probabilistic Programming . arXiv preprint arXiv:1810.09538 (2018). Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. 2018. Pyro: Deep Universal Probabilistic Programming. arXiv preprint arXiv:1810.09538 (2018)."},{"key":"e_1_3_2_1_4_1","volume-title":"Mitchell","author":"Bursztein Elie","year":"2014","unstructured":"Elie Bursztein , Jonathan Aigrain , Angelique Moscicki , and John C . Mitchell . 2014 . The End is Nigh : Generic Solving of Text-based CAPTCHAs. In WOOT. Elie Bursztein, Jonathan Aigrain, Angelique Moscicki, and John C. Mitchell. 2014. The End is Nigh: Generic Solving of Text-based CAPTCHAs. In WOOT."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_3_2_1_6_1","volume-title":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE). 350--359","author":"Feldt R.","unstructured":"R. Feldt and S. Poulding . 2013. Finding test data with specific properties via metaheuristic search . In 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE). 350--359 . R. Feldt and S. Poulding. 2013. Finding test data with specific properties via metaheuristic search. In 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE). 350--359."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2015.8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.33"},{"key":"e_1_3_2_1_9_1","volume-title":"Generative deep learning: teaching machines to paint, write, compose, and play","author":"Foster David","unstructured":"David Foster . 2019. Generative deep learning: teaching machines to paint, write, compose, and play . O'Reilly Media . David Foster. 2019. Generative deep learning: teaching machines to paint, write, compose, and play. O'Reilly Media."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429117"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.09.018"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.31"},{"key":"e_1_3_2_1_14_1","volume-title":"Active Learning of Input Grammars. CoRR abs\/1708.08731","author":"H\u00f6schele Matthias","year":"2017","unstructured":"Matthias H\u00f6schele , Alexander Kampmann , and Andreas Zeller . 2017. Active Learning of Input Grammars. CoRR abs\/1708.08731 ( 2017 ). arXiv:1708.08731 http:\/\/arxiv.org\/abs\/1708.08731 Matthias H\u00f6schele, Alexander Kampmann, and Andreas Zeller. 2017. Active Learning of Input Grammars. CoRR abs\/1708.08731 (2017). arXiv:1708.08731 http:\/\/arxiv.org\/abs\/1708.08731"},{"key":"e_1_3_2_1_15_1","unstructured":"Tommi Jaakkola and David Haussler. 1999. Exploiting generative models in discriminative classifiers. In Advances in neural information processing systems. 487--493.  Tommi Jaakkola and David Haussler. 1999. Exploiting generative models in discriminative classifiers. In Advances in neural information processing systems. 487--493."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00115"},{"key":"e_1_3_2_1_17_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza J. R.","year":"1992","unstructured":"J. R. Koza . 1992 . Genetic Programming: On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA . J. R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598339"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.37"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages (IFL","author":"Tolpin David","year":"2016","unstructured":"David Tolpin , Jan-Willem van de Meent, Hongseok Yang, and Frank Wood. 2016. Design and Implementation of Probabilistic Programming Language Anglican . In Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages (IFL 2016 ). Association for Computing Machinery, New York, NY, USA, Article Article 6, 12 pages. David Tolpin, Jan-Willem van de Meent, Hongseok Yang, and Frank Wood. 2016. Design and Implementation of Probabilistic Programming Language Anglican. In Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages (IFL 2016). Association for Computing Machinery, New York, NY, USA, Article Article 6, 12 pages."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"e_1_3_2_1_25_1","volume-title":"An introduction to probabilistic programming. arXiv preprint arXiv:1809.10756","author":"van de Meent Jan-Willem","year":"2018","unstructured":"Jan-Willem van de Meent , Brooks Paige , Hongseok Yang , and Frank Wood . 2018. An introduction to probabilistic programming. arXiv preprint arXiv:1809.10756 ( 2018 ). Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, and Frank Wood. 2018. An introduction to probabilistic programming. arXiv preprint arXiv:1809.10756 (2018)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018551716639"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul Republic of 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 IEEE\/ACM 42nd International Conference on Software Engineering Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387940.3392215","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387940.3392215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:47Z","timestamp":1750199927000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387940.3392215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":26,"alternative-id":["10.1145\/3387940.3392215","10.1145\/3387940"],"URL":"https:\/\/doi.org\/10.1145\/3387940.3392215","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}