{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T05:59:54Z","timestamp":1760853594413},"reference-count":76,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396526-4.00006-0","type":"book-chapter","created":{"date-parts":[[2012,4,7]],"date-time":"2012-04-07T16:06:27Z","timestamp":1333814787000},"page":"277-326","source":"Crossref","is-referenced-by-count":10,"title":["Event-Oriented, Model-Based GUI Testing and Reliability Assessment\u2014Approach and Case Study"],"prefix":"10.1016","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mutlu","family":"Beyazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nevin","family":"G\u00fcler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib1","series-title":"Software Testing Techniques","author":"Beizer","year":"1990"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib2","series-title":"Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE-9)","first-page":"256","article-title":"Coverage Criteria for GUI Testing","author":"Memon","year":"2001"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib3","series-title":"Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001)","first-page":"34","article-title":"Finite-state testing and analysis of graphical user interfaces","author":"Belli","year":"2001"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib4","series-title":"Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004)","first-page":"534","article-title":"An approach for software reliability model selection","author":"Asad","year":"2004"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib5","doi-asserted-by":"crossref","unstructured":"IEEE Recommended Practice on Software Reliability, IEEE STD 1633-2008, 27 June, 2008, pp. c1\u201372.","DOI":"10.1109\/MP.2008.4475791"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib6","unstructured":"Guidance on Software Aspects of Dependability (IEC 56\/1349A\/CD:2009), DIN IEC 62628, March 2010."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib7","series-title":"Proceedings of the 5th Berkeley Symposium on Mathematical Statistics and Probability, vol. 1","first-page":"281","article-title":"Some methods for classification and analysis of multivariate observations","author":"MacQueen","year":"1967"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib8","unstructured":"Object Management Group, Unified Modeling Language (UML), http:\/\/www.omg.org\/spec\/UML\/."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib9","series-title":"Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011\/TESTBEDS 2011)","first-page":"212","article-title":"Event-Based GUI testing and reliability assessment techniques\u2014an experimental insight and preliminary results","author":"Belli","year":"2011"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib10","series-title":"Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing (FTCS 1997)","first-page":"80","article-title":"A method to automate user interface testing using variable finite state machines","author":"Shehady","year":"1997"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib11","series-title":"Languages and Computation","article-title":"Introduction to Automata Theory","author":"Hopcroft","year":"2000"},{"issue":"6","key":"10.1016\/B978-0-12-396526-4.00006-0_bib12","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","article-title":"Test selection based on finite state models","volume":"17","author":"Fujiwara","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib13","series-title":"Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000)","first-page":"110","article-title":"Generating test cases for GUI responsibilities using complete interaction sequences","author":"White","year":"2000"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib14","series-title":"Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001)","first-page":"54","article-title":"User-based testing of GUI sequences and their interactions","author":"White","year":"2001"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib15","series-title":"Proceedings of the 21st International Conference on Software Engineering (ICSE 1999)","first-page":"257","article-title":"Using a goal-driven approach to generate test cases for GUIs","author":"Memon","year":"1999"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib16","series-title":"Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-first Century Applications (SIGSOFT \u201900\/FSE-8)","first-page":"30","article-title":"Automated test oracles for GUIs","author":"Memon","year":"2000"},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00006-0_bib17","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/32.908959","article-title":"Hierarchical GUI test case generation using automated planning","volume":"27","author":"Memon","year":"2001","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib18","unstructured":"GUITAR \u2013 a GUI Testing frAmewoRk (GUITAR.dated.11.22.2010), http:\/\/guitar.sourceforge.net, 2010 (accessed 22.12.10)."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib19","series-title":"Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003)","first-page":"260","article-title":"GUI ripping: reverse engineering of graphical user interfaces for testing","author":"Memon","year":"2003"},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00006-0_bib20","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1002\/smr.305","article-title":"Automating regression testing for evolving GUI software","volume":"17","author":"Memon","year":"2005","journal-title":"J. Software Maint. Evol. Res. Pract."},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00006-0_bib21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1416563.1416567","article-title":"Using a pilot study to derive a GUI model for automated testing","volume":"18","author":"Xie","year":"2008","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib22","unstructured":"TSD \u2013 Test Suite Designer (Under development), Angewandte Datentechnik, University of Paderborn, http:\/\/adt.upb.de, 2011 (in progress)."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib23","unstructured":"F. Belli, C.J. Budnik, N. Nissanke, Finite-state modeling, analysis and testing of system vulnerabilities, in: Proceedings of Organic and Pervasive Computing Workshops 2004 (ARCS 2004), Lecture Notes in Informatics (LNI), vol. 41, 2004, pp. 19\u201333."},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00006-0_bib24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.335","article-title":"Event-based modeling, analysis and testing of user interactions: approach and case study","volume":"16","author":"Belli","year":"2006","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib25","series-title":"Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION 2006)","first-page":"9","article-title":"Basic operations for generating behavioral mutants","author":"Belli","year":"2006"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib26","series-title":"Proceedings of the 35th Annual IEEE Computer Software and Applications Conference (COMPSAC 2011)","first-page":"630","article-title":"Does depth really matter? On the role of model refinement for testing and reliability","author":"Belli","year":"2011"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib27","unstructured":"A.C.R. Paiva, N. Tillmann, J.C.P. Faria, R.F.A.M. Vidal, Modeling and testing hierarchical GUIs, the 12th International Workshop on Abstract State Machines (ASM 2005), 8\u201311 March, 2005."},{"issue":"4","key":"10.1016\/B978-0-12-396526-4.00006-0_bib28","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s10664-006-9031-3","article-title":"A practical approach to testing GUI systems","volume":"12","author":"Li","year":"2007","journal-title":"Empir. Software Eng."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib29","series-title":"Proceedings of the 1996 International Conference on Software Maintenance (ICSM 1996)","first-page":"350","article-title":"Regression testing of GUI event interactions","author":"White","year":"1996"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib30","series-title":"Proceedings of the 2010 3rd International Conference on Software Testing, Verification and Validation (ICST 2010)","first-page":"245","article-title":"Repairing GUI test suites using a genetic algorithm","author":"Huang","year":"2010"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib31","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-642-17578-7_14","article-title":"Test prioritization at different modeling levels","volume":"117","author":"Belli","year":"2010","journal-title":"Adv. Software Eng. Commun. Comput. Inf. Sci."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib32","series-title":"Handbook of Software Reliability Engineering","author":"Lyu","year":"1996"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib33","unstructured":"A. Wood, Software Reliability Growth Models, Tandem Technical Report 96-1, Tandem Computers Inc Corporate Information Center, September 1996."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib34","series-title":"Software Reliability Modeling","author":"Xie","year":"1991"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib35","series-title":"Software Reliability Measurement, Prediction, Application","author":"Musa","year":"1987"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib36","series-title":"Statistical Computer Performance Evaluation","first-page":"465","article-title":"Software Reliability Research","author":"Jelinski","year":"1972"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib37","series-title":"Proceedings of the 11th Annual Meeting of German Operation Research Society","first-page":"395","article-title":"Assessment of software reliability","author":"Schick","year":"1973"},{"issue":"3","key":"10.1016\/B978-0-12-396526-4.00006-0_bib38","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TR.1979.5220566","article-title":"Time dependent error detection rate models for software reliability and other performance measures","volume":"R-28","author":"Goel","year":"1979","journal-title":"IEEE Trans. Reliab."},{"issue":"12","key":"10.1016\/B978-0-12-396526-4.00006-0_bib39","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1109\/TSE.1985.232177","article-title":"Software reliability models: assumptions, limitations and applicability","volume":"SE-11","author":"Goel","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/B978-0-12-396526-4.00006-0_bib40","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1109\/TR.1983.5221735","article-title":"S-shaped reliability growth modeling for software error detection","volume":"R-32","author":"Yamada","year":"1983","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib41","series-title":"Stochastic Models in Reliability Theory","article-title":"Inflection s-shaped software reliability growth model","author":"Ohba","year":"1984"},{"issue":"3","key":"10.1016\/B978-0-12-396526-4.00006-0_bib42","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1109\/TSE.1975.6312856","article-title":"A theory of software reliability and its application","volume":"SE-1","author":"Musa","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib43","series-title":"Proceedings of the 7th International Conference on Software Engineering (ICSE 1984)","first-page":"230","article-title":"A logarithmic Poisson execution time model for software reliability measurement","author":"Musa","year":"1983"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib44","doi-asserted-by":"crossref","unstructured":"N.F. Schneidewind, Analysis of error processes in computer software, ACM SIGPLAN Notices\u2014International Conference on Reliable Software, vol. 10, no. 6, June 1975, pp. 337\u2013346.","DOI":"10.1145\/390016.808456"},{"issue":"4","key":"10.1016\/B978-0-12-396526-4.00006-0_bib45","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1147\/rd.284.0428","article-title":"Software reliability analysis models","volume":"28","author":"Ohba","year":"1984","journal-title":"IBM J. Res. Dev."},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00006-0_bib46","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/TA.1964.4319640","article-title":"Learning curve approach to reliability monitoring","volume":"AS-2","author":"Duane","year":"1964","journal-title":"IEEE Trans. Aerosp."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib47","series-title":"Proceedings of the 3rd IEEE International Symposium on Software Reliability Engineering (ISSRE 1992)","first-page":"14","article-title":"On the log-power NHPP software reliability model","author":"Zhao","year":"1992"},{"issue":"3","key":"10.1016\/B978-0-12-396526-4.00006-0_bib48","first-page":"332","article-title":"A Bayesian reliability growth model for computer software","volume":"22","author":"Littlewood","year":"1973","journal-title":"J. R. Stat. Soc. Ser. C Appl. Stat."},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00006-0_bib49","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1109\/TSE.1978.231481","article-title":"An analysis of competing software reliability models","volume":"SE-4","author":"Schick","year":"1978","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/B978-0-12-396526-4.00006-0_bib50","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TR.1979.5220565","article-title":"Empirical validation of three software errors predictions models","volume":"R-28","author":"Sukert","year":"1979","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00006-0_bib51","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/TR.2010.2048657","article-title":"Selection of optimal software reliability growth models using a distance based approach","volume":"59","author":"Sharma","year":"2010","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib52","series-title":"Proceedings of the 4th International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)","first-page":"78","article-title":"Are longer test sequences always better?\u2014A Reliability Theoretical Analysis","author":"Belli","year":"2010"},{"issue":"4","key":"10.1016\/B978-0-12-396526-4.00006-0_bib53","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1109\/32.54297","article-title":"Recalibrating software reliability models","volume":"SE-16","author":"Brocklehurst","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00006-0_bib54","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/TSMCA.2003.812597","article-title":"Considering fault removal efficiency in software reliability assessment","volume":"33","author":"Zhang","year":"2003","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum."},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00006-0_bib55","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1109\/TSMCA.2008.2007982","article-title":"Quasi-renewal time-delay fault-removal consideration in software reliability modelling","volume":"39","author":"Hwang","year":"2009","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum."},{"issue":"10","key":"10.1016\/B978-0-12-396526-4.00006-0_bib56","doi-asserted-by":"crossref","first-page":"1410","DOI":"10.1016\/j.ress.2007.11.004","article-title":"A study of software reliability growth from the perspective of learning effects","volume":"93","author":"Chiu","year":"2008","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"4","key":"10.1016\/B978-0-12-396526-4.00006-0_bib57","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/52.143104","article-title":"Applying software reliability models more effectively","volume":"9","author":"Lyu","year":"1992","journal-title":"IEEE Software"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib58","series-title":"Proceedings of the 9th International Conference on Reliability and Quality in Design","first-page":"17","article-title":"Predictive-ratio risk criterion for selecting software reliability models","author":"Pham","year":"2003"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib59","series-title":"Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)","first-page":"193","article-title":"Forecasting field defect rates using a combined time-based and metrics-based approach: a case study of OpenBSD","author":"Li","year":"2005"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib60","series-title":"Theory of Automata","author":"Salomaa","year":"1969"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib61","first-page":"129","article-title":"Gedanken Experiments on Sequential Machines","volume":"vol. 34","author":"Moore","year":"1956"},{"issue":"5","key":"10.1016\/B978-0-12-396526-4.00006-0_bib62","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","article-title":"A method for synthesizing sequential circuits","volume":"34","author":"Mealy","year":"1955","journal-title":"Bell Syst. Tech. J."},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00006-0_bib63","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BF01580113","article-title":"Matching, Euler tours and the Chinese postman","volume":"5","author":"Edmonds","year":"1973","journal-title":"Math. Program."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib64","unstructured":"IEEE Standard Glossary of Software Engineering Terminology, IEEE STD 610.12-1990, 1990."},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00006-0_bib65","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.199724","article-title":"Operational Profiles in Software-Reliability Engineering","volume":"10","author":"Musa","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib66","series-title":"Proceedings of the 19th Central European Conference on Information and Intelligent Systems (CECIIS 2008)","first-page":"24","article-title":"Survey to software reliability","author":"Jedli\u010dka","year":"2008"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib67","series-title":"Nonparametric Statistics for Non-Statisticians: A Step-by-Step Approach","author":"Corder","year":"2009"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib68","series-title":"Handbook of Parametric and Nonparametric Statistical Procedures","author":"Sheskin","year":"2007"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib69","series-title":"Reliability Engineering: Theory and Practice","author":"Birolini","year":"2007"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib70","series-title":"An Introduction to Numerical Analysis","author":"S\u00fcli","year":"2003"},{"issue":"16","key":"10.1016\/B978-0-12-396526-4.00006-0_bib71","first-page":"2242","article-title":"Different types of learning algorithms of artificial neural network (ANN) models for prediction of gross calorific value (GCV) of coals","volume":"5","author":"Y\u0131lmaz","year":"2010","journal-title":"Sci. Res. Essays"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib72","series-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), vol. 2","first-page":"1137","article-title":"A study of cross-validation and bootstrap for accuracy estimation and model selection","author":"Kohavi","year":"1995"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib73","unstructured":"ISELTA, http:\/\/www.iselta.de\/."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib74","unstructured":"Complete sets of ESG and EFG models for the case study, http:\/\/quebec.upb.de\/testbeds2011_models.pdf."},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib75","series-title":"Proceedings of the 27th International Conference on Software Engineering (ICSE 2005)","first-page":"402","article-title":"Is mutation an appropriate tool for testing experiments?","author":"Andrews","year":"2005"},{"key":"10.1016\/B978-0-12-396526-4.00006-0_bib76","series-title":"Proceedings of the 30th International Conference on Software Engineering (ICSE 2008)","first-page":"351","article-title":"Sufficient mutation operator for measuring test effectiveness","author":"Namin","year":"2008"}],"container-title":["Advances in Computers","Advances in Computers Volume 85"],"original-title":[],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T01:09:33Z","timestamp":1561597773000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965264000060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":76,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396526-4.00006-0","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}