{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T06:29:59Z","timestamp":1778567399078,"version":"3.51.4"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T00:00:00Z","timestamp":1504137600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002724","name":"University of Sharjah","doi-asserted-by":"crossref","award":["1602141139-P"],"award-info":[{"award-number":["1602141139-P"]}],"id":[{"id":"10.13039\/501100002724","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Comput Virol Hack Tech"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s11416-017-0302-x","type":"journal-article","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T06:51:57Z","timestamp":1504162317000},"page":"167-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Testing closed source software: computer forensic tool case study"],"prefix":"10.1007","volume":"14","author":[{"given":"Manar Abu","family":"Talib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,31]]},"reference":[{"key":"302_CR1","unstructured":"Abran, A., Desharnais, J.-M., Olingy, S., St-Pierre, D., Synmons, C.: COSMIC FFP - Manuel de Mesures. Retrieved from http:\/\/estudijas.lu.lv\/pluginfile.php\/258973\/mod_resource\/content\/1\/COSMIC%20Method%20v3.0.1%20Measurement%20Manual.pdf (2009)"},{"key":"302_CR2","unstructured":"Abran, A., Ormandieva, O., Talib, M.: Functional Size and Information Theory-Based Functional Complexity Measures: Exploratory study of related concepts using COSMIC-FFP measurement method as a case study. In: 14th International Workshop of Software Measurement (IWSM-MetriKon 2004) (pp. 457\u2013471). Konigs Wusterhausen: Shaker-Verlag (2004)"},{"issue":"1","key":"302_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/s40064-016-2539-0","volume":"5","author":"M Abu Talib","year":"2016","unstructured":"Abu Talib, M.: Towards early software reliability prediction for computer forensic tools (case study). SpringerPlus 5(1), 1\u201312 (2016)","journal-title":"SpringerPlus"},{"issue":"3","key":"302_CR4","first-page":"22","volume":"8","author":"M Abu Talib","year":"2006","unstructured":"Abu Talib, M., Ormandjieva, O., Abran, A., Buglione, L., Khelfi, A.: Scenario-based Black Box Testing in COSMIC-FFP: a case study. Softw. Qual. Prof. 8(3), 22\u201333 (2006)","journal-title":"Softw. Qual. Prof."},{"key":"302_CR5","unstructured":"Abu Talib, M.: Exploratory Study on an Innovation Use of COSMIC-FFP for Early Quality Assessment. Ph.D. Thesis, Concordia University, Montreal, Canada (2007)"},{"key":"302_CR6","doi-asserted-by":"crossref","unstructured":"Abu Talib, M., Mendes, E., Khelifi, A.: Towards reliable web applications: ISO 19761. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society (2012)","DOI":"10.1109\/IECON.2012.6389396"},{"key":"302_CR7","doi-asserted-by":"crossref","unstructured":"Asthana, S., Tripathi, S., Singh, S.K.: A novel approach to generate test cases using class and sequence diagrams. In: International Conference on Contemporary Computing (pp. 155\u2013167). Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-14825-5_14"},{"key":"302_CR8","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1016\/j.diin.2009.06.013","volume":"6","author":"D Ayers","year":"2009","unstructured":"Ayers, D.: A second generation computer forensic analysis system. J. Digit. Invest. 6, 34\u201342 (2009)","journal-title":"J. Digit. Invest."},{"key":"302_CR9","unstructured":"Bai, X., Peng, L., Li, H.: An approach to generate the thin-threads from the UML diagrams. In: Proceedings of the 28th Annual International Computer Software and Applications Conference. 1, pp. 546\u2013552. Washington: IEEE Computer Society (2004)"},{"key":"302_CR10","doi-asserted-by":"crossref","unstructured":"Bai, X., Tsai, W., Paul, R., Feng, K., Yu, L.: Scenario-based modeling and its applications. In: Proceedings of the Seventh International Workshop on Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002)., (pp. 253\u2013260). San Diego (2002)","DOI":"10.1109\/WORDS.2002.1000060"},{"key":"302_CR11","doi-asserted-by":"crossref","unstructured":"Beckett, J., Slay, J.: Digital forensics: validation and verification in a dynamic work environment. In: Proceedings of the 40th Hawaii International Conference on System Sciences (2007)","DOI":"10.1109\/HICSS.2007.175"},{"key":"302_CR12","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)","edition":"2"},{"key":"302_CR13","unstructured":"Bertolino, A.: Knowledge Area Description of Software Testing Guide to the SWEBOK. Retrieved December 25, 2015, from http:\/\/www.swebok.org (2004)"},{"issue":"1","key":"302_CR14","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L Briand","year":"2002","unstructured":"Briand, L., Labiche, Y.: A UML-based approach to system testing. Softw. Syst. Model. 1(1), 10\u201342 (2002)","journal-title":"Softw. Syst. Model."},{"key":"302_CR15","unstructured":"Carrier, B.: \u201cDigital forensics tool testing images,\u201d http:\/\/dftt.sourceforge.net\/ (2015). Accessed 28 Dec 2015"},{"issue":"3","key":"302_CR16","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE\u20134","author":"T Chow","year":"1978","unstructured":"Chow, T.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE\u20134(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"302_CR17","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A En-Nouaary","year":"2002","unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Wp-method: testing real-time systems. IEEE Trans. Softw. Eng. 28(11), 1023\u20131038 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"302_CR18","unstructured":"Flandrin, F., Buchanan, W., Macfarlane, R., Ramsay, B., Smales, A.: Evaluating Digital Forensic Tools (DFTs), School of Computing, Edinburgh Napier University, Edinburgh (2012)"},{"key":"302_CR19","doi-asserted-by":"crossref","unstructured":"Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on (pp. 261\u2013266) (2002)","DOI":"10.1109\/ASE.2002.1115026"},{"key":"302_CR20","unstructured":"Forensic Toolkit Imager User Guide. Retrieved December 25, 2015, from Access Data: http:\/\/accessdata.com\/product-download\/digital-forensics\/ftk-imager-version-3.2.0 (2012)"},{"key":"302_CR21","doi-asserted-by":"crossref","first-page":"S64","DOI":"10.1016\/j.diin.2010.05.009","volume":"7","author":"S Garfinkel","year":"2010","unstructured":"Garfinkel, S.: Digital forensics research: the next 10 years. Digit. Invest. 7, S64\u2013S73 (2010)","journal-title":"Digit. Invest."},{"key":"302_CR22","unstructured":"General Testing Methodology. Retrieved December 25, 2015, from NIST CFTT: http:\/\/www.cftt.nist.gov\/TestMethodology7.doc (2007)"},{"key":"302_CR23","doi-asserted-by":"crossref","unstructured":"Guo, Y., Beckett, J., Slay, J.: Validation and verification of computer forensic software tools-Searching Function. In: Digital Forensic Research Workshop. Published by Elsevier Ltd (2009)","DOI":"10.1016\/j.diin.2009.06.015"},{"key":"302_CR24","doi-asserted-by":"crossref","unstructured":"Kanellis, P., et al.: Digital Crime And Forensic Science in Cyberspace. ISBN-13: 978-1591408727 ISBN-10: 1591408725 (2006)","DOI":"10.4018\/978-1-59140-872-7"},{"key":"302_CR25","unstructured":"ISO\/IEC 17025:2005. Retrieved December 25, 2015, from International Organization for Standardization: http:\/\/www.iso.org\/iso\/catalogue_detail.htm?csnumber=39883 (2005)"},{"key":"302_CR26","unstructured":"ISO\/IEC 19761. Retrieved December 25, 2015, from International Organization for Standardization: http:\/\/www.iso.org\/iso\/catalogue_detail.htm?csnumber=33899 (2003)"},{"key":"302_CR27","doi-asserted-by":"crossref","unstructured":"Lyle, J.R., White, D.R., Ayers, R.P.: \u201cDigital forensics at the national institute of standards and technology,\u201d National Institute of Standards and Technology, Interagency Report (NISTIR), http:\/\/www.cftt.nist.gov\/NISTIR_7490.pdf (2008)","DOI":"10.6028\/NIST.IR.7490"},{"issue":"2","key":"302_CR28","first-page":"1","volume":"3","author":"M Meyers","year":"2004","unstructured":"Meyers, M., Rogers, M.: Computer forensics: the need for standardization and certification. Int. J. Digit. Evid. 3(2), 1 (2004)","journal-title":"Int. J. Digit. Evid."},{"key":"302_CR29","doi-asserted-by":"crossref","unstructured":"Marchetti, E., Schilders, L., Winfield, S.: Scenario-Based testing applied in two real contexts: Healthcare and Employability. In: IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011 (pp. 89\u201398) (2011)","DOI":"10.1109\/ICSTW.2011.64"},{"key":"302_CR30","unstructured":"National Academy of Sciences, Strengthening Forensic Science in the United States: A Path Forward. http:\/\/www.nap.edu\/catalog\/12589.html (2009)"},{"key":"302_CR31","unstructured":"NIST.: \u201cGeneral test methodology for computer forensic tools,\u201d National Institute of Standards and Technology, Tech. Rep. Version 1.9. Retrieved December 25, 2015, from www.cftt.nist.gov\/Test%20Methodology%207.doc (2001)"},{"key":"302_CR32","unstructured":"NIST.: \u201cDigital data acquisition tool test assertions and test plan,\u201d National Institute of Standards and Technology, Draft 1. Retrieved December 25, 2015, from http:\/\/www.cftt.nist.gov\/DA-ATP-pc-01.pdf (2005)"},{"key":"302_CR33","unstructured":"NIST.: \u201cComputer forensics tool testing program: Project overview,\u201d Retrieved December 25, 2015, from http:\/\/www.cftt.nist.gov\/ (2015)"},{"key":"302_CR34","doi-asserted-by":"crossref","unstructured":"Pan, L., Batten, L.: A lower bound on effective performance testing for digital forensic tools. In: Proceedings of the Second International Workshop on Systematic Approaches to Digital Forensic Engineering (pp. 117\u2013130). Washington: IEEE Computer Society (2007)","DOI":"10.1109\/SADFE.2007.2"},{"key":"302_CR35","doi-asserted-by":"crossref","unstructured":"Panthi, V., Mohapatra, D.P.: Automatic test case generation using sequence diagram. In: Proceedings of International Conference on Advances in Computing (pp. 277\u2013284). Springer India (2013)","DOI":"10.1007\/978-81-322-0740-5_33"},{"key":"302_CR36","doi-asserted-by":"crossref","unstructured":"Sarma, M., Kundu, D., Mall, R.: \u201cAutomatic test case generation from UML sequence diagram.\u201d In: International Conference on Advanced Computing and Communications, 2007. ADCOM 2007. IEEE, (2007)","DOI":"10.1109\/ADCOM.2007.68"},{"issue":"2","key":"302_CR37","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.jss.2007.05.009","volume":"81","author":"M Zheng","year":"2008","unstructured":"Zheng, M., Alagar, V., Ormandjieva, O.: Automated generation of test suites from formal specifications of real-time reactive systems. J. Syst. Softw. 81(2), 286\u2013304 (2008)","journal-title":"J. Syst. Softw."}],"container-title":["Journal of Computer Virology and Hacking Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11416-017-0302-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-017-0302-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-017-0302-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:18:10Z","timestamp":1659399490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11416-017-0302-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,31]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["302"],"URL":"https:\/\/doi.org\/10.1007\/s11416-017-0302-x","relation":{},"ISSN":["2263-8733"],"issn-type":[{"value":"2263-8733","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,31]]}}}