{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T03:13:37Z","timestamp":1788232417310,"version":"build-2803163510"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T00:00:00Z","timestamp":1473811200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Turkish Ministry of Science, Industry and Technology (TR)","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,9]]},"DOI":"10.1007\/s11219-016-9338-2","type":"journal-article","created":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T13:14:07Z","timestamp":1473858847000},"page":"979-1005","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":43,"title":["Automated refinement of models for model-based testing using exploratory testing"],"prefix":"10.1007","volume":"25","author":[{"given":"Ceren \u015eahin","family":"Gebizli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hasan","family":"S\u00f6zer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,9,14]]},"reference":[{"key":"9338_CR1","unstructured":"Bach, J. (2003). Exploratory testing explained, Technical report. http:\/\/www.satisfice.com\/articles\/et-article.pdf ."},{"key":"9338_CR2","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"},{"issue":"2","key":"9338_CR3","first-page":"201","volume":"44","author":"F Belli","year":"2014","unstructured":"Belli, F., Endo, A. T., 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"},{"issue":"1","key":"9338_CR4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L Briand","year":"2002","unstructured":"Briand, L., & Labiche, Y. (2002). A uml-based approach to system testing. Software and Systems Modeling, 1(1), 10\u201342.","journal-title":"Software and Systems Modeling"},{"key":"9338_CR5","doi-asserted-by":"crossref","unstructured":"Chander, A., Dhurjati, D., Koushik, S., & Dachuan, Y. (2011). Optimal test input sequence generation for finite state models and pushdown systems. In Proceedings of the IEEE fourth international conference on software testing, verification and validation (pp. 140\u2013149).","DOI":"10.1109\/ICST.2011.64"},{"issue":"3","key":"9338_CR6","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T Chow","year":"1978","unstructured":"Chow, T. (1978). Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3), 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9338_CR7","doi-asserted-by":"crossref","unstructured":"Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G. C., & Horowitz, B. M. (1999). Model-based testing in practice. In Proceedings of the international conference on software engineering (pp. 285\u2013294).","DOI":"10.1145\/302405.302640"},{"issue":"2","key":"9338_CR8","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1109\/TSE.2011.105","volume":"38","author":"V Dallmeier","year":"2012","unstructured":"Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., & Zeller, A. (2012). Automatically generating test cases for specification mining. IEEE Transactions on Software Engineering, 38(2), 243\u2013257.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9338_CR9","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."},{"key":"9338_CR10","doi-asserted-by":"crossref","unstructured":"Entin, V., Winder, M., Zhang, B., & Christmann, S. (2011). Combining model-based and capture-replay testing techniques of graphical user interfaces: An industrial approach. In Proceedings of the 4th IEEE international conference on software testing, verification and validation workshops (pp. 572\u2013577).","DOI":"10.1109\/ICSTW.2011.13"},{"issue":"5","key":"9338_CR11","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/s10009-014-0332-3","volume":"16","author":"M Felderer","year":"2014","unstructured":"Felderer, M., & Schieferdecker, I. (2014). A taxonomy of risk-based testing. International Journal of Software Tools and Technology Transfer, 16(5), 559\u2013568.","journal-title":"International Journal of Software Tools and Technology Transfer"},{"issue":"1","key":"9338_CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R Ferguson","year":"1996","unstructured":"Ferguson, R., & Korel, B. (1996). The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1), 63\u201386.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9338_CR13","doi-asserted-by":"crossref","unstructured":"Gebizli, C. S., & 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) (COMPSAC Companion).","DOI":"10.1109\/COMPSACW.2014.110"},{"key":"9338_CR14","doi-asserted-by":"crossref","unstructured":"Gebizli, C.S., Metin, D., & Sozer, H. (2015). Combining model-based and risk-based testing for effective test case generation. In Proceedings of the 9th workshop on testing: Academic and industrial conference\u2014practice and research techniques (pp. 1\u20134) (ICST Companion).","DOI":"10.1109\/ICSTW.2015.7107464"},{"key":"9338_CR15","doi-asserted-by":"crossref","unstructured":"Gebizli, C. S., Sozer, H., & Ercan, A. (2016). Successive refinement of models for model-based testing to increase system test effectiveness. In Proceedings of the 10th workshop on testing: Academic and industrial conference\u2014practice and research techniques (pp. 263\u2013268) (ICST Companion).","DOI":"10.1109\/ICSTW.2016.10"},{"issue":"6","key":"9338_CR16","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G Gonenc","year":"1970","unstructured":"Gonenc, G. (1970). A method for the design of fault detection experiments. IEEE Transactions on Computers, 19(6), 551\u20130558.","journal-title":"IEEE Transactions on Computers"},{"key":"9338_CR17","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"},{"issue":"3","key":"9338_CR18","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"9338_CR19","volume-title":"The complete guide to software testing","author":"WC Hetzel","year":"1991","unstructured":"Hetzel, W. C., & Hetzel, B. (1991). The complete guide to software testing (2nd ed.). New York, NY: Wiley.","edition":"2"},{"key":"9338_CR20","unstructured":"Itkonen, J. (2011). Empirical studies on exploratory software testing, Ph.D. thesis. Aalto University."},{"key":"9338_CR21","doi-asserted-by":"crossref","unstructured":"Itkonen, J., & Rautiainen, K. (2005). Exploratory testing: A multiple case study. In Proceedings of international symposium on empirical software engineering (pp. 84\u201393).","DOI":"10.1109\/ISESE.2005.1541817"},{"key":"9338_CR22","doi-asserted-by":"crossref","unstructured":"Itkonen, J., Mantyla, M. V., & Lassenius, C. (2007). Defect detection efficiency: Test case based vs. exploratory testing. In First international symposium on empirical software engineering and measurement (pp. 61\u201370). IEEE Computer Society.","DOI":"10.1109\/ESEM.2007.56"},{"issue":"5","key":"9338_CR23","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1109\/TSE.2012.55","volume":"39","author":"J Itkonen","year":"2013","unstructured":"Itkonen, J., Mantyla, M. V., & Lassenius, C. (2013). The role of the testers knowledge in exploratory software testing. IEEE Transactions on Software Engineering, 39(5), 707\u2013724.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9338_CR24","unstructured":"Joye, C. (2014). Matelo test case generation algorithms: Explanation on available algorithms for test case generation. http:\/\/www.all4tec.net\/MaTeLo-How-To\/understanding-of-test-cases-generation-algorithms.html ."},{"key":"9338_CR25","unstructured":"Kaner, C. (2006). Exploratory testing. In Quality assurance institute worldwide annual software testing conference."},{"issue":"4","key":"9338_CR26","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":"9338_CR27","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., & Pezz\u00e8, M. (2008). Automatic generation of software behavioral models. In Proceedings of the 30th international conference on software engineering, ICSE \u201908 (pp. 501\u2013510). ACM.","DOI":"10.1145\/1368088.1368157"},{"issue":"5","key":"9338_CR28","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/stvr.1538","volume":"24","author":"L Mariani","year":"2014","unstructured":"Mariani, L., Pezz\u00e8, M., Riganelli, O., & Santoro, M. (2014). Automatic testing of GUI-based applications. Software Testing, Verification and Reliability, 24(5), 341\u2013366.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9338_CR29","first-page":"157","volume-title":"Advances in computers","author":"L Mariani","year":"2015","unstructured":"Mariani, L., Pezz\u00e8, M., & Zuddas, D. (2015). Recent advances in automatic black-box testing. In A. Memon (Ed.), Advances in computers (Vol. 99, pp. 157\u2013193). Amsterdam: Elsevier."},{"key":"9338_CR30","doi-asserted-by":"crossref","unstructured":"Meinke, K., & Sindhu, M. A. (2013). Lbtest: A learning-based testing tool for reactive systems. In Sixth IEEE international conference on software testing, verification and validation, ICST 2013 (pp. 447\u2013454). Luxembourg.","DOI":"10.1109\/ICST.2013.62"},{"issue":"12","key":"9338_CR31","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"C Michael","year":"2001","unstructured":"Michael, C., McGraw, G., & Schatz, M. (2001). Generating software test data by evolution. IEEE Transactions on Software Engineering, 27(12), 1085\u20131110.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9338_CR32","volume-title":"The art of software testing","author":"GJ Myers","year":"2004","unstructured":"Myers, G. J., & Sandler, C. (2004). The art of software testing. New York: Wiley."},{"key":"9338_CR33","unstructured":"Naito, S., & Tsunoyama, M. (1981). Fault detection for sequential machines by transitions tours. In IEEE fault tolerant computer symposium (pp. 238\u2013243)."},{"key":"9338_CR34","unstructured":"Neto, A. C. D., Subramanyan, R., Vieira, M., & Travassos, G. H. (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":"9338_CR35","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"},{"key":"9338_CR36","unstructured":"Pacheco, C., Lahiri, S., Ernst, M., & Ball, T. (2006). Feedback directed random test generation. In Proceedings of the 29th international conference on software engineering (pp. 396\u2013405)."},{"key":"9338_CR37","unstructured":"Pretschner, A. (2005). Chap Model-based testing in practice. In Proceedings of the international symposium of formal methods Europe (pp. 537\u2013541). Berlin: Springer."},{"key":"9338_CR38","unstructured":"Robinson, H. (1999). Finite state model-based testing on a shoestring. In Proceedings of the software testing and analysis and review west conference."},{"key":"9338_CR39","unstructured":"Robinson, H. (2000). Intelligent test automation a model-based method for generating tests from a description of an applications behavior. In Software testing and quality engineering magazine (pp. 24\u201332)."},{"key":"9338_CR40","doi-asserted-by":"crossref","unstructured":"Shoaib, L., Nadeem, A., & Akbar, A. (2009). An empirical evaluation of the influence of human personality on exploratory software testing. In Multitopic conference and IEEE 13th international (pp. 1\u20136).","DOI":"10.1109\/INMIC.2009.5383088"},{"key":"9338_CR41","unstructured":"Tinkham, A., & Kaner, C. (2003a). Exploring exploratory testing. In Proceedings of the software testing and analysis and review east conference."},{"key":"9338_CR42","unstructured":"Tinkham, A., & Kaner, C. (2003b). Learning styles and exploratory testing. In Proceedings of the Pacific northwest software quality conference."},{"key":"9338_CR43","doi-asserted-by":"crossref","unstructured":"Tretmans, J. (2011). Chap Model-based testing and some steps towards test-based modelling. In Formal methods for eternal networked software systems: 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro. Advanced Lectures (pp. 297\u2013326). Berlin: Springer.","DOI":"10.1007\/978-3-642-21455-4_9"},{"key":"9338_CR44","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":"9338_CR45","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"},{"issue":"10","key":"9338_CR46","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J Whittaker","year":"1994","unstructured":"Whittaker, J., & Thomason, M. (1994). A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10), 812\u2013824.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9338_CR47","volume-title":"Exploratory software testing: Tips, tricks, tours, and techniques to guide test design","author":"JA Whittaker","year":"2009","unstructured":"Whittaker, J. A. (2009). Exploratory software testing: Tips, tricks, tours, and techniques to guide test design (1st ed.). Reading, MA: Addison-Wesley Professional.","edition":"1"},{"issue":"3","key":"9338_CR48","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10851-006-8530-6","volume":"13","author":"T Xie","year":"2006","unstructured":"Xie, T., & Notkin, D. (2006). Tool-assisted unit-test generation and selection based on operational abstractions. Automated Software Engineering, 13(3), 345\u2013371.","journal-title":"Automated Software Engineering"},{"issue":"1","key":"9338_CR49","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/TSE.2009.68","volume":"36","author":"X Yuan","year":"2010","unstructured":"Yuan, X., & Memon, A. (2010). Generating event sequence-based test cases using GUI runtime state feedback. IEEE Transactions on Software Engineering, 36(1), 81\u201395.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9338_CR50","unstructured":"Zuo, Z. (2015). Refinement techniques in mining software behavior, Ph.D. thesis. National University of Singapore."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-016-9338-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9338-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9338-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T13:31:49Z","timestamp":1568381509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-016-9338-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,14]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9338"],"URL":"https:\/\/doi.org\/10.1007\/s11219-016-9338-2","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,14]]}}}