{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:16Z","timestamp":1750307296335,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T00:00:00Z","timestamp":1304553600000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2011,5,5]]},"DOI":"10.1145\/1968587.1968590","type":"journal-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:03Z","timestamp":1305637143000},"page":"7-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Software Engineering Education (SEEd)"],"prefix":"10.1145","volume":"36","author":[{"given":"Mark A.","family":"Ardis","sequence":"first","affiliation":[{"name":"Stevens Institute of Technology, Hoboken, NJ 07030 USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter B.","family":"Henderson","sequence":"additional","affiliation":[{"name":"Butler University, Indianapolis, Indiana 46208 USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,5]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"January 18","author":"NASA Engineering and Safety Center","year":"2011","unstructured":"NASA Engineering and Safety Center , Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation , January 18 , 2011 , available online: http:\/\/www.nhtsa.gov\/staticfiles\/nvs\/pdf\/NASA-UA_report.pdf NASA Engineering and Safety Center, Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation, January 18, 2011, available online: http:\/\/www.nhtsa.gov\/staticfiles\/nvs\/pdf\/NASA-UA_report.pdf"},{"key":"e_1_2_1_2_1","unstructured":"Ibid. Appendix A. Software available online: http:\/\/www.nhtsa.gov\/staticfiles\/nvs\/pdf\/NASA_FR_Appendix_A_Software.pdf  Ibid. Appendix A. Software available online: http:\/\/www.nhtsa.gov\/staticfiles\/nvs\/pdf\/NASA_FR_Appendix_A_Software.pdf"},{"key":"e_1_2_1_3_1","unstructured":"gcc: http:\/\/gcc.gnu.org\/  gcc: http:\/\/gcc.gnu.org\/"},{"key":"e_1_2_1_4_1","unstructured":"Coverity: http:\/\/coverity.com\/products\/static-analysis.html  Coverity: http:\/\/coverity.com\/products\/static-analysis.html"},{"key":"e_1_2_1_5_1","unstructured":"CodeSonar: http:\/\/grammatech.com\/products\/codesonar\/overview.html  CodeSonar: http:\/\/grammatech.com\/products\/codesonar\/overview.html"},{"key":"e_1_2_1_6_1","unstructured":"Uno: http:\/\/spinroot.com\/uno  Uno: http:\/\/spinroot.com\/uno"},{"key":"e_1_2_1_7_1","unstructured":"MISRA\n  : http:\/\/www.misra.org.uk  MISRA: http:\/\/www.misra.org.uk"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.212"},{"key":"e_1_2_1_9_1","unstructured":"Spin: http:\/\/spinroot.com  Spin: http:\/\/spinroot.com"},{"key":"e_1_2_1_10_1","unstructured":"Swarm: http:\/\/www.spinroot.com\/swarm\/  Swarm: http:\/\/www.spinroot.com\/swarm\/"},{"key":"e_1_2_1_11_1","unstructured":"MATLAB\n  : http:\/\/www.mathworks.com\/products\/matlab\/  MATLAB: http:\/\/www.mathworks.com\/products\/matlab\/"},{"key":"e_1_2_1_12_1","unstructured":"Simulink: http:\/\/www.mathworks.com\/products\/simulink\/  Simulink: http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"e_1_2_1_13_1","unstructured":"Stateflow: http:\/\/www.mathworks.com\/products\/stateflow\/  Stateflow: http:\/\/www.mathworks.com\/products\/stateflow\/"},{"key":"e_1_2_1_14_1","unstructured":"SystemTest: http:\/\/www.mathworks.com\/products\/systemtest\/  SystemTest: http:\/\/www.mathworks.com\/products\/systemtest\/"},{"key":"e_1_2_1_15_1","unstructured":"aiT: http:\/\/www.absint.com\/ait\/  aiT: http:\/\/www.absint.com\/ait\/"},{"key":"e_1_2_1_16_1","unstructured":"QA-C: http:\/\/www.programmingresearch.com\/qac_main.html  QA-C: http:\/\/www.programmingresearch.com\/qac_main.html"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1968587.1968590","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1968587.1968590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:48Z","timestamp":1750244388000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1968587.1968590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,5]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,5,5]]}},"alternative-id":["10.1145\/1968587.1968590"],"URL":"https:\/\/doi.org\/10.1145\/1968587.1968590","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2011,5,5]]},"assertion":[{"value":"2011-05-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}