{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:07:40Z","timestamp":1777536460165,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T00:00:00Z","timestamp":1562716800000},"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":[[2019,7,10]]},"DOI":"10.1145\/3293882.3330565","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"352-362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Optimal context-sensitive dynamic partial order reduction with observers"],"prefix":"10.1145","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[{"name":"Complutense University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Garcia","family":"de la Banda","sequence":"additional","affiliation":[{"name":"Monash University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"G\u00f3mez-Zamalloa","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Isabel","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[{"name":"Monash University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3073408"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535845"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"543","volume-title":"Miguel G\u00f3mez-Zamalloa, and Peter Stuckey. Context Sensitive Dynamic Partial Order Reduction","author":"Albert Elvira","year":"2017","unstructured":"Elvira Albert , Puri Arenas , Mar\u00eda Garc\u00eda de la Banda , Miguel G\u00f3mez-Zamalloa, and Peter Stuckey. Context Sensitive Dynamic Partial Order Reduction . In Victor Kuncak and Rupak Majumdar, editors, 29th International Conference on Computer Aided Verification (CAV 2017 ), volume 10426 of Lecture Notes in Computer Science , pages 526\u2013 543 . Springer, 2017. Elvira Albert, Puri Arenas, Mar\u00eda Garc\u00eda de la Banda, Miguel G\u00f3mez-Zamalloa, and Peter Stuckey. Context Sensitive Dynamic Partial Order Reduction. In Victor Kuncak and Rupak Majumdar, editors, 29th International Conference on Computer Aided Verification (CAV 2017), volume 10426 of Lecture Notes in Computer Science, pages 526\u2013543. Springer, 2017."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892236"},{"key":"e_1_3_2_1_5_1","volume-title":"CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II","volume":"10982","author":"Albert Elvira","year":"2018","unstructured":"Elvira Albert , Miguel G\u00f3mez-Zamalloa , Miguel Isabel , and Albert Rubio . Constrained Dynamic Partial Order Reduction. In Computer Aided Verification - 30th International Conference , CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II , volume 10982 of Lecture Notes in Computer Science, pages 392\u2013410. Springer , 2018 . Elvira Albert, Miguel G\u00f3mez-Zamalloa, Miguel Isabel, and Albert Rubio. Constrained Dynamic Partial Order Reduction. In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, volume 10982 of Lecture Notes in Computer Science, pages 392\u2013410. Springer, 2018."},{"key":"e_1_3_2_1_6_1","first-page":"567","volume-title":"FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018","author":"Albert Elvira","year":"2018","unstructured":"Elvira Albert , Miguel G\u00f3mez-Zamalloa , Albert Rubio , Matteo Sammartino , and Alexandra Silva . Sdn-actors : Modeling and verification of SDN programs. In Formal Methods - 22nd International Symposium , FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 , Proceedings , pages 550\u2013 567 , 2018 . Elvira Albert, Miguel G\u00f3mez-Zamalloa, Albert Rubio, Matteo Sammartino, and Alexandra Silva. Sdn-actors: Modeling and verification of SDN programs. In Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pages 550\u2013567, 2018."},{"key":"e_1_3_2_1_7_1","first-page":"248","volume-title":"TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II","author":"Aronis Stavros","year":"2018","unstructured":"Stavros Aronis , Bengt Jonsson , Magnus L\u00e5ng , and Konstantinos Sagonas . Optimal dynamic partial order reduction with observers. In Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference , TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II , pages 229\u2013 248 , 2018 . Stavros Aronis, Bengt Jonsson, Magnus L\u00e5ng, and Konstantinos Sagonas. Optimal dynamic partial order reduction with observers. In Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, pages 229\u2013248, 2018."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158119"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050035"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_11_1","unstructured":"Optimal Context-Sensitive DPOR with Observers ISSTA \u201919 July 15\u201319 2019 Beijing China  Optimal Context-Sensitive DPOR with Observers ISSTA \u201919 July 15\u201319 2019 Beijing China"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/547238"},{"key":"e_1_3_2_1_13_1","first-page":"449","volume-title":"CAV","author":"Godefroid Patrice","year":"1993","unstructured":"Patrice Godefroid and Didier Pirottin . Refining dependencies improves partialorder verification methods (extended abstract) . In CAV , pages 438\u2013 449 , 1993 . Patrice Godefroid and Didier Pirottin. Refining dependencies improves partialorder verification methods (extended abstract). In CAV, pages 438\u2013449, 1993."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90054-J"},{"key":"e_1_3_2_1_17_1","first-page":"279","article-title":"Trace theory. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef","volume":"8","author":"Mazurkiewicz Antoni W.","year":"1986","unstructured":"Antoni W. Mazurkiewicz . Trace theory. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef , Germany , 8-19 September 1986 , pages 279 \u2013 324 , 1986. Antoni W. Mazurkiewicz. Trace theory. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pages 279\u2013324, 1986.","journal-title":"Germany"},{"key":"e_1_3_2_1_18_1","volume-title":"CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II","volume":"10982","author":"Nguyen Huyen T. T.","year":"2018","unstructured":"Huyen T. T. Nguyen , C\u00e9sar Rodr\u00edguez , Marcelo Sousa , Camille Coti , and Laure Petrucci . Quasi-optimal partial order reduction. In Hana Chockler and Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference , CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II , volume 10982 of Lecture Notes in Computer Science, pages 354\u2013371. Springer , 2018 . Huyen T. T. Nguyen, C\u00e9sar Rodr\u00edguez, Marcelo Sousa, Camille Coti, and Laure Petrucci. Quasi-optimal partial order reduction. In Hana Chockler and Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, volume 10982 of Lecture Notes in Computer Science, pages 354\u2013371. Springer, 2018."},{"key":"e_1_3_2_1_19_1","first-page":"469","volume-title":"26th International Conference on Concurrency Theory, CONCUR 2015","author":"Rodr\u00edguez C\u00e9sar","year":"2015","unstructured":"C\u00e9sar Rodr\u00edguez , Marcelo Sousa , Subodh Sharma , and Daniel Kroening . Unfolding-based partial order reduction . In 26th International Conference on Concurrency Theory, CONCUR 2015 , Madrid, Spain, September 1.4 , 2015 , pages 456\u2013 469 , 2015. C\u00e9sar Rodr\u00edguez, Marcelo Sousa, Subodh Sharma, and Daniel Kroening. Unfolding-based partial order reduction. In 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pages 456\u2013469, 2015."},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","first-page":"515","volume-title":"Advances in Petri Nets 1990 {10th International Conference on Applications and Theory of Petri Nets","author":"Valmari Antti","year":"1989","unstructured":"Antti Valmari . Stubborn Sets for Reduced State Space Generation . In Grzegorz Rozenberg, editor, Advances in Petri Nets 1990 {10th International Conference on Applications and Theory of Petri Nets , Bonn, Germany, June 1989 , Proceedings }, volume 483 of Lecture Notes in Computer Science , pages 491\u2013 515 . Springer, 1989. Antti Valmari. Stubborn Sets for Reduced State Space Generation. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1990 {10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings}, volume 483 of Lecture Notes in Computer Science, pages 491\u2013515. Springer, 1989."},{"key":"e_1_3_2_1_21_1","volume-title":"14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings","volume":"4963","author":"Wang Chao","year":"2008","unstructured":"Chao Wang , Zijiang Yang , Vineet Kahlon , and Aarti Gupta . Peephole Partial Order Reduction. In C. R. Ramakrishnan and Jakob Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems , 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings , volume 4963 of Lecture Notes in Computer Science, pages 382\u2013396. Springer , 2008 . Chao Wang, Zijiang Yang, Vineet Kahlon, and Aarti Gupta. Peephole Partial Order Reduction. In C. R. Ramakrishnan and Jakob Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, volume 4963 of Lecture Notes in Computer Science, pages 382\u2013396. Springer, 2008."}],"event":{"name":"ISSTA '19: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Beijing China","acronym":"ISSTA '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3330565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:50Z","timestamp":1750207430000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":21,"alternative-id":["10.1145\/3293882.3330565","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3330565","relation":{},"subject":[],"published":{"date-parts":[[2019,7,10]]},"assertion":[{"value":"2019-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}