{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:56:55Z","timestamp":1791460615684,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"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":[[2015,8,30]]},"DOI":"10.1145\/2786805.2786835","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T16:48:13Z","timestamp":1440607693000},"page":"793-804","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["Guided differential testing of certificate validation in SSL\/TLS implementations"],"prefix":"10.1145","author":[{"given":"Yuting","family":"Chen","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"https:\/\/www.openssl.org\/. https:\/\/www.openssl.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"https:\/\/developer.mozilla.org\/en-US\/ docs\/Mozilla\/Projects\/NSS. https:\/\/developer.mozilla.org\/en-US\/ docs\/Mozilla\/Projects\/NSS."},{"key":"e_1_3_2_1_3_1","unstructured":"https:\/\/polarssl.org\/. https:\/\/polarssl.org\/."},{"key":"e_1_3_2_1_4_1","unstructured":"https:\/\/www.mozilla.org\/en-US\/firefox. https:\/\/www.mozilla.org\/en-US\/firefox."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610413"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660338"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.15"},{"key":"e_1_3_2_1_9_1","first-page":"224","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs . In Symposium on Operating Systems Design and Implementation (OSDI) , pages 209\u2013 224 , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In Symposium on Operating Systems Design and Implementation (OSDI), pages 209\u2013224, 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194006002926"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.22"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529376"},{"issue":"4","key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1080\/00031305.1995.10476177","article-title":"Understanding the Metropolis-Hastings algorithm","volume":"49","author":"Chib S.","year":"1995","unstructured":"S. Chib and E. Greenberg . Understanding the Metropolis-Hastings algorithm . The American Statistician , 49 ( 4 ): 327 \u2013 335 , Nov. 1995 . S. Chib and E. Greenberg. Understanding the Metropolis-Hastings algorithm. The American Statistician, 49(4):327\u2013335, Nov. 1995.","journal-title":"The American Statistician"},{"key":"e_1_3_2_1_14_1","unstructured":"S. Chokhani and W. Ford. Internet X.509 public key infrastructure certificate policy and certification practices framework. http:\/\/www.ietf.org\/rfc\/rfc2527.txt. S. Chokhani and W. Ford. Internet X.509 public key infrastructure certificate policy and certification practices framework. http:\/\/www.ietf.org\/rfc\/rfc2527.txt."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"e_1_3_2_1_16_1","volume-title":"May","author":"Cooper D.","year":"2008","unstructured":"D. Cooper , S. Santesson , S. Farrell , S. Boeyen , R. Housley , and W. Polk . Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile. RFC 5280 (Proposed Standard) , May 2008 . D. Cooper, S. Santesson, S. Farrell, S. Boeyen, R. Housley, and W. Polk. Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile. RFC 5280 (Proposed Standard), May 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"January","author":"Dierks T.","year":"1999","unstructured":"T. Dierks and C. Allen . The TLS Protocol Version 1.0 , January 1999 . Available from http:\/\/www.ietf.org\/rfc\/rfc2246. T. Dierks and C. Allen. The TLS Protocol Version 1.0, January 1999. Available from http:\/\/www.ietf.org\/rfc\/rfc2246."},{"key":"e_1_3_2_1_18_1","volume-title":"April","author":"Dierks T.","year":"2006","unstructured":"T. Dierks and E. Rescorla . The TLS Protocol Version 1.1 , April 2006 . Available from http:\/\/www.ietf.org\/rfc\/rfc4346. T. Dierks and E. Rescorla. The TLS Protocol Version 1.1, April 2006. Available from http:\/\/www.ietf.org\/rfc\/rfc4346."},{"key":"e_1_3_2_1_19_1","volume-title":"August","author":"Dierks T.","year":"2008","unstructured":"T. Dierks and E. Rescorla . The TLS Protocol Version 1.2 , August 2008 . Available from http:\/\/www.ietf.org\/rfc\/rfc5246. T. Dierks and E. Rescorla. The TLS Protocol Version 1.2, August 2008. Available from http:\/\/www.ietf.org\/rfc\/rfc5246."},{"key":"e_1_3_2_1_20_1","first-page":"620","volume-title":"USENIX Security Symposium","author":"Durumeric Z.","year":"2013","unstructured":"Z. Durumeric , E. Wustrow , and J. A. Halderman . ZMap: Fast Internet-wide scanning and its security applications . In USENIX Security Symposium , pages 605\u2013 620 , 2013 . Z. Durumeric, E. Wustrow, and J. A. Halderman. ZMap: Fast Internet-wide scanning and its security applications. In USENIX Security Symposium, pages 605\u2013620, 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_22_1","volume-title":"August","author":"Freier A.","year":"2011","unstructured":"A. Freier , P. Karlton , and P. Kocher . The Secure Sockets Layer (SSL) Protocol Version 3.0 , August 2011 . Available from http:\/\/www.ietf.org\/rfc\/rfc6101. A. Freier, P. Karlton, and P. Kocher. The Secure Sockets Layer (SSL) Protocol Version 3.0, August 2011. Available from http:\/\/www.ietf.org\/rfc\/rfc6101."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382204"},{"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","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/sec.799"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14577-3_22"},{"key":"e_1_3_2_1_28_1","volume-title":"IE SSL vulnerability","author":"Marlinspike M.","year":"2002","unstructured":"M. Marlinspike . IE SSL vulnerability , 2002 . Available from http: \/\/www.thoughtcrime.org\/ie-ssl-chain.txt. M. Marlinspike. IE SSL vulnerability, 2002. Available from http: \/\/www.thoughtcrime.org\/ie-ssl-chain.txt."},{"key":"e_1_3_2_1_29_1","volume-title":"Null prefix attacks against SSL\/TLS certificates","author":"Marlinspike M.","year":"2009","unstructured":"M. Marlinspike . Null prefix attacks against SSL\/TLS certificates , 2009 . Available from http:\/\/www.thoughtcrime.org\/papers\/ null-prefix-attacks.pdf. M. Marlinspike. Null prefix attacks against SSL\/TLS certificates, 2009. Available from http:\/\/www.thoughtcrime.org\/papers\/ null-prefix-attacks.pdf."},{"issue":"1","key":"e_1_3_2_1_30_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman W. M.","year":"1998","unstructured":"W. M. McKeeman . Differential testing for software . Digital Technical Journal , 10 ( 1 ): 100 \u2013 107 , 1998 . W. M. McKeeman. Differential testing for software. Digital Technical Journal, 10(1):100\u2013107, 1998.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1699114"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390643"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_35_1","volume-title":"May","author":"Rescola E.","year":"2000","unstructured":"E. Rescola . HTTP over TLS , May 2000 . Available from http:\/\/www.ietf.org\/rfc\/rfc2818. E. Rescola. HTTP over TLS, May 2000. Available from http:\/\/www.ietf.org\/rfc\/rfc2818."},{"key":"e_1_3_2_1_36_1","volume-title":"March","author":"Saint-Andre P.","year":"2011","unstructured":"P. Saint-Andre and J. Hodges . Representation and Verification of Domain-Based Application Service Identity within Internet Public Key Infrastructure Using X.509 (PKIX) Certificates in the Context of Transport Layer Security (TLS) , March 2011 . Available from https:\/\/tools.ietf.org\/html\/rfc6125. P. Saint-Andre and J. Hodges. Representation and Verification of Domain-Based Application Service Identity within Internet Public Key Infrastructure Using X.509 (PKIX) Certificates in the Context of Transport Layer Security (TLS), March 2011. Available from https:\/\/tools.ietf.org\/html\/rfc6125."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1875558.1875601"},{"key":"e_1_3_2_1_41_1","volume-title":"Application of Markov Chain Monte Carlo random testing to test case prioritization in regression testing. IEICE Transactions, 95-D(9):2219\u20132226","author":"Zhou B.","year":"2012","unstructured":"B. Zhou , H. Okamura , and T. Dohi . Application of Markov Chain Monte Carlo random testing to test case prioritization in regression testing. IEICE Transactions, 95-D(9):2219\u20132226 , 2012 . B. Zhou, H. Okamura, and T. Dohi. Application of Markov Chain Monte Carlo random testing to test case prioritization in regression testing. IEICE Transactions, 95-D(9):2219\u20132226, 2012."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.208"}],"event":{"name":"ESEC\/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Bergamo Italy","acronym":"ESEC\/FSE'15","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2786835","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786805.2786835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:21Z","timestamp":1750227381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786805.2786835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":42,"alternative-id":["10.1145\/2786805.2786835","10.1145\/2786805"],"URL":"https:\/\/doi.org\/10.1145\/2786805.2786835","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}