{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T21:06:40Z","timestamp":1740172000346,"version":"3.37.3"},"reference-count":15,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"4","license":[{"start":{"date-parts":[[2021,3,19]],"date-time":"2021-03-19T00:00:00Z","timestamp":1616112000000},"content-version":"am","delay-in-days":352,"URL":"https:\/\/www.aiaa.org\/userlicenses\/1.0\/#CompEndUserLicense"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1329341","CNS-1836942"],"award-info":[{"award-number":["CNS-1329341","CNS-1836942"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.2514\/1.i010767","type":"journal-article","created":{"date-parts":[[2020,3,19]],"date-time":"2020-03-19T13:55:42Z","timestamp":1584626142000},"page":"204-213","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":5,"title":["Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables"],"prefix":"10.2514","volume":"17","author":[{"given":"Hu","family":"Huang","sequence":"first","affiliation":[{"name":"Tufts University, Medford, Massachusetts 02155"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel Z.","family":"Guyer","sequence":"additional","affiliation":[{"name":"Tufts University, Medford, Massachusetts 02155"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason H.","family":"Rife","sequence":"additional","affiliation":[{"name":"Tufts University, Medford, Massachusetts 02155"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"r4","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9258-8"},{"key":"r6","unstructured":"MontgomeryS. L., MISRA C:2012: Guidelines for the Use of the C Language in Critical Systems, Motor Industry Research Association, Warwickshire, U.K., 2013, pp.\u00a01\u2013236."},{"key":"r7","unstructured":"SeacordR., The CERT C Secure Coding Standard, SEI Series in Software Engineering, Pearson Education, Boston, MA, 2008, pp.\u00a01\u2013720."},{"key":"r8","unstructured":"\u201cRTCA\/DO-178C Software Considerations in Airborne Systems and Equipment Certification,\u201d RTCA, Inc., Tech. Rept., Radio Technical Commission for Aeronautics, Washington, D.C. Dec.\u00a02011."},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6431"},{"key":"r11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2018.2876051"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1504"},{"key":"r28","volume":"2","author":"Zhu J.","year":"2006","journal-title":"Statistics and Its Interface"},{"key":"r30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"r31","unstructured":"TipF. \u201cA Survey of Program Slicing Techniques,\u201d Tech. Rept. Centre for Mathematics and Computer Science, Amsterdam, 1994."},{"key":"r33","unstructured":"HuangH. \u201cDetecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables,\u201d Ph.D. Thesis, Tufts Univ., Medford, MA, 2019."},{"key":"r36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"r37","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-4923"},{"key":"r38","doi-asserted-by":"publisher","DOI":"10.1002\/navi.322"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/am-pdf\/10.2514\/1.I010767","content-type":"application\/pdf","content-version":"am","intended-application":"unspecified"},{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010767","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:39:04Z","timestamp":1614584344000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010767"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["10.2514\/1.I010767"],"URL":"https:\/\/doi.org\/10.2514\/1.i010767","relation":{},"ISSN":["2327-3097"],"issn-type":[{"type":"electronic","value":"2327-3097"}],"subject":[],"published":{"date-parts":[[2020,4]]},"assertion":[{"value":"2019-06-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-12-01","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-02-10","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-03-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}