{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T00:49:26Z","timestamp":1775782166387,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319517377","type":"print"},{"value":"9783319517384","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51738-4_4","type":"book-chapter","created":{"date-parts":[[2017,1,12]],"date-time":"2017-01-12T12:51:32Z","timestamp":1484225492000},"page":"46-60","source":"Crossref","is-referenced-by-count":12,"title":["CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments"],"prefix":"10.1007","author":[{"given":"Shafiul Azam","family":"Chowdhury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Csallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,13]]},"reference":[{"issue":"9","key":"4_CR1","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1109\/TSE.2007.70708","volume":"33","author":"I St\u00fcrmer","year":"2007","unstructured":"St\u00fcrmer, I., Conrad, M., D\u00f6rr, H., Pepper, P.: Systematic testing of model-based code generators. IEEE Trans. Softw. Eng. (TSE) 33(9), 622\u2013634 (2007)","journal-title":"IEEE Trans. Softw. Eng. (TSE)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 1st edn (2011). http:\/\/LeeSeshia.org","DOI":"10.1145\/2530544.2530545"},{"key":"4_CR3","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":"4_CR4","unstructured":"U.S. National Institute of Standards and Technology (NIST): The economic impacts of inadequate infrastructure for software testing: planning report 02-3 (May 2002)"},{"key":"4_CR5","unstructured":"U.S. Consumer Product Safety Commission (CPSC): Recall 11-702: fire alarm control panels recalled by fire-lite alarms due to alert failure, October 2010. http:\/\/www.cpsc.gov\/en\/Recalls\/2011\/Fire-Alarm-Control-Panels-Recalled-by-Fire-Lite-Alarms-Due-to-Alert-Failure"},{"key":"4_CR6","unstructured":"U.S. National Highway Traffic Safety Administration (NHTSA): Defect information report 14V-053, February 2014. http:\/\/www-odi.nhtsa.dot.gov\/acms\/cs\/jaxrs\/download\/doc\/UCM450071\/RCDNN-14V053-0945.pdf"},{"issue":"4","key":"4_CR7","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MSP.2013.49","volume":"11","author":"H Alemzadeh","year":"2013","unstructured":"Alemzadeh, H., Iyer, R.K., Kalbarczyk, Z., Raman, J.: Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11(4), 14\u201326 (2013)","journal-title":"IEEE Secur. Priv."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Johnson, T.T., Bak, S., Drager, S.: Cyber-physical specification mismatch identification with dynamic analysis. In: Proceedings of ACM\/IEEE Sixth International Conference on Cyber-Physical Systems (ICCPS), pp. 208\u2013217. ACM, April 2015","DOI":"10.1145\/2735960.2735979"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-28891-3_12","volume-title":"NASA Formal Methods","author":"P Cuoq","year":"2012","unstructured":"Cuoq, P., Monate, B., Pacalet, A., Prevosto, V., Regehr, J., Yakobowski, B., Yang, X.: Testing static analyzers with randomly generated programs. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 120\u2013125. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28891-3_12"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in C compilers. In: Proceedings of 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 283\u2013294. ACM, June 2011","DOI":"10.1145\/1993498.1993532"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Dewey, K., Roesch, J., Hardekopf, B.: Fuzzing the Rust typechecker using CLP (T). In: Proceedings of 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 482\u2013493. IEEE (2015)","DOI":"10.1109\/ASE.2015.65"},{"issue":"1","key":"4_CR12","first-page":"100","volume":"10","author":"WM McKeeman","year":"1998","unstructured":"McKeeman, W.M.: Differential testing for software. Digit. Tech. J. 10(1), 100\u2013107 (1998)","journal-title":"Digit. Tech. J."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Lidbury, C., Lascu, A., Chong, N., Donaldson, A.F.: Many-core compiler fuzzing. In: Proceedings of 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 65\u201376. ACM, June 2015","DOI":"10.1145\/2737924.2737986"},{"key":"4_CR14","unstructured":"Holler, C., Herzig, K., Zeller, A.: Fuzzing with code fragments. In: Proceedings of 21th USENIX Security Symposium, pp. 445\u2013458. USENIX Association, August 2012"},{"key":"4_CR15","unstructured":"The MathWorks Inc.: Products and services (2016). http:\/\/www.mathworks.com\/products\/"},{"issue":"5","key":"4_CR16","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-007-0049-7","volume":"9","author":"G Hamon","year":"2007","unstructured":"Hamon, G., Rushby, J.: An operational semantics for Stateflow. Int. J. Softw. Tools Technol. Transf. 9(5), 447\u2013456 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Chapoutot, A.: An operational semantics for Simulink\u2019s simulation engine. In: Proceedings of 13th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), pp. 129\u2013138. ACM, June 2012","DOI":"10.1145\/2248418.2248437"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: SimCoTest: a test suite generation tool for Simulink\/Stateflow controllers. In: Proceedings of 38th International Conference on Software Engineering (ICSE), pp. 585\u2013588. ACM, May 2016","DOI":"10.1145\/2889160.2889162"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Sridhar, A., Srinivasulu, D., Mohapatra, D.P.: Model-based test-case generation for Simulink\/Stateflow using dependency graph approach. In: Proceedings of 3rd IEEE International Advance Computing Conference (IACC), pp. 1414\u20131419, February 2013","DOI":"10.1109\/IAdCC.2013.6514434"},{"key":"4_CR20","unstructured":"National Instruments: Labview system design software (2016). http:\/\/www.ni.com\/labview\/"},{"key":"4_CR21","unstructured":"The MathWorks Inc.: Simulation documentation (2016). http:\/\/www.mathworks.com\/help\/simulink\/"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Rajeev, A.C., Sampath, P., Shashidhar, K.C., Ramesh, S.: CoGenTe: a tool for code generator testing. In: Proceedings of 25th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 349\u2013350. ACM, September 2010","DOI":"10.1145\/1858996.1859070"},{"issue":"1","key":"4_CR23","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5\u201348 (1991)","journal-title":"ACM Comput. Surv."},{"key":"4_CR24","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"DE Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning, 1st edn. Addison-Wesley, Boston (1989)","edition":"1"},{"key":"4_CR25","unstructured":"Nguyen, L.V., Schilling, C., Bogomolov, S., Johnson, T.T.: Runtime verification of model-based development environments. In: Proceedings of 15th International Conference on Runtime Verification (RV), September 2015"},{"issue":"2","key":"4_CR26","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10626-007-0029-9","volume":"18","author":"A Girard","year":"2008","unstructured":"Girard, A., Julius, A.A., Pappas, G.J.: Approximate simulation relations for hybrid systems. Discret. Event Dyn. Syst. 18(2), 163\u2013179 (2008)","journal-title":"Discret. Event Dyn. Syst."},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"St\u00fcrmer, I., Conrad, M.: Test suite design for code generation tools. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 286\u2013290, October 2003","DOI":"10.1109\/ASE.2003.1240322"},{"issue":"11","key":"4_CR28","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Softw. Pract. Exp. 34(11), 1025\u20131050 (2004)","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"4_CR29","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1002\/spe.2290","volume":"46","author":"I Hussain","year":"2016","unstructured":"Hussain, I., Csallner, C., Grechanik, M., Xie, Q., Park, S., Taneja, K., Hossain, B.M.: RUGRAT: evaluating program analysis and testing tools and compilers with large generated random benchmark applications. Softw. Pract. Exp. 46(3), 405\u2013431 (2016)","journal-title":"Softw. Pract. Exp."},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Nguyen, L.V., Schilling, C., Bogomolov, S., Johnson, T.T.: HyRG: a random generation tool for affine hybrid automata. In: Proceedings of 18th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 289\u2013290. ACM, April 2015","DOI":"10.1145\/2728606.2728650"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Sampath, P., Rajeev, A.C., Ramesh, S., Shashidhar, K.C.: Testing model-processing tools for embedded systems. In: Proceedings of 13th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 203\u2013214. IEEE, April 2007","DOI":"10.1109\/RTAS.2007.39"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Mohaqeqi, M., Mousavi, M.R.: Sound test-suites for cyber-physical systems. In: 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 42\u201348, July 2016","DOI":"10.1109\/TASE.2016.33"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-642-02658-4_33","volume-title":"Computer Aided Verification","author":"A Kanade","year":"2009","unstructured":"Kanade, A., Alur, R., Ivan\u010di\u0107, F., Ramesh, S., Sankaranarayanan, S., Shashidhar, K.C.: Generating and analyzing symbolic traces of Simulink\/Stateflow models. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 430\u2013445. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_33"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51738-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T10:33:30Z","timestamp":1749897210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51738-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319517377","9783319517384"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51738-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}