{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T01:28:51Z","timestamp":1769045331327,"version":"3.49.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,6,16]],"date-time":"2016-06-16T00:00:00Z","timestamp":1466035200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Turkish Ministry of Science, Industry and Technology","award":["909.STZ.2015"],"award-info":[{"award-number":["909.STZ.2015"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11219-016-9321-y","type":"journal-article","created":{"date-parts":[[2016,6,16]],"date-time":"2016-06-16T04:40:54Z","timestamp":1466052054000},"page":"1185-1202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Model-based testing of digital TVs: an industry-as-laboratory approach"],"prefix":"10.1007","volume":"25","author":[{"given":"Hasan","family":"S\u00f6zer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ceren \u015eahin","family":"Gebizli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,16]]},"reference":[{"key":"9321_CR1","unstructured":"Aksit, M., Tekinerdogan, B., Sozer, H., Safi, H., Ayas, M. (2015). The DESARC method: An effective approach for university-industry cooperation. In Proceedings of the international conference on advances in computing, control and networking (pp. 51\u201353)."},{"key":"9321_CR2","unstructured":"Apfelbaum, L., Doyle, J. (1997). Model-based testing. In Software quality week conference (pp. 296\u2013300)."},{"key":"9321_CR3","unstructured":"Arias, T. (2011). Execution architecture views for evolving software-intensive systems. Ph.D. Thesis, University of Groningen."},{"issue":"5","key":"9321_CR4","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"E Barr","year":"2015","unstructured":"Barr, E., Harman, M., McMinn, P., Shahbaz, M., & Yoo, S. (2015). The oracle problem in software testing: A survey. IEEE Transactions on Software Engineering, 41(5), 507\u2013525.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9321_CR5","doi-asserted-by":"crossref","unstructured":"Belli, F. (2001). Finite state testing and analysis of graphical user interfaces. In Proceedings of 12th international symposium on software reliability engineering, ISSRE2001 (pp. 34\u201343).","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"9321_CR6","doi-asserted-by":"crossref","unstructured":"Belli, F., Beyazit, M., Guler, N. (2011). Event-based GUI testing and reliability assessment techniques\u2014An experimental insight and preliminary results. In Proceedings of the 4th IEEE international conference on software testing, verification and validation workshops (pp. 212\u2013221).","DOI":"10.1109\/ICSTW.2011.59"},{"issue":"2","key":"9321_CR7","first-page":"201","volume":"44","author":"F Belli","year":"2014","unstructured":"Belli, F., Endo, A., Linschulte, M., & Simao, A. (2014). A holistic approach to model-based testing of web service compositions. Software: Practice and Experience, 44(2), 201\u2013234.","journal-title":"Software: Practice and Experience"},{"key":"9321_CR8","doi-asserted-by":"crossref","unstructured":"Boberg, J. (2008). Early fault detection with model-based testing. In Proceedings of the 7th ACM SIGPLAN workshop on ERLANG (pp. 9\u201320).","DOI":"10.1145\/1411273.1411276"},{"key":"9321_CR9","doi-asserted-by":"crossref","unstructured":"Boogerd, C., Moonen, L. (2006). Prioritizing software inspection results using static profiling. In Proceedings of the 6th international workshop on source code analysis and manipulation (pp. 149\u2013160).","DOI":"10.1109\/SCAM.2006.22"},{"key":"9321_CR10","doi-asserted-by":"crossref","unstructured":"Brinksma E, Hooman J (2008) Dependability for high-tech systems: an industry-as-laboratory approach. In Proceedings of the conference on design, automation and test in Europe (pp. 1226\u20131231).","DOI":"10.1145\/1403375.1403673"},{"key":"9321_CR11","doi-asserted-by":"crossref","unstructured":"Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G., Horowitz, B. (1999). Model-based testing in practice. In Proceedings of the international conference on software engineering (pp. 285\u2013294).","DOI":"10.1145\/302405.302640"},{"issue":"11","key":"9321_CR12","doi-asserted-by":"crossref","first-page":"1968","DOI":"10.1016\/j.jss.2008.01.017","volume":"81","author":"L Damm","year":"2008","unstructured":"Damm, L., Lundberg, L., & Wohlin, C. (2008). A model for software rework reduction through a combination of anomaly metrics. Journal of Systems and Software, 81(11), 1968\u20131982.","journal-title":"Journal of Systems and Software"},{"key":"9321_CR13","unstructured":"de Visser, I. (2008). Analyzing user perceived failure severity in consumer electronics products : Incorporating the user perspective into the development process. Ph.D. thesis, Eindhoven University of Technology."},{"key":"9321_CR14","volume-title":"Automated software testing: Introduction, management, and performance","author":"E Dustin","year":"1999","unstructured":"Dustin, E., Rashka, J., & Paul, J. (1999). Automated software testing: Introduction, management, and performance. Boston, MA: Addison-Wesley Longman Publishing Co. Inc."},{"issue":"1","key":"9321_CR15","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E Engstrm","year":"2011","unstructured":"Engstrm, E., & Runeson, P. (2011). Software product line testing a systematic mapping study. Information and Software Technology, 53(1), 2\u201313.","journal-title":"Information and Software Technology"},{"key":"9321_CR16","unstructured":"Eriksson, M. (2007). Engineering families of softwareintensive systems using features, goals and scenarios. Ph.D. Thesis, Umea University."},{"key":"9321_CR17","doi-asserted-by":"crossref","unstructured":"Gebizli, C., Metin, D., Sozer, H. (2015). Combining model-based and risk-based testing for effective test case generation. In Proceedings of the 8th IEEE conference on software testing, verification and validation workshops (pp. 1\u20134).","DOI":"10.1109\/ICSTW.2015.7107464"},{"key":"9321_CR18","doi-asserted-by":"crossref","unstructured":"Gebizli, C., Sozer, H. (2014). Improving models for model-based testing based on exploratory testing. In Proceedings of the 6th IEEE workshop on software test automation (pp. 656\u2013661).","DOI":"10.1109\/COMPSACW.2014.110"},{"key":"9321_CR19","unstructured":"Gebizli, C, Sozer, H. (2015). Automated refinement of models for model-based testing using exploratory testing. Software Quality Journal (under review)."},{"key":"9321_CR20","doi-asserted-by":"crossref","unstructured":"Grottke, M., Matias, R., Trivedi, K.S. (2008). The fundamentals of software aging. In Proceedings of the 19th international symposium on software reliability engineering workshops (pp. 1\u20136).","DOI":"10.1109\/ISSREW.2008.5355512"},{"key":"9321_CR21","doi-asserted-by":"crossref","unstructured":"Guen, H.L., Marie, R., Thelin, T. (2004). Reliability estimation for statistical usage testing using markov chains. In Proceedings of the 15th international symposium on software reliability engineering (pp. 54\u201365).","DOI":"10.1109\/ISSRE.2004.33"},{"key":"9321_CR22","unstructured":"Joye, C. (2014). Matelo test case generation algorithms: Explanation on available algorithms for test case generation. \n                        http:\/\/www.all4tec.net\/MaTeLo-How-To\/understanding-of-test-cases-generation-algorithms.html\n                        \n                    ."},{"issue":"4","key":"9321_CR23","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1049\/iet-sen.2011.0111","volume":"6","author":"J Keranen","year":"2011","unstructured":"Keranen, J., & Raty, T. (2011). Model-based testing of embedded systems in hardware in the loop environment. IET Software, 6(4), 364\u2013376.","journal-title":"IET Software"},{"key":"9321_CR24","unstructured":"Klockwork, (2016). C and C++ checker reference, [available online]. \n                        https:\/\/developer.klocwork.com\/documentation\/en\/insight\/10-1\/c-and-c-checker-reference\n                        \n                    ."},{"key":"9321_CR25","doi-asserted-by":"crossref","unstructured":"Lackner, H., Thomas, M., Wartenberg, F., Wei\u00dfleder, S. (2014). Model-based test design of product lines: Raising test design to the product line level. In Proceedings of the 7th IEEE international conference on software testing, verification and validation (pp. 51\u201360).","DOI":"10.1109\/ICST.2014.16"},{"key":"9321_CR26","doi-asserted-by":"crossref","unstructured":"Lindvall, M., Ganesan, D., Ardal, R., Wiegand, R. (2015). Metamorphic model-based testing applied on NASA DAT\u2014An experience report. In Proceedings of the 37th international conference on software engineering (pp. 129\u2013138).","DOI":"10.1109\/ICSE.2015.348"},{"key":"9321_CR27","doi-asserted-by":"crossref","unstructured":"Malik, Q.A., Jskelinen, A., Virtanen, H., Katara, M., Abbors, F., Truscan, D., Lilius, J. (2010). Model-based testing using system vs. test models\u2014What is the difference? In Proceedings of the 17th IEEE international conference and workshops on engineering of computer based systems (pp. 291\u2013299).","DOI":"10.1109\/ECBS.2010.41"},{"key":"9321_CR28","unstructured":"Muller, G. (2012). Industry-as-laboratory applied in practice: The boderc project. \n                        http:\/\/www.gaudisite.nl\/IndustryAsLaboratoryAppliedPaper.pdf\n                        \n                    . Accessed 2015."},{"key":"9321_CR29","unstructured":"Neto, A., Subramanyan, R., Vieira, M., Travassos, G. (2007). A survey on model-based testing approaches: A systematic review. In Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (pp. 31\u201336)."},{"issue":"3","key":"9321_CR30","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1109\/TSE.2014.2300857","volume":"40","author":"B Nguyen","year":"2014","unstructured":"Nguyen, B., & Memon, A. (2014). An observe-model-exercise* paradigm to test event-driven systems with undetermined input spaces. IEEE Transactions on Software Engineering, 40(3), 216\u2013234.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"9321_CR31","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","volume":"21","author":"B Nguyen","year":"2014","unstructured":"Nguyen, B., Robbins, B., Banerjee, I., & Memon, A. (2014). GUITAR: an innovative tool for automated testing of gui-driven software. Automated Software Engineering, 21(1), 65\u2013105.","journal-title":"Automated Software Engineering"},{"issue":"5","key":"9321_CR32","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/52.232392","volume":"10","author":"C Potts","year":"1993","unstructured":"Potts, C. (1993). Software-engineering research revisited. IEEE Software, 10(5), 19\u201328.","journal-title":"IEEE Software"},{"key":"9321_CR33","unstructured":"Samih, H., Bogusch, R. (2014). MPLM\u2014Matelo product line manager: [Relating variability modelling and model-based testing]. In Proceedings of the 18th international software product line conference: Companion volume for workshops, demonstrations and tools, (Vol. 2, pp. 138\u2013142)."},{"issue":"1","key":"9321_CR34","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MS.2012.13","volume":"29","author":"I Schieferdecker","year":"2012","unstructured":"Schieferdecker, I. (2012). Model-based testing. IEEE Software, 29(1), 14\u201318.","journal-title":"IEEE Software"},{"key":"9321_CR35","doi-asserted-by":"crossref","unstructured":"Sozer, H., Hofmann, C., Tekinerdogan, B., Aksit, M. (2011). Runtime verification of component-based embedded software. In Proceedings of the 26th international symposium on computer and information sciences (pp. 471\u2013477).","DOI":"10.1007\/978-1-4471-2155-8_60"},{"issue":"10","key":"9321_CR36","first-page":"869","volume":"39","author":"H Sozer","year":"2009","unstructured":"Sozer, H., Tekinerdogan, B., & Aksit, M. (2009). FLORA: A framework for decomposing software architecture to introduce local recovery. Software: Practice and Experience, 39(10), 869\u2013889.","journal-title":"Software: Practice and Experience"},{"issue":"2","key":"9321_CR37","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s11219-011-9171-6","volume":"21","author":"H Sozer","year":"2013","unstructured":"Sozer, H., Tekinerdogan, B., & Aksit, M. (2013). Optimizing decomposition of software architecture for local recovery. Software Quality Journal, 21(2), 203\u2013240.","journal-title":"Software Quality Journal"},{"issue":"4","key":"9321_CR38","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1016\/j.jss.2007.10.029","volume":"81","author":"B Tekinerdogan","year":"2008","unstructured":"Tekinerdogan, B., Sozer, H., & Aksit, M. (2008). Software architecture reliability analysis using failure scenarios. Journal of Systems and Software, 81(4), 558\u2013575.","journal-title":"Journal of Systems and Software"},{"key":"9321_CR39","volume-title":"Practical model-based testing: A tools approach","author":"M Utting","year":"2007","unstructured":"Utting, M., & Legeard, B. (2007). Practical model-based testing: A tools approach. San Francisco, CA: Morgan Kaufmann Publishers Inc."},{"issue":"5","key":"9321_CR40","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., & Legeard, B. (2012). A taxonomy of model-based testing approaches. Software Testing Verification and Reliability, 22(5), 297\u2013312.","journal-title":"Software Testing Verification and Reliability"},{"key":"9321_CR41","unstructured":"van\u00a0de Laar, P. (2010). Observations from the industry-as-laboratory research project darwin. In Proceedings of the 8th conference on systems engineering research (pp. 658\u2013667)."},{"key":"9321_CR42","unstructured":"Wei\u00dfleder, S. (2010). Test models and coverage criteria for automatic model-based test generation with uml state machines. Ph.D. Thesis, Humboldt-Universitt zu Berlin."},{"key":"9321_CR43","unstructured":"Wei\u00dfleder, S., Lackner, H. (2010). System models vs. test models -distinguishing the undistinguishable?. In Informatik 2010: Service Science - Neue Perspektiven f\u00fcr die Informatik, Beitr\u00e4ge der 40. Jahrestagung der Gesellschaft f\u00fcr Informatik e.V. (GI), Band 2, 27.09. - 1.10.2010, Leipzig (pp. 321\u2013326)."},{"key":"9321_CR44","volume-title":"Exploratory software testing: Tips, tricks, tours, and techniques to guide test design","author":"J Whittaker","year":"2009","unstructured":"Whittaker, J. (2009). Exploratory software testing: Tips, tricks, tours, and techniques to guide test design (1st ed.). Boston: Addison-Wesley Professional.","edition":"1"},{"key":"9321_CR45","doi-asserted-by":"crossref","unstructured":"Zoeteweij, P., Abreu, R., Golsteijn, R., van Gemund, A. (2007). Diagnosis of embedded software using program spectra. In Proceedings of the 14th annual IEEE international conference and workshop on engineering of computer based systems (pp. 213\u2013220).","DOI":"10.1109\/ECBS.2007.31"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-016-9321-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9321-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9321-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9321-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,19]],"date-time":"2017-11-19T22:08:22Z","timestamp":1511129302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-016-9321-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,16]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9321"],"URL":"https:\/\/doi.org\/10.1007\/s11219-016-9321-y","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,16]]}}}