{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:37Z","timestamp":1775873617276,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"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.3092711","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"46-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Targeted property-based testing"],"prefix":"10.1145","author":[{"given":"Andreas","family":"L\u00f6scher","sequence":"first","affiliation":[{"name":"Uppsala University, Sweden"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.12.005"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(01)00302-4"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-009-9496-x"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645341.650287"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2004.07.004"},{"key":"e_1_3_2_2_8_1","unstructured":"https:\/\/  https:\/\/"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the 9th Asian Computing Science Conference, Michael J. Maher (Ed.). Springer","author":"Chen Tsong Yueh","unstructured":"Tsong Yueh Chen , Hing Leung , and I. K. Mak . 2005. Adaptive Random Testing . In Proceedings of the 9th Asian Computing Science Conference, Michael J. Maher (Ed.). Springer , Berlin, Heidelberg, 320\u2013329. https:\/\/ Tsong Yueh Chen, Hing Leung, and I. K. Mak. 2005. Adaptive Random Testing. In Proceedings of the 9th Asian Computing Science Conference, Michael J. Maher (Ed.). Springer, Berlin, Heidelberg, 320\u2013329. https:\/\/"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.903293"},{"key":"e_1_3_2_2_12_1","unstructured":"903293  903293"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.19"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000058"},{"key":"e_1_3_2_2_18_1","unstructured":"Leonidas Lampropoulos Benjamin C. Pierce C\u0103t\u0103lin Hri\u0163cu John Hughes Zoe Paraskevopoulou and Li-yao Xia. 2017.  Leonidas Lampropoulos Benjamin C. Pierce C\u0103t\u0103lin Hri\u0163cu John Hughes Zoe Paraskevopoulou and Li-yao Xia. 2017."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009868"},{"key":"e_1_3_2_2_20_1","volume-title":"Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. 3\u201316","author":"Lampropoulos Leonidas","year":"2012","unstructured":"Leonidas Lampropoulos and Konstantinos Sagonas . 2012 . Automatic WSDLguided Test Case Generation for PropEr Testing of Web Services . In Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. 3\u201316 . https:\/\/ Leonidas Lampropoulos and Konstantinos Sagonas. 2012. Automatic WSDLguided Test Case Generation for PropEr Testing of Web Services. In Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. 3\u201316. https:\/\/"},{"key":"e_1_3_2_2_21_1","volume-title":"12th Annual IEEE International Conference on. IEEE, 100\u2013108","author":"L\u00f6scher Andreas","year":"2015","unstructured":"Andreas L\u00f6scher , Konstantinos Sagonas , and Thiemo Voigt . 2015 . Property-based Testing of Sensor Networks. In Sensing, Communication, and Networking , 12th Annual IEEE International Conference on. IEEE, 100\u2013108 . https:\/\/ Andreas L\u00f6scher, Konstantinos Sagonas, and Thiemo Voigt. 2015. Property-based Testing of Sensor Networks. In Sensing, Communication, and Networking, 12th Annual IEEE International Conference on. IEEE, 100\u2013108. https:\/\/"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101963"},{"key":"e_1_3_2_2_23_1","unstructured":"1101963  1101963"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"e_1_3_2_2_26_1","volume-title":"Jacobson","author":"Nikolaev Alexander G.","year":"2010","unstructured":"Alexander G. Nikolaev and Sheldon H . Jacobson . 2010 . Simulated annealing. In Handbook of Metaheuristics. Springer , 1\u201339. Alexander G. Nikolaev and Sheldon H. Jacobson. 2010. Simulated annealing. In Handbook of Metaheuristics. Springer, 1\u201339."},{"key":"e_1_3_2_2_27_1","volume-title":"Proc. 9th Scandinavian Workshop on Wireless Adhoc Networks (Adhoc\u201909)","author":"Nilsson Martin","year":"2009","unstructured":"Martin Nilsson . 2009 . Directional antennas for wireless sensor networks . In Proc. 9th Scandinavian Workshop on Wireless Adhoc Networks (Adhoc\u201909) . Martin Nilsson. 2009. Directional antennas for wireless sensor networks. In Proc. 9th Scandinavian Workshop on Wireless Adhoc Networks (Adhoc\u201909)."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593885"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791294"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034663"},{"key":"e_1_3_2_2_31_1","unstructured":"QuickCheck 2016. QuickCheck. (2016).  QuickCheck 2016. QuickCheck. (2016)."},{"key":"e_1_3_2_2_32_1","unstructured":"https:\/\/en.wikipedia.org\/wiki\/ QuickCheck  https:\/\/en.wikipedia.org\/wiki\/ QuickCheck"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"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.3092711","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:26Z","timestamp":1750217846000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":32,"alternative-id":["10.1145\/3092703.3092711","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092711","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"}}]}}