{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:08:40Z","timestamp":1725692920194},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326141"},{"type":"electronic","value":"9783642326158"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-32615-8_63","type":"book-chapter","created":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T08:50:30Z","timestamp":1343119830000},"page":"637-650","source":"Crossref","is-referenced-by-count":1,"title":["Program Equivalence Using Neural Networks"],"prefix":"10.1007","author":[{"given":"Tiago M.","family":"Nascimento","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles B.","family":"Prado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davidson R.","family":"Boccardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiz F. R. C.","family":"Carmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael C. S.","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"63_CR1","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/358198.358210","volume":"27","author":"K. Thompson","year":"1984","unstructured":"Thompson, K.: Reflections on trusting trust. Commun. ACM\u00a027(8), 761\u2013763 (1984)","journal-title":"Commun. ACM"},{"unstructured":"McDonald, J.: Delphi falls prey (2009), http:\/\/www.symantec.com\/connect\/blogs\/delphi-falls-prey (last accessed October 2009)","key":"63_CR2"},{"key":"63_CR3","first-page":"1","volume-title":"CSIIRW 2009: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research","author":"D. Quinlan","year":"2009","unstructured":"Quinlan, D., Panas, T.: Source code and binary analysis of software defects. In: CSIIRW 2009: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research, pp. 1\u20134. ACM, New York (2009)"},{"key":"63_CR4","first-page":"67","volume-title":"WCRE 2005: Proceedings of the 12th Working Conference on Reverse Engineering","author":"A.E. Hassan","year":"1995","unstructured":"Hassan, A.E., Jiang, Z.M., Holt, R.C.: Source versus object code extraction for recovering software architecture. In: WCRE 2005: Proceedings of the 12th Working Conference on Reverse Engineering, pp. 67\u201376. IEEE Computer Society, Washington, DC (1995)"},{"unstructured":"Hatton, L.: Estimating source lines of code from object code. In: Windows and Embedded Control Systems (2005), http:\/\/www.leshatton.org\/Documents\/LOC2005.pdf","key":"63_CR5"},{"unstructured":"Buttle, D.L.: Verification of Compiled Code. PhD thesis, University of York, UK (2001)","key":"63_CR6"},{"unstructured":"Wang, Z., Pierce, K., McFarling, S.: Bmat - a binary matching tool for stale profile propagation. The Journal of Instruction-Level Parallelism (2002)","key":"63_CR7"},{"unstructured":"Flake, H.: Structural comparison of executable objects. In: Proc. of the Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA). IEEE Computer Society (2004)","key":"63_CR8"},{"unstructured":"Oh, J.: Fight against 1-day exploits: Diffing binaries vs anti-diffing binaries. In: Blackhat Technical Security Conference (2009)","key":"63_CR9"},{"doi-asserted-by":"crossref","unstructured":"Zhenga, J.: A digital image encryption algorithm based on hyper-chaotic cellular neural network. Journal Fundamenta Informaticae (2009)","key":"63_CR10","DOI":"10.3233\/FI-2009-0018"},{"unstructured":"Zeng, H., Rine, D.: A neural network approach for software defects fix effort estimation. In: IASTED Conf. on Software Engineering and Applications, pp. 513\u2013517 (2004)","key":"63_CR11"},{"key":"63_CR12","doi-asserted-by":"crossref","first-page":"2116","DOI":"10.1016\/j.eswa.2007.12.029","volume":"36","author":"J. Zhenga","year":"2007","unstructured":"Zhenga, J.: Predicting software reliability with neural network ensembles. Expert Systems with Applications\u00a0(36), 2116\u20132122 (2007)","journal-title":"Expert Systems with Applications"},{"unstructured":"Reddy, C.S., Raju, K.V.S.V.N., Kumari, V.V., Devi, G.L.: Fault-prone module prediction of a web application using artificial neural networks. In: Proceeding (591) Software Engineering and Applications (2007)","key":"63_CR13"},{"unstructured":"Lenic, M., Povalej, P., Kokol, P., Cardoso, A.I.: Using cellular automata to predict reliability of modules. In: Proceeding (436) Software Engineering and Applications (2004)","key":"63_CR14"},{"doi-asserted-by":"crossref","unstructured":"Boccardo, D.R., Nascimento, T.M., Machado, R.C., Prado, C.B., Carmo, L.F.R.C.: Traceability of executable codes using neural networks. In: Proceedings of the Information Security Conference (2010) (to appear)","key":"63_CR15","DOI":"10.1007\/978-3-642-18178-8_21"},{"key":"63_CR16","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/CSMR.2001.914984","volume-title":"CSMR 2001: Proceedings of the Fifth European Conference on Software Maintenance and Reengineering","author":"E. Moretti","year":"2001","unstructured":"Moretti, E., Chanteperdrix, G., Osorio, A.: New algorithms for control-flow graph structuring. In: CSMR 2001: Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, p. 184. IEEE Computer Society, Washington, DC (2001)"},{"unstructured":"IdaPro: Ida pro - disassembler (2010), http:\/\/www.hex-rays.com\/idapro\/ (last accessed January 2010)","key":"63_CR17"},{"unstructured":"Poznyakoff, S.: Gnu cflow (2010), http:\/\/savannah.gnu.org\/projects\/cflow (last accessed January 2010)","key":"63_CR18"},{"issue":"1","key":"63_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1019755726221","volume":"16","author":"I.B. Ciocoiu","year":"2002","unstructured":"Ciocoiu, I.B.: Hybrid feedforward neural networks for solving classification problems. Neural Processing Letters\u00a016(1), 81\u201391 (2002)","journal-title":"Neural Processing Letters"},{"issue":"1","key":"63_CR20","first-page":"163","volume":"33","author":"R. Asadi","year":"2009","unstructured":"Asadi, R., Mustapha, N., Sulaiman, N.: New supervisioned multi layer feed forward neural network model to accelerate classification with high accuracy. European Journal of Scientific Research\u00a033(1), 163\u2013178 (2009)","journal-title":"European Journal of Scientific Research"},{"unstructured":"Haykin, S.: Neural Networks: A Comprehensive Foundation. Prentice Hall (1998)","key":"63_CR21"},{"key":"63_CR22","volume-title":"Introduction to the Theory of Neural Computation","author":"J.A. Hertz","year":"1991","unstructured":"Hertz, J.A., Krogh, A.S., Palmer, R.G.: Introduction to the Theory of Neural Computation. Addison-Wesley, Redwood City (1991)"},{"unstructured":"Moler, C.B.: MATLAB \u2014 an interactive matrix laboratory. Technical Report 369, University of New Mexico. Dept. of Computer Science (1980)","key":"63_CR23"},{"doi-asserted-by":"crossref","unstructured":"Men, H., Wu, Y., Gao, Y., Kou, Z., Xu, Z., Yang, S.: Application of support vector machine to heterotrophic bacteria colony recognition. In: CSSE (1), pp. 830\u2013833 (2008)","key":"63_CR24","DOI":"10.1109\/CSSE.2008.485"},{"issue":"1","key":"63_CR25","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s11063-005-3500-3","volume":"23","author":"C. Angulo","year":"2006","unstructured":"Angulo, C., Ruiz, F., Gonz\u00e1lez, L., Ortega, J.A.: Multi-classification by using tri-class svm. Neural Processing Letters\u00a023(1), 89\u2013101 (2006)","journal-title":"Neural Processing Letters"},{"unstructured":"Burkard, J.: C software (2010), http:\/\/people.sc.fsu.edu\/~burkardt\/ (Last accessed January 2010)","key":"63_CR26"},{"unstructured":"Oliveira Cruz, A.J.: C software (2010), http:\/\/equipe.nce.ufrj.br\/adriano\/c\/exemplos.htm (last accessed January 2010)","key":"63_CR27"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Bio-Inspired Models of Network, Information, and Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32615-8_63","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T16:42:14Z","timestamp":1687624934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32615-8_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326141","9783642326158"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32615-8_63","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2012]]}}}