{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T22:20:59Z","timestamp":1759530059422,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319474427"},{"type":"electronic","value":"9783319474434"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","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":[[2016]]},"DOI":"10.1007\/978-3-319-47443-4_10","type":"book-chapter","created":{"date-parts":[[2016,10,3]],"date-time":"2016-10-03T15:10:12Z","timestamp":1475507412000},"page":"155-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Mutation-Based Test Generation for PLC Embedded Software Using Model Checking"],"prefix":"10.1007","author":[{"given":"Eduard P.","family":"Enoiu","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Sundmark","sequence":"additional","affiliation":[]},{"given":"Adnan","family":"\u010cau\u0161evi\u0107","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Feldt","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,4]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Logic in Computer Science, pp. 414\u2013425. IEEE (1990)","DOI":"10.1007\/3-540-54233-7_128"},{"key":"10_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, Cambridge (2008)"},{"key":"10_CR3","unstructured":"Black, P.E.: Modeling and marshaling: making tests from model checker counterexamples. In: Digital Avionics Systems, vol. 1. IEEE (2000)"},{"key":"10_CR4","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Symposium on Operating Systems Design and Implementation, vol. 8. USENIX (2008)"},{"key":"10_CR5","unstructured":"CENELEC: 50128: Railway Application: Communications, Signaling and Processing Systems, Software For Railway Control and Protection Systems. In: Standard. European Committee for Electrotechnical Standardization (2001)"},{"key":"10_CR6","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. IEEE Comput. 11, 34\u201341 (1978)","journal-title":"IEEE Comput."},{"issue":"9","key":"10_CR7","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"RA Demillo","year":"1991","unstructured":"Demillo, R.A., Offutt, J.A.: Constraint-based automatic test data generation. Trans. Softw. Eng. 17(9), 900\u2013910 (1991)","journal-title":"Trans. Softw. Eng."},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10009-014-0355-9","volume":"18","author":"E Enoiu","year":"2014","unstructured":"Enoiu, E., \u010cau\u0161evi\u0107, A., Ostrand, T.J., Weyuker, E.J., Sundmark, D., Pettersson, P.: Automated test generation using model checking: an industrial evaluation. J. Softw. Tools Technol. Transf. 18(3), 335\u2013353 (2014). Springer","journal-title":"J. Softw. Tools Technol. Transf."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Evosuite: automatic test suite generation for object-oriented software. In: Foundations of Software Engineering. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. J. Softw. Test. Verif. Reliab. 19, 215\u2013261 (2009). Wiley","journal-title":"J. Softw. Test. Verif. Reliab."},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TSE.2011.93","volume":"38","author":"G Fraser","year":"2012","unstructured":"Fraser, G., Zeller, A.: Mutation-driven generation of unit tests and oracles. Trans. Softw. Eng. 38(2), 278\u2013292 (2012)","journal-title":"Trans. Softw. Eng."},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-73770-4_11","volume-title":"Tests and Proofs","author":"A Gargantini","year":"2007","unstructured":"Gargantini, A.: Using model checking to generate fault detecting tests. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 189\u2013206. Springer, Heidelberg (2007)"},{"issue":"8","key":"10_CR13","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TSE.2015.2421011","volume":"41","author":"G Gay","year":"2015","unstructured":"Gay, G., Staats, M., Whalen, M., Heimdahl, M.: The risks of coverage-directed test case generation. Trans. Softw. Eng. 41(8), 803\u2013819 (2015). IEEE","journal-title":"Trans. Softw. Eng."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-30232-2_11","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"JC Godskesen","year":"2004","unstructured":"Godskesen, J.C., Nielsen, B., Skou, A.: Connectivity testing through model-checking. In: Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 167\u2013184. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30232-2_11"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"4","author":"WE Howden","year":"1982","unstructured":"Howden, W.E.: Weak mutation testing and completeness of test sets. Trans. Softw. Eng. 4, 371\u2013379 (1982)","journal-title":"Trans. Softw. Eng."},{"key":"10_CR16","unstructured":"IEC: International Standard on 61131\u20133 Programming Languages. In: Programmable Controllers. IEC Library (2014)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Inozemtseva, L., Holmes, R.: Coverage is not strongly correlated with test suite effectiveness. In: International Conference on Software Engineering. ACM (2014)","DOI":"10.1145\/2568225.2568271"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1109\/TII.2015.2469257","volume":"11","author":"M Jamro","year":"2015","unstructured":"Jamro, M.: POU-oriented unit testing of IEC 61131\u20133 control software. Trans. Ind. Inform. 11, 1119\u20131129 (2015)","journal-title":"Trans. Ind. Inform."},{"issue":"10","key":"10_CR19","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1016\/j.infsof.2009.04.016","volume":"51","author":"Y Jia","year":"2009","unstructured":"Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51(10), 1379\u20131393 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"10_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12015-2","volume-title":"IEC 61131\u20133: Programming Industrial Automation Systems","author":"KH John","year":"2010","unstructured":"John, K.H., Tiegelkamp, M.: IEC 61131\u20133: Programming Industrial Automation Systems. Springer, Berlin (2010)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Just, R., Jalali, D., Inozemtseva, L., Ernst, M.D., Holmes, R., Fraser, G.: Are mutants a valid substitute for real faults in software testing? In: Foundations of Software Engineering, pp. 654\u2013665. ACM (2014)","DOI":"10.1145\/2635868.2635929"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1, 134\u2013152 (1997). Springer","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.ress.2004.07.019","volume":"88","author":"Y Oh","year":"2005","unstructured":"Oh, Y., Yoo, J., Cha, S., Son, H.S.: Software safety analysis of FBD using fault trees. Reliab. Eng. Syst. Saf. 88, 215\u2013228 (2005). Elsevier","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"10_CR24","first-page":"77","volume":"2","author":"V Okun","year":"2003","unstructured":"Okun, V., Black, P.E., Yesha, Y.: Testing with model checker: insuring fault visibility. Syst. Sci. Appl. Math. 2(1), 77\u201382 (2003)","journal-title":"Syst. Sci. Appl. Math."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Orso, A., Rothermel, G.: Software testing: a research travelogue (2000\u20132014). In: Proceedings of the on Future of Software Engineering. ACM (2014)","DOI":"10.1145\/2593882.2593885"},{"key":"10_CR26","unstructured":"Schwartz, M.D., Mulder, J., Trent, J., Atkins, W.D.: Control system devices: architectures and supply channels overview. In: Sandia National Laboratories Sandia Report SAND2010-5183 (2010)"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-642-33666-9_30","volume-title":"Model Driven Engineering Languages and Systems","author":"D Shin","year":"2012","unstructured":"Shin, D., Jee, E., Bae, D.-H.: Empirical evaluation on FBD model-based test coverage criteria using mutation analysis. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 465\u2013479. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33666-9_30"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Simon, H., Friedrich, N., Biallas, S., Hauck-Stattelmann: automatic test case generation for PLC programs using coverage metrics. In: ETFA. IEEE (2015)","DOI":"10.1109\/ETFA.2015.7301602"},{"key":"10_CR29","unstructured":"Woodward, M., Halewood, K.: From weak to strong, dead or alive? An analysis of some mutation testing issues. In: STVA. IEEE (1988)"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"1360","DOI":"10.1016\/j.infsof.2014.04.016","volume":"56","author":"YC Wu","year":"2014","unstructured":"Wu, Y.C., Fan, C.F.: Automatic test case generation for structural testing of FBD. Inf. Softw. Technol. 56, 1360\u20131376 (2014). Elsevier","journal-title":"Inf. Softw. 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-47443-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T16:01:00Z","timestamp":1657382460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47443-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319474427","9783319474434"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47443-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"4 October 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}