乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:08:59Z","timestamp":1729631339908,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","funder":[{"name":"European Research Council (ERC)","award":["101069165"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550355.3552425","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"132-142","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Validating the correctness of reactive systems specifications through systematic exploration"],"prefix":"10.1145","author":[{"given":"Dor","family":"Ma'ayan","sequence":"first","affiliation":[{"name":"Tel Aviv University, Israel"}]},{"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}]},{"given":"Roey","family":"Rozi","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"unstructured":"[n.d.]. Spectra Website. http:\/\/smlab.cs.tau.ac.il\/syntech\/spectra\/. [n.d.]. Spectra Website. http:\/\/smlab.cs.tau.ac.il\/syntech\/spectra\/.","key":"e_1_3_2_1_1_1"},{"unstructured":"[n.d.]. Supporting Materials Website. https:\/\/smlab.cs.tau.ac.il\/syntech\/validate\/. [n.d.]. Supporting Materials Website. https:\/\/smlab.cs.tau.ac.il\/syntech\/validate\/.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1016\/j.infsof.2018.03.007"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/3510003.3510054"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/TSE.2006.83"},{"unstructured":"K. Z. Bell and M. A. Vouk. 2005. On effectiveness of pairwise methodology for testing network-centric software. In ICICT. IEEE 221--235. K. Z. Bell and M. A. Vouk. 2005. On effectiveness of pairwise methodology for testing network-centric software. In ICICT. IEEE 221--235.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/ASE.2000.873653"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-642-14295-6_37"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/j.entcs.2007.09.004"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1016\/j.jcss.2011.08.007"},{"unstructured":"Richard E Boyatzis. 1998. Transforming qualitative information: Thematic analysis and code development. SAGE. Richard E Boyatzis. 1998. Transforming qualitative information: Thematic analysis and code development. SAGE.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"crossref","unstructured":"K. Burroughs A. Jain and R.L. Erickson. 1994. Improved quality of protocol testing through techniques of experimental design. In SUPERCOMM\/ICC. 745--752. K. Burroughs A. Jain and R.L. Erickson. 1994. Improved quality of protocol testing through techniques of experimental design. In SUPERCOMM\/ICC. 745--752.","key":"e_1_3_2_1_13_1","DOI":"10.1109\/ICC.1994.368821"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/978-3-662-54577-5_16"},{"volume-title":"Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs\/1910.05558","year":"2019","author":"Cavezza Davide G.","unstructured":"Davide G. Cavezza , Dalal Alrajeh , and Andr\u00e1s Gy\u00f6rgy . 2019. Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs\/1910.05558 ( 2019 ). arXiv:1910.05558 http:\/\/arxiv.org\/abs\/1910.05558 Davide G. Cavezza, Dalal Alrajeh, and Andr\u00e1s Gy\u00f6rgy. 2019. Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs\/1910.05558 (2019). arXiv:1910.05558 http:\/\/arxiv.org\/abs\/1910.05558","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-540-78163-9_9"},{"unstructured":"E. M. Clarke O. Grumberg and D. A. Peled. 1999. Model Checking. The MIT Press. E. M. Clarke O. Grumberg and D. A. Peled. 1999. Model Checking. The MIT Press.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/32.605761"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1109\/TSE.2008.50"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1218776.1218785"},{"doi-asserted-by":"crossref","unstructured":"S. R. Dalal A. Jain N. Karunanithi J. M. Leaton C. M. Lott G. C. Patton and B. M. Horowitz. 1999. Model-Based Testing in Practice. In ICSE. 285--294. S. R. Dalal A. Jain N. Karunanithi J. M. Leaton C. M. Lott G. C. Patton and B. M. Horowitz. 1999. Model-Based Testing in Practice. In ICSE. 285--294.","key":"e_1_3_2_1_21_1","DOI":"10.1145\/302405.302640"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/s00236-019-00351-9"},{"volume-title":"Complementary Criteria for Testing Temporal Logic Properties","author":"Fraser Gordon","unstructured":"Gordon Fraser and Franz Wotawa . 2009. Complementary Criteria for Testing Temporal Logic Properties . In Tests and Proofs, Catherine Dubois (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 58--73. Gordon Fraser and Franz Wotawa. 2009. Complementary Criteria for Testing Temporal Logic Properties. In Tests and Proofs, Catherine Dubois (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 58--73.","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1007\/s10664-006-9024-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/2635868.2635929"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1109\/TSE.2002.1027796"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1007\/s10009-011-0221-y"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/TRO.2009.2030225"},{"unstructured":"D. R. Kuhn Raghu N. Kacker and Y. Lei. 2013. Introduction to Combinatorial Testing. Chapman & Hall\/CRC. D. R. Kuhn Raghu N. Kacker and Y. Lei. 2013. Introduction to Combinatorial Testing. Chapman & Hall\/CRC.","key":"e_1_3_2_1_29_1"},{"volume-title":"27th NASA\/IEEE Software Engineering Workshop, NASA Goddard Space Flight Center.","author":"Kuhn D. R.","unstructured":"D. R. Kuhn and M. J. Reilly . 2002. An Investigation of the Applicability of Design of Experiments to Software Testing . 27th NASA\/IEEE Software Engineering Workshop, NASA Goddard Space Flight Center. D. R. Kuhn and M. J. Reilly. 2002. An Investigation of the Applicability of Design of Experiments to Software Testing. 27th NASA\/IEEE Software Engineering Workshop, NASA Goddard Space Flight Center.","key":"e_1_3_2_1_30_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1109\/TSE.2004.24"},{"volume-title":"In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. In The 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98)","year":"1998","author":"Lei Y.","unstructured":"Y. Lei and K.-C. Tai . 1998 . In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. In The 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98) . 254--261. Y. Lei and K.-C. Tai. 1998. In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. In The 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98). 254--261.","key":"e_1_3_2_1_32_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1109\/ICRA.2016.7487613"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/2786805.2786824"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/s10270-021-00868-z"},{"volume-title":"Jan Oliver Ringert, and Rafi Shalom","year":"2019","author":"Maoz Shahar","unstructured":"Shahar Maoz , Jan Oliver Ringert, and Rafi Shalom . 2019 . Symbolic repairs for GR(1) specifications. In ICSE. IEEE \/ ACM , 1016--1026. https:\/\/dl.acm.org\/citation.cfm?id=3339632 Shahar Maoz, Jan Oliver Ringert, and Rafi Shalom. 2019. Symbolic repairs for GR(1) specifications. In ICSE. IEEE \/ ACM, 1016--1026. https:\/\/dl.acm.org\/citation.cfm?id=3339632","key":"e_1_3_2_1_36_1"},{"doi-asserted-by":"crossref","unstructured":"Shahar Maoz and Rafi Shalom. 2020. Inherent Vacuity for GR(1) Specifications. In ESEC\/FSE. 99--110. Shahar Maoz and Rafi Shalom. 2020. Inherent Vacuity for GR(1) Specifications. In ESEC\/FSE. 99--110.","key":"e_1_3_2_1_37_1","DOI":"10.1145\/3368089.3409669"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1109\/ICSE43902.2021.00016"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1145\/3324884.3416557"},{"volume-title":"Carlo Ghezzi, and Thorsten Berger","year":"2019","author":"Menghi Claudio","unstructured":"Claudio Menghi , Christos Tsigkanos , Patrizio Pelliccione , Carlo Ghezzi, and Thorsten Berger . 2019 . Specification Patterns for Robotic Missions. CoRR abs\/1901.02077 (2019). arXiv:1901.02077 http:\/\/arxiv.org\/abs\/1901.02077 Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, and Thorsten Berger. 2019. Specification Patterns for Robotic Missions. CoRR abs\/1901.02077 (2019). arXiv:1901.02077 http:\/\/arxiv.org\/abs\/1901.02077","key":"e_1_3_2_1_40_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1145\/2338965.2336765"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1109\/TSE.2015.2421279"},{"volume-title":"On the Synthesis of a Reactive Module","author":"Pnueli Amir","unstructured":"Amir Pnueli and Roni Rosner . 1989. On the Synthesis of a Reactive Module . In POPL. ACM Press , 179--190. Amir Pnueli and Roni Rosner. 1989. On the Synthesis of a Reactive Module. In POPL. ACM Press, 179--190.","key":"e_1_3_2_1_43_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_44_1","DOI":"10.1109\/ICSM.2007.4362638"},{"volume-title":"Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11)","author":"Segall I.","unstructured":"I. Segall , R. Tzoref-Brill , and E. Farchi . 2011. Using Binary Decision Diagrams for Combinatorial Test Design . In Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11) . 254--264. I. Segall, R. Tzoref-Brill, and E. Farchi. 2011. Using Binary Decision Diagrams for Combinatorial Test Design. In Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11). 254--264.","key":"e_1_3_2_1_45_1"},{"issue":"0","key":"e_1_3_2_1_46_1","first-page":"0","article-title":"CUDD","volume":"3","author":"Somenzi Fabio","year":"2015","unstructured":"Fabio Somenzi . 2015 . CUDD : CU Decision Diagram Package Release 3 . 0 . 0 . http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cudd.pdf. Fabio Somenzi. 2015. CUDD: CU Decision Diagram Package Release 3.0.0. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cudd.pdf.","journal-title":"CU Decision Diagram Package Release"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1109\/ICSTW.2017.27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1016\/bs.adcom.2017.12.002"},{"volume-title":"ACS\/IEEE International Conference on Computer Systems and Applications. 301--311","author":"Wallace D. R.","unstructured":"D. R. Wallace and D. R. Kuhn . 2001. Failure Modes in Medical Device Software: an Analysis of 15 Years of Recall Data . In ACS\/IEEE International Conference on Computer Systems and Applications. 301--311 . D. R. Wallace and D. R. Kuhn. 2001. Failure Modes in Medical Device Software: an Analysis of 15 Years of Recall Data. In ACS\/IEEE International Conference on Computer Systems and Applications. 301--311.","key":"e_1_3_2_1_49_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_50_1","DOI":"10.1109\/MODELS50736.2021.00039"},{"doi-asserted-by":"crossref","unstructured":"A. W. Williams. 2000. Determination of Test Configurations for Pair-Wise Interaction Coverage. In TestCom. 59--74. A. W. Williams. 2000. Determination of Test Configurations for Pair-Wise Interaction Coverage. In TestCom. 59--74.","key":"e_1_3_2_1_51_1","DOI":"10.1007\/978-0-387-35516-0_4"},{"doi-asserted-by":"crossref","unstructured":"P. Wojciak and R. Tzoref-Brill. 2014. System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study. In ICST. 103--112. P. Wojciak and R. Tzoref-Brill. 2014. System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study. In ICST. 103--112.","key":"e_1_3_2_1_52_1","DOI":"10.1109\/ICST.2014.23"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_53_1","DOI":"10.1109\/TSE.2018.2852744"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_54_1","DOI":"10.1145\/2970276.2970335"},{"doi-asserted-by":"crossref","unstructured":"Z. Zhang and J. Zhang. 2011. Characterizing Failure-causing Parameter Interactions by Adaptive Testing. In ISSTA. 331--341. Z. Zhang and J. Zhang. 2011. Characterizing Failure-causing Parameter Interactions by Adaptive Testing. In ISSTA. 331--341.","key":"e_1_3_2_1_55_1","DOI":"10.1145\/2001420.2001460"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"acronym":"MODELS '22","name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T13:14:56Z","timestamp":1728220496000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":55,"alternative-id":["10.1145\/3550355.3552425","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552425","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}