{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T00:40:07Z","timestamp":1748824807684,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319308050"},{"type":"electronic","value":"9783319308067"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-30806-7_1","type":"book-chapter","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T11:24:01Z","timestamp":1459164241000},"page":"1-19","source":"Crossref","is-referenced-by-count":5,"title":["Security Testing Beyond Functional Tests"],"prefix":"10.1007","author":[{"given":"Mohammad Torabi","family":"Dashti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2008)"},{"issue":"11","key":"1_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2366316.2366324","volume":"55","author":"DA Basin","year":"2012","unstructured":"Basin, D.A., Capkun, S.: The research value of publishing attacks. Commun. ACM 55(11), 22\u201324 (2012)","journal-title":"Commun. ACM"},{"key":"1_CR4","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":"1_CR5","series-title":"Texts in Theoretical Computer Science. An EATCS Series","volume-title":"Software Engineering 3: Domains, Requirements, and Software Design","author":"D Bjorner","year":"2006","unstructured":"Bjorner, D.: Software Engineering 3: Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series. Springer, New York (2006)"},{"key":"1_CR6","unstructured":"BSI. A penetration testing model, The German Federal Office for Information Security(2003)"},{"key":"1_CR7","unstructured":"BSI. IT Grundschutz Kataloge, (Version: 14). The German Federal Office for Information Security (2014)"},{"issue":"4","key":"1_CR8","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Comput. 11(4), 34\u201341 (1978)","journal-title":"Comput."},{"key":"1_CR9","unstructured":"Dijkstra, E.W.: Notes on structured programming. Technical report T.H. Report 70-WSK-03, Technological University Eindhoven, April 1970"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Glinz, M.: On non-functional requirements. In: 15th IEEE International Requirements Engineering Conference, RE, pp. 21\u201326. IEEE Computer Society (2007)","DOI":"10.1109\/RE.2007.45"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2090147.2094081","volume":"10","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A.: SAGE: whitebox fuzzing for security testing. ACM Queue 10(1), 20 (2012)","journal-title":"ACM Queue"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1498765.1498787","volume":"52","author":"D Jackson","year":"2009","unstructured":"Jackson, D.: A direct path to dependable software. Commun. ACM 52(4), 78\u201388 (2009)","journal-title":"Commun. ACM"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Jackson, M.: The world and the machine. In: Proceedings of the 17th International Conference on Software Engineering, ICSE 1995, pp. 283\u2013292. ACM, New York, NY, USA (1995)","DOI":"10.1145\/225014.225041"},{"key":"1_CR14","volume-title":"Problem Frames","author":"M Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames. Addison-Wesley, Reading (2001)"},{"key":"1_CR15","doi-asserted-by":"publisher","DOI":"10.1215\/9780822391043","volume-title":"Hitting the Brakes: Engineering Design and the Production of Knowledge","author":"A Johnson","year":"2009","unstructured":"Johnson, A.: Hitting the Brakes: Engineering Design and the Production of Knowledge. Duke University Press, London (2009)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Kim, Y., Daly, R., Kim, J., Fallin, C., Lee, J.-H., Lee, D., Wilkerson, C., Lai, K., Mutlu, O.: Flipping bits in memory without accessing them: an experimental study of DRAM disturbance errors. In: ACM\/IEEE 41st International Symposium on Computer Architecture, ISCA, pp. 361\u2013372. IEEE Computer Society (2014)","DOI":"10.1145\/2678373.2665726"},{"issue":"5","key":"1_CR17","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/1067629.806531","volume":"9","author":"R Levin","year":"1975","unstructured":"Levin, R., Cohen, E., Corwin, W., Pollack, F., Wulf, W.: Policy\/mechanism separation in Hydra. SIGOPS Oper. Syst. Rev. 9(5), 132\u2013140 (1975)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"1_CR18","volume-title":"Software Security: Building Security In","author":"G McGraw","year":"2006","unstructured":"McGraw, G.: Software Security: Building Security In. Addison-Wesley Professional, Boston (2006)"},{"key":"1_CR19","unstructured":"Michael, C.C., van Wyk, K., Radosevich, W.: Risk-based and functional security testing, Accessed 05 July 2013. https:\/\/buildsecurityin.us-cert.gov\/"},{"key":"1_CR20","volume-title":"A Secret History of IRA","author":"E Moloney","year":"2003","unstructured":"Moloney, E.: A Secret History of IRA. Penguin, Canada (2003)"},{"key":"1_CR21","volume-title":"The Art of Software Testing","author":"G Myers","year":"2011","unstructured":"Myers, G., Sandler, C., Badgett, T.: The Art of Software Testing, 3rd edn. Wiley, New York (2011)","edition":"3"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Nelson, R.: What is a secret - and - what does that have to do with computer security? In: Proceedings of the Workshop on New Security Paradigms, pp. 74\u201379. IEEE (1994)","DOI":"10.1109\/NSPW.1994.656234"},{"key":"1_CR23","unstructured":"Derived test requirements for FIPS PUB 140\u20132, security requirements for cryptographic modules, NIST, CSEC and CMVP Laboratories Draft (2011)"},{"key":"1_CR24","unstructured":"OWASP. Testing guide v. 4, Accessed on 9 March 2014. https:\/\/www.owasp.org"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minke, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"issue":"6","key":"1_CR26","first-page":"467","volume":"106","author":"A Herbert","year":"1962","unstructured":"Herbert, A.: Simon.: The architecture of complexity. Proc. Am. Philos. Soc. 106(6), 467\u2013482 (1962)","journal-title":"Proc. Am. Philos. Soc."},{"key":"1_CR27","volume-title":"Fuzzing for Software Security Testing and Quality Assurance","author":"A Takanen","year":"2008","unstructured":"Takanen, A., DeMott, J., Miller, C.: Fuzzing for Software Security Testing and Quality Assurance, 1st edn. Artech House Inc., Norwood (2008)","edition":"1"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Tsankov, P., Dashti, M.T., Basin, D.A.: Semi-valid input coverage for fuzz testing. In: International Symposium on Software Testing and Analysis, ISSTA, pp. 56\u201366. ACM (2013)","DOI":"10.1145\/2483760.2483787"},{"key":"1_CR29","volume-title":"Software Fault Injection","author":"J Voas","year":"1998","unstructured":"Voas, J., McGraw, G.: Software Fault Injection. Wiley, New York (1998)"},{"key":"1_CR30","unstructured":"Wang, R., Zhou, Y., Chen, S., Qadeer, S., Evans, D., Gurevich, Y.: Explicating SDKs: Uncovering assumptions underlying secure authentication and authorization. In: Proceedings of the 22nd USENIX Conference on Security, pp. 399\u2013414 (2013)"},{"issue":"4","key":"1_CR31","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30806-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T00:20:14Z","timestamp":1748823614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30806-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319308050","9783319308067"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30806-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}