{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T04:26:48Z","timestamp":1742012808942,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_29","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T14:05:35Z","timestamp":1322834735000},"page":"285-291","source":"Crossref","is-referenced-by-count":1,"title":["Systematic Verification of Operational Flight Program through Reverse Engineering"],"prefix":"10.1007","author":[{"given":"Dong-Ah","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jong-Hoon","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junbeom","family":"Yoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doo-Hyun","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Kim, D.H., Nodir, K., Chang, C.H., Kim, J.G.: HELISCOPE Project: Research Goal and Survey on Related Technologies. In: The Proceeding of 12th IEEE International Symposium on Object \/Component \/ Service-Oriented Real-Time Distributed Computing (ISORC), Tokyo, pp. 112\u2013118 (2009)","DOI":"10.1109\/ISORC.2009.49"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10265-3_1","volume-title":"Software Technologies for Embedded and Ubiquitous Systems","author":"S.-G. Kim","year":"2009","unstructured":"Kim, S.-G., et al.: Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme. In: Lee, S., Narasimhan, P. (eds.) SEUS 2009. LNCS, vol.\u00a05860, pp. 1\u201311. Springer, Heidelberg (2009)"},{"key":"29_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification: Model-Checking Techniques and Tools","author":"B. Berard","year":"2001","unstructured":"Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)"},{"key":"29_CR4","unstructured":"Lee, D.-A., Yoo, J., Kim, D.: Formal Verification of Process Communications in Operational Flight Program for a Small-Scale Unmanned Helicopter. In: The 6th International Conference on Intelligent Unmanned Systems (ICIUS 2010), Bali, Indonesia, pp. 91\u201396 (2010)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Lee, D.-A., Sung, S., Yoo, J., Kim, D.-H.: Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter. Journal of Aerospace Engineering (accepted, 2011)","DOI":"10.1061\/(ASCE)AS.1943-5525.0000165"},{"issue":"1","key":"29_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E.J. Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross, J.H.: II: Reverse engineering and design recovery: a taxonomy. IEEE Software\u00a07(1), 13\u201317 (1990)","journal-title":"IEEE Software"},{"key":"29_CR7","unstructured":"Pezze, M., Young, M.: Software testing and analysis: process, principles, and techniques. Wiley (2008)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Kim, K.H., Kopetz, H.: A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials. In: 18th IEEE Computer Software & Applications Conference, Los Alamitos, pp. 392\u2013402 (1994)","DOI":"10.1109\/CMPSAC.1994.342772"},{"key":"29_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04117-4","volume-title":"Handbook of Information and Communication Security","author":"P. Stavroulakis","year":"2010","unstructured":"Stavroulakis, P., Stamp, M.: Handbook of Information and Communication Security. Springer, Heidelberg (2010)"},{"key":"29_CR10","volume-title":"Diagramming Techniques for Analysts and Programmers","author":"J. Martin","year":"1985","unstructured":"Martin, J., McClure, C.: Diagramming Techniques for Analysts and Programmers. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"29_CR11","volume-title":"Constantine, Structured Design","author":"E. Yourdon","year":"1979","unstructured":"Yourdon, E.: Constantine, Structured Design. Prentice-Hall, Englewood (1979)"},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P., May, J.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys\u00a029, 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"},{"key":"29_CR13","unstructured":"Yourdon, E.: Modern structured analysis. Yourdon Press (1989)"},{"key":"29_CR14","unstructured":"Doxygen, http:\/\/www.stack.nl\/~dimitri\/doxygen\/index.html"},{"key":"29_CR15","unstructured":"QNX Software Systems, http:\/\/www.qnx.com"},{"key":"29_CR16","unstructured":"gcov\u2014a Test Coverage Program, http:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T19:09:51Z","timestamp":1741979391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_29","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}