乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:29:21Z","timestamp":1730323761989,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,11]]},"DOI":"10.1145\/3460319.3464841","type":"proceedings-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T22:18:43Z","timestamp":1625782723000},"page":"505-516","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Toward optimal mc\/dc test case generation"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-6169-6334","authenticated-orcid":false,"given":"Sangharatna","family":"Godboley","sequence":"first","affiliation":[{"name":"National Institute of Technology Warangal, India"}]},{"ORCID":"http:\/\/orcid.org\/0000-0001-9988-6144","authenticated-orcid":false,"given":"Joxan","family":"Jaffar","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-8147-6590","authenticated-orcid":false,"given":"Rasool","family":"Maghareh","sequence":"additional","affiliation":[{"name":"Huawei, Canada"}]},{"ORCID":"http:\/\/orcid.org\/0000-0001-7887-3264","authenticated-orcid":false,"given":"Arpita","family":"Dutta","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"BullseyeCoverage 2019. http:\/\/www.bullseye.com\/coverage.html##basic_conditionDecisionModified BullseyeCoverage 2019. http:\/\/www.bullseye.com\/coverage.html##basic_conditionDecisionModified"},{"key":"e_1_3_2_1_2_1","unstructured":"C++ Functional Safety and Compliance 2019. https:\/\/www.parasoft.com\/ctest\/functional-safety C++ Functional Safety and Compliance 2019. https:\/\/www.parasoft.com\/ctest\/functional-safety"},{"key":"e_1_3_2_1_3_1","unstructured":"Cantata Unit and Integration Test Tool 2019. https:\/\/www.qa-systems.com\/tools\/cantata\/code-coverage\/ Cantata Unit and Integration Test Tool 2019. https:\/\/www.qa-systems.com\/tools\/cantata\/code-coverage\/"},{"key":"e_1_3_2_1_4_1","unstructured":"GAIO ISO 26262 Compliant Unit Test Tool 2019. http:\/\/www.gaio.com\/product\/dev_tools\/pdt07_winams.html GAIO ISO 26262 Compliant Unit Test Tool 2019. http:\/\/www.gaio.com\/product\/dev_tools\/pdt07_winams.html"},{"key":"e_1_3_2_1_5_1","unstructured":"LDRA Software Technology 2019. http:\/\/www.gensoft-tr.com\/getPDF.php?fn=downloads\/ldra\/tbsafe-modified-condition.pdf LDRA Software Technology 2019. http:\/\/www.gensoft-tr.com\/getPDF.php?fn=downloads\/ldra\/tbsafe-modified-condition.pdf"},{"volume-title":"The Software Path Analysis Company","year":"2019","key":"e_1_3_2_1_6_1","unstructured":"McCabe , The Software Path Analysis Company , 2019 . http:\/\/www.mccabe.com\/ McCabe, The Software Path Analysis Company, 2019. http:\/\/www.mccabe.com\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Rapita Systems","author":"Aero RapiCover","year":"2019","unstructured":"RapiCover Aero , Rapita Systems , 2019 . https:\/\/www.rapitasystems.com\/products\/rapicover\/aero RapiCover Aero, Rapita Systems, 2019. https:\/\/www.rapitasystems.com\/products\/rapicover\/aero"},{"key":"e_1_3_2_1_8_1","unstructured":"Testwell CTC++ Description 2019. http:\/\/www.testwell.fi\/ctcdesc.html Testwell CTC++ Description 2019. http:\/\/www.testwell.fi\/ctcdesc.html"},{"volume-title":"Embedded Software Testing","year":"2019","key":"e_1_3_2_1_9_1","unstructured":"VectorCAST , Embedded Software Testing , 2019 . https:\/\/www.vectorcast.com\/software-testing-products\/embedded-mcdc-unit-testing VectorCAST, Embedded Software Testing, 2019. https:\/\/www.vectorcast.com\/software-testing-products\/embedded-mcdc-unit-testing"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2927924"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"volume-title":"29th MICRO. 46\u201357.","author":"Ball Thomas","key":"e_1_3_2_1_12_1","unstructured":"Thomas Ball and James R Larus . 1996. Efficient path profiling . In 29th MICRO. 46\u201357. Thomas Ball and James R Larus. 1996. Efficient path profiling. In 29th MICRO. 46\u201357."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390634"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2009.53"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2790013"},{"key":"e_1_3_2_1_17_1","unstructured":"2020. CBMC:. http:\/\/www.cprover.org\/cprover-manual\/test-suite\/ 2020. CBMC:. http:\/\/www.cprover.org\/cprover-manual\/test-suite\/"},{"key":"e_1_3_2_1_18_1","unstructured":"John J Chilenski. 2001. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. BOEING COMMERCIAL AIRPLANE CO SEATTLE WA. John J Chilenski. 2001. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. BOEING COMMERCIAL AIRPLANE CO SEATTLE WA."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_21_1","first-page":"244","article-title":"Lemmas on demand for satisfiability solvers","volume":"2","author":"Moura Leonardo De","year":"2002","unstructured":"Leonardo De Moura , Harald Rue\u00df , and Maria Sorea . 2002 . Lemmas on demand for satisfiability solvers . SAT , 2 (2002), 244 \u2013 251 . Leonardo De Moura, Harald Rue\u00df, and Maria Sorea. 2002. Lemmas on demand for satisfiability solvers. SAT, 2 (2002), 244\u2013251.","journal-title":"SAT"},{"key":"e_1_3_2_1_22_1","unstructured":"2018. EN50128 standard. https:\/\/de.wikipedia.org\/wiki\/EN 50128 2018. EN50128 standard. https:\/\/de.wikipedia.org\/wiki\/EN 50128"},{"key":"e_1_3_2_1_23_1","unstructured":"2018. EN50129 standard. http:\/\/standards.globalspec.com\/std\/1266373\/cenelec-en-50129 2018. EN50129 standard. http:\/\/standards.globalspec.com\/std\/1266373\/cenelec-en-50129"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693138"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360220"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299771.3299781"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.13650242.v1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2405"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_31_1","volume-title":"Rierson","author":"Hayhurst Kelly J.","year":"2001","unstructured":"Kelly J. Hayhurst , Dan S. Veerhusen , John J. Chilenski , and Leanna K . Rierson . 2001 . A Practical Tutorial on Modified Condition\/Decision Coverage . http:\/\/shemesh.larc.nasa.gov\/fm\/papers\/Hayhurst-2001-tm210876-MCDC.pdf Kelly J. Hayhurst, Dan S. Veerhusen, John J. Chilenski, and Leanna K. Rierson. 2001. A Practical Tutorial on Modified Condition\/Decision Coverage. http:\/\/shemesh.larc.nasa.gov\/fm\/papers\/Hayhurst-2001-tm210876-MCDC.pdf"},{"key":"e_1_3_2_1_32_1","unstructured":"2018. IEC-62304 standard. https:\/\/www.iso.org\/standard\/38421.html 2018. IEC-62304 standard. https:\/\/www.iso.org\/standard\/38421.html"},{"key":"e_1_3_2_1_33_1","unstructured":"2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.sgs.sg\/en\/training-services\/industry-based-training\/automotive-training\/automotive-functional-safety-training\/iso-26262-automotive-functional-safety-training 2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.sgs.sg\/en\/training-services\/industry-based-training\/automotive-training\/automotive-functional-safety-training\/iso-26262-automotive-functional-safety-training"},{"key":"e_1_3_2_1_34_1","unstructured":"2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.ni.com\/white-paper\/13647\/en\/ 2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.ni.com\/white-paper\/13647\/en\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00118"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar Rasool Maghareh Sangharatna Godboley and Xuan-Linh Ha. 2020. TracerX: Dynamic Symbolic Execution with Interpolation. arxiv:2012.00556. Joxan Jaffar Rasool Maghareh Sangharatna Godboley and Xuan-Linh Ha. 2020. TracerX: Dynamic Symbolic Execution with Interpolation. arxiv:2012.00556.","DOI":"10.1007\/978-3-030-45234-6_28"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491425"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04244-7_37"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-014-0418-5"},{"key":"e_1_3_2_1_41_1","unstructured":"Janne Kauttio. 2013. MC\/DC Based Test Selection for Dynamic Symbolic Execution. http:\/\/urn.fi\/URN:NBN:fi:aalto-201310307764 Janne Kauttio. 2013. MC\/DC Based Test Selection for Dynamic Symbolic Execution. http:\/\/urn.fi\/URN:NBN:fi:aalto-201310307764"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99130-6_9"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254088"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_10"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_16"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_17"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555004"},{"key":"e_1_3_2_1_51_1","unstructured":"2017. SV-COMP Benchmarks: Verification Tasks. https:\/\/github.com\/sosy-lab\/sv-benchmarks\/tree\/master\/c\/psyco 2017. SV-COMP Benchmarks: Verification Tasks. https:\/\/github.com\/sosy-lab\/sv-benchmarks\/tree\/master\/c\/psyco"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"e_1_3_2_1_53_1","unstructured":"2012. Regular Extrapolation of Reactive Systems (RERS-2012). http:\/\/rers-challenge.org\/2012\/index.php?page=download 2012. Regular Extrapolation of Reactive Systems (RERS-2012). http:\/\/rers-challenge.org\/2012\/index.php?page=download"},{"key":"e_1_3_2_1_54_1","unstructured":"2020. RERS:. http:\/\/rers-challenge.org\/ 2020. RERS:. http:\/\/rers-challenge.org\/"},{"key":"e_1_3_2_1_55_1","unstructured":"2020. RERS20:. http:\/\/rers-challenge.org\/2020\/ 2020. RERS20:. http:\/\/rers-challenge.org\/2020\/"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_57_1","unstructured":"Matt Staats. 2009. Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. In NFM. 116. Matt Staats. 2009. Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. In NFM. 116."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606556"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.68"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167335"},{"key":"e_1_3_2_1_63_1","unstructured":"Michal Zalewski. 2017. American fuzzy lop (AFL) fuzzer. https:\/\/github.com\/google\/AFL Michal Zalewski. 2017. American fuzzy lop (AFL) fuzzer. https:\/\/github.com\/google\/AFL"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460319.3464841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T09:35:35Z","timestamp":1673429735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3464841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":63,"alternative-id":["10.1145\/3460319.3464841","10.1145\/3460319"],"URL":"https:\/\/doi.org\/10.1145\/3460319.3464841","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}