{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:11:25Z","timestamp":1774987885596,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568253","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"1071-1082","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Symbolic assume-guarantee reasoning through BDD learning"],"prefix":"10.1145","author":[{"given":"Fei","family":"He","sequence":"first","affiliation":[{"name":"Tsinghua University, China"}]},{"given":"Bow-Yaw","family":"Wang","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taiwan"}]},{"given":"Liangze","family":"Yin","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]},{"given":"Lei","family":"Zhu","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_52"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"19","volume-title":"Computer Aided Verification","author":"Beyer D.","unstructured":"D. Beyer , T. A. Henzinger , and V. Singh . Algorithms for interface synthesis . In W. Damm and H. Hermanns, editors, Computer Aided Verification , volume 4590 of Lecture Notes in Computer Science , pages 4\u2013 19 . Springer, 2007. D. Beyer, T. A. Henzinger, and V. Singh. Algorithms for interface synthesis. In W. Damm and H. Hermanns, editors, Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, pages 4\u201319. Springer, 2007."},{"key":"e_1_3_2_1_4_1","first-page":"1009","volume-title":"International Joint Conferences on Artificial Intelligence","author":"Bollig B.","year":"2009","unstructured":"B. Bollig , P. Habermehl , C. Kern , and M. Leucker . Angluin-style learning of NFA. In C. Boutilier, editor , International Joint Conferences on Artificial Intelligence , pages 1004\u2013 1009 , 2009 . B. Bollig, P. Habermehl, C. Kern, and M. Leucker. Angluin-style learning of NFA. In C. Boutilier, editor, International Joint Conferences on Artificial Intelligence, pages 1004\u20131009, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/574536"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1164"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_51"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science","first-page":"291","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Chaki S.","unstructured":"S. Chaki and O. Strichman . Optimized L \u2217 -based assume-guarantee reasoning . In O. Grumberg and M. Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems , volume 4424 of Lecture Notes in Computer Science , pages 276\u2013 291 . Springer, 2007. S. Chaki and O. Strichman. Optimized L \u2217 -based assume-guarantee reasoning. In O. Grumberg and M. Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 4424 of Lecture Notes in Computer Science, pages 276\u2013291. Springer, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/54235.54239"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","first-page":"657","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation (1)","author":"Chen Y.-F.","unstructured":"Y.-F. Chen , E. M. Clarke , A. Farzan , F. He , M.-H. Tsai , Y.-K. Tsay , B.-Y. Wang , and L. Zhu . Comparing learning algorithms in automated assume-guarantee reasoning . In Leveraging Applications of Formal Methods, Verification and Validation (1) , volume 6415 of Lecture Notes in Computer Science , pages 643\u2013 657 . Springer, 2010. Y.-F. Chen, E. M. Clarke, A. Farzan, F. He, M.-H. Tsai, Y.-K. Tsay, B.-Y. Wang, and L. Zhu. Comparing learning algorithms in automated assume-guarantee reasoning. In Leveraging Applications of Formal Methods, Verification and Validation (1), volume 6415 of Lecture Notes in Computer Science, pages 643\u2013657. Springer, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_44"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_10"},{"key":"e_1_3_2_1_15_1","volume-title":"Springer","author":"Cimatti A.","year":"1999","unstructured":"A. Cimatti , E. Clarke , F. Giunchiglia , and M. Roveri . NuSMV: a new Symbolic Model Verifier. In N. Halbwachs and D. Peled, editors, Computer Aided Verification, number 1633 in Lecture Notes in Computer Science, pages 495\u2013499 . Springer , 1999 . A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new Symbolic Model Verifier. In N. Halbwachs and D. Peled, editors, Computer Aided Verification, number 1633 in Lecture Notes in Computer Science, pages 495\u2013499. Springer, 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_18_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , Cambridge, Massachusetts , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348253"},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","first-page":"346","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Cobleigh J. M.","unstructured":"J. M. Cobleigh , D. Giannakopoulou , and C. S. P\u0103s\u0103reanu . Learning assumptions for compositional verification . In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems , volume 2619 of Lecture Notes in Computer Science , pages 331\u2013 346 . Springer, 2003. J. M. Cobleigh, D. Giannakopoulou, and C. S. P\u0103s\u0103reanu. Learning assumptions for compositional verification. In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 2619 of Lecture Notes in Computer Science, pages 331\u2013346. Springer, 2003."},{"key":"e_1_3_2_1_21_1","volume-title":"Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Number 54 in Cambridge Tracts in Theoretical Computer Science","author":"de Roever W.-P.","year":"2001","unstructured":"W.-P. de Roever , F. de Boer , U. Hanneman , J. Hooman , Y. Lakhnech , M. Poel , and J. Zwiers . Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Number 54 in Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 2001 . W.-P. de Roever, F. de Boer, U. Hanneman, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Number 54 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503291"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","first-page":"238","volume-title":"Algorithmic Learning Theory","author":"Gavald\u00e0 R.","unstructured":"R. Gavald\u00e0 and D. Guijarro . Learning ordered binary decision diagrams . In K. P. Jantke, T. Shinohara, and T. Zeugmann, editors, Algorithmic Learning Theory , volume 997 of Lecture Notes in Computer Science , pages 228\u2013 238 . Springer, 1995. R. Gavald\u00e0 and D. Guijarro. Learning ordered binary decision diagrams. In K. P. Jantke, T. Shinohara, and T. Zeugmann, editors, Algorithmic Learning Theory, volume 997 of Lecture Notes in Computer Science, pages 228\u2013238. Springer, 1995."},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","first-page":"307","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Gheorghiu M.","unstructured":"M. Gheorghiu , D. Giannakopoulou , and C. S. P\u0103s\u0103reanu . Refining interface alphabets for compositional verification . In O. Grumberg and M. Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems , volume 4424 of Lecture Notes in Computer Science , pages 292\u2013 307 . Springer, 2007. M. Gheorghiu, D. Giannakopoulou, and C. S. P\u0103s\u0103reanu. Refining interface alphabets for compositional verification. In O. Grumberg and M. Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 4424 of Lecture Notes in Computer Science, pages 292\u2013307. Springer, 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0054-9"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science","first-page":"432","volume-title":"Computer Aided Verification","author":"Gupta A.","unstructured":"A. Gupta , K. L. McMillan , and Z. Fu . Automated assumption generation for compositional verification . In W. Damm and H. Hermanns, editors, Computer Aided Verification , volume 4590 of Lecture Notes in Computer Science , pages 420\u2013 432 . Springer, 2007. A. Gupta, K. L. McMillan, and Z. Fu. Automated assumption generation for compositional verification. In W. Damm and H. Hermanns, editors, Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, pages 420\u2013432. Springer, 2007."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0050-0"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081713"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/200548"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/261119"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.05.003"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0055-8"},{"key":"e_1_3_2_1_33_1","series-title":"Lecture Notes in Computer Science","first-page":"83","volume-title":"Computer Aided Verification","author":"Sa\u00b4\u0131di H.","unstructured":"H. Sa\u00b4\u0131di and S. Graf . Construction of abstract state graphs with PVS . In Grumberg, editor, Computer Aided Verification , volume 1254 of Lecture Notes in Computer Science , pages 72\u2013 83 . Springer, 1997. H. Sa\u00b4\u0131di and S. Graf. Construction of abstract state graphs with PVS. In Grumberg, editor, Computer Aided Verification, volume 1254 of Lecture Notes in Computer Science, pages 72\u201383. Springer, 1997."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_45"},{"key":"e_1_3_2_1_35_1","series-title":"Lecture Notes in Computer Science","first-page":"54","volume-title":"Computer Aided Verification","author":"Sinha N.","unstructured":"N. Sinha and E. M. Clarke . SAT-based compositional verification using lazy learning . In W. Damm and H. Hermanns, editors, Computer Aided Verification , volume 4590 of Lecture Notes in Computer Science , pages 39\u2013 54 . Springer, 2007. N. Sinha and E. M. Clarke. SAT-based compositional verification using lazy learning. In W. Damm and H. Hermanns, editors, Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, pages 39\u201354. Springer, 2007."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_25"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.33"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568253","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:30Z","timestamp":1750234230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":37,"alternative-id":["10.1145\/2568225.2568253","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568253","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}