{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T21:18:40Z","timestamp":1770499120823,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319259444","type":"print"},{"value":"9783319259451","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_12","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T22:20:37Z","timestamp":1446848437000},"page":"194-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["A Survey on Testing for Cyber Physical System"],"prefix":"10.1007","author":[{"given":"Sara","family":"Abbaspour Asadollah","sequence":"first","affiliation":[]},{"given":"Rafia","family":"Inam","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"12_CR1","unstructured":"Abbaspour A.S., Hansson, H., Sundmark, D., Eldh, S.: Towards classification of concurrency bugs based on observable properties. In: Workshop on Complex faUlts and Failures in LargE Software Systems (COUFLESS) (2015)"},{"issue":"2","key":"12_CR2","first-page":"43","volume":"2","author":"F Alisherov","year":"2009","unstructured":"Alisherov, F., Sattarova, F.: Methodology for penetration testing. Int. J. Grid Distrib. Comput. 2(2), 43\u201350 (2009). Citeseer","journal-title":"Int. J. Grid Distrib. Comput."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Badban, B., Fr\u00e4nzle, M., Peleska, J., Teige, T.: Test automation for hybrid systems. In: Workshop on Software Quality Assurance, pp. 14\u201321, ACM (2006)","DOI":"10.1145\/1188895.1188902"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bertolino, A.: Software testing research: achievements, challenges, dreams. In: Future of Software Engineering, pp. 85\u2013103 (2007)","DOI":"10.1109\/FOSE.2007.25"},{"key":"12_CR5","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: Testing web services: a survey. Department of Computer Science, King\u2019s College London, Technical report TR-10-01 (2010)"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/s001650070009","volume":"12","author":"R Cardell-Oliver","year":"2000","unstructured":"Cardell-Oliver, R.: Conformance tests for real-time systems with timed automata specifications. Form. Asp. Comput. 12(5), 350\u2013371 (2000)","journal-title":"Form. Asp. Comput."},{"key":"12_CR7","unstructured":"Goodloe, A.E., Pike, L.: Monitoring distributed real-time systems: a survey and future directions. Technical report, NASA Langley Research Center (2010)"},{"issue":"1","key":"12_CR8","first-page":"57","volume":"1","author":"SKS Gupta","year":"2011","unstructured":"Gupta, S.K.S., Mukherjee, T., Varsamopoulos, G., Banerjee, A.: Research directions in energy-sustainable cyberphysical systems. Sustain. Comput. Inf. Syst. 1(1), 57\u201374 (2011)","journal-title":"Sustain. Comput. Inf. Syst."},{"issue":"10","key":"12_CR9","doi-asserted-by":"publisher","first-page":"3826","DOI":"10.1109\/JSEN.2013.2271721","volume":"13","author":"J He","year":"2013","unstructured":"He, J., Geng, Y., Wan, Y., Li, S., Pahlavan, K.: A cyber physical test-bed for virtualization of RF access environment for body sensor network. IEEE Sens. J. 13(10), 3826\u20133836 (2013)","journal-title":"IEEE Sens. J."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Huang, H.M., Tidwell, T., Gill, C., Lu, C., Gao, X., Dyke, S.: Cyber-physical systems for real-time hybrid structural testing: a case study. In: 1st International Conference on Cyber-Physical Systems, pp. 69\u201378, ACM (2010)","DOI":"10.1145\/1795194.1795205"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Incki, K., Ar, I., S\u00f6zer, H.: A survey of software testing in the cloud. In: Software Security and Reliability Companion (SERE-C), pp. 18\u201323 (2012)","DOI":"10.1109\/SERE-C.2012.32"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Kane, A., Fuhrman, T., Koopman, P.: Monitor based oracles for cyber-physical system testing. In: Dependable Systems and Networks (2014)","DOI":"10.1109\/DSN.2014.28"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Form. Methods Syst. Des. 34(3), 238\u2013304 (2009)","journal-title":"Form. Methods Syst. Des."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Lee, J., Kang, S., Lee, D.: A survey on software product line testing. In: Proceedings of the 16th International Software Product Line Conference, vol. 1, pp. 31\u201340. SPLC 2012, ACM, New York, NY, USA (2012)","DOI":"10.1145\/2362536.2362545"},{"issue":"1","key":"12_CR15","first-page":"55","volume":"1","author":"MH Lee","year":"2008","unstructured":"Lee, M.H., Yoo, C.J., Jang, O.B.: Embedded system software testing based on SOA for mobile service. J. Adv. Sci. Technol. 1(1), 55\u201364 (2008)","journal-title":"J. Adv. Sci. Technol."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.is.2014.02.001","volume":"43","author":"YF Li","year":"2014","unstructured":"Li, Y.F., Das, P.K., Dowe, D.L.: Two decades of web application testing\u2013a survey of recent advances. Inf. Syst. 43, 20\u201354 (2014)","journal-title":"Inf. Syst."},{"issue":"3","key":"12_CR17","first-page":"9","volume":"4","author":"JH Lim","year":"2010","unstructured":"Lim, J.H., Song, S.H., Son, J.R., Kuc, T.Y., Park, H.S., Kim, H.S.: An automated test method for robot platform and its components. Int. J. Softw. Eng. Its Appl. 4(3), 9\u201318 (2010)","journal-title":"Int. J. Softw. Eng. Its Appl."},{"issue":"4","key":"12_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D Mandrioli","year":"1995","unstructured":"Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real-time systems from logic specifications. Trans. Comput. Syst. 13(4), 365\u2013398 (1995)","journal-title":"Trans. Comput. Syst."},{"issue":"12","key":"12_CR19","first-page":"29","volume":"1","author":"S Mathur","year":"2010","unstructured":"Mathur, S., Malik, S.: Advancements in the V-Model. Int. J. Comput. Appl. 1(12), 29\u201334 (2010)","journal-title":"Int. J. Comput. Appl."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Rajkumar, R.R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: 47th Design Automation Conference, pp. 731\u2013736 (2010)","DOI":"10.1145\/1837274.1837461"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Sha, L., Gopalakrishnan, S., Liu, X., Wang, Q.: Cyber-physical systems: a new frontier. In: IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing 2008, SUTC 2008, pp. 1\u20139 (2008)","DOI":"10.1109\/SUTC.2008.85"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Silva, L.C., Perkusich, M., Bublitz, F.M., Almeida, H.O., Perkusich, A.: A model-based architecture for testing medical cyber-physical systems. In: 29th Annual ACM Symposium on Applied Computing, pp. 25\u201330, New York, NY, USA (2014)","DOI":"10.1145\/2554850.2555028"},{"issue":"4","key":"12_CR23","first-page":"87","volume":"3","author":"PR Srivastava","year":"2009","unstructured":"Srivastava, P.R., Kim, T-h: Application of genetic algorithm in software testing. J. Softw. Eng. Its Appl. 3(4), 87\u201396 (2009)","journal-title":"J. Softw. Eng. Its Appl."},{"issue":"2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/979743.979766","volume":"29","author":"A Tevanlinna","year":"2004","unstructured":"Tevanlinna, A., Taina, J., Kauppinen, R.: Product family testing: a survey. SIGSOFT Softw. Eng. Notes 29(2), 12\u201312 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Tidwell, T., Gao, X., Huang, H.M., Lu, C., Dyke, S., Gill, C.: Towards configurable real-time hybrid structural testing: a cyber-physical system approach. In: ISORC, pp. 37\u201344 (2009)","DOI":"10.1109\/ISORC.2009.41"},{"issue":"4","key":"12_CR26","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2362336.2362351","volume":"11","author":"M Woehrle","year":"2012","unstructured":"Woehrle, M., Lampka, K., Thiele, L.: Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4), 84 (2012)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"3","key":"12_CR27","first-page":"15","volume":"6","author":"L Zhang","year":"2013","unstructured":"Zhang, L., He, J., Yu, W.: Test case generation from formal models of cyber physical system. J. Hybrid Inf. Technol. 6(3), 15 (2013)","journal-title":"J. Hybrid Inf. Technol."}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:23:31Z","timestamp":1576639411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}