{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:40:24Z","timestamp":1725853224879},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319325811"},{"type":"electronic","value":"9783319325828"}],"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"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32582-8_12","type":"book-chapter","created":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T06:04:23Z","timestamp":1460009063000},"page":"182-188","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["smid: A Black-Box Program Driver"],"prefix":"10.1007","author":[{"given":"Kareem","family":"Khazem","sequence":"first","affiliation":[]},{"given":"Michael","family":"Tautschnig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,8]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P.: Reverse engineering finite state machines from rich internet applications. In: WCRE (2008)","DOI":"10.1109\/WCRE.2008.17"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., Carmine, S.D., Memon, A.M.: Using GUI ripping for automated testing of Android applications. In: ASE (2012)","DOI":"10.1145\/2351676.2351717"},{"key":"12_CR3","unstructured":"Berstel, J., Crespi-Reghizzi, S., Roussel, G., Pietro, P.S.: A scalable formal method for design and automatic checking of user interfaces. In: ICSE (2001)"},{"key":"12_CR4","unstructured":"Chen, E., LDTP contributors: Linux desktop testing project. \n                    http:\/\/ldtp.freedesktop.org\/"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-319-09940-8_21","volume-title":"Search-Based Software Engineering","author":"H Dan","year":"2014","unstructured":"Dan, H., Harman, M., Krinke, J., Li, L., Marginean, A., Wu, F.: Pidgin crasher: searching for minimised crashing GUI event sequences. In: Goues, C., Yoo, S. (eds.) SSBSE 2014. LNCS, vol. 8636, pp. 253\u2013258. Springer, Heidelberg (2014)"},{"key":"12_CR6","unstructured":"Eigler, F.C., Stone, D., Stone, J., Wielaard, M., SystemTap contributors: System-Tap. \n                    https:\/\/sourceware.org\/systemtap\/"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Gross, F., Fraser, G., Zeller, A.: EXSYST: search-based GUI testing. In: ICSE (2012)","DOI":"10.1109\/ICSE.2012.6227232"},{"key":"12_CR8","unstructured":"Huber, M., Schlichting, M., Canoo contributors: Canoo WebTest. \n                    http:\/\/webtest.canoo.com\/"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-319-14896-0_3","volume-title":"Mathematical and Engineering Methods in Computer Science","author":"D Kroening","year":"2014","unstructured":"Kroening, D., Tautschnig, M.: Automating software analysis at large scale. In: Hlin\u011bn\u00fd, P., Dvo\u0159\u00e1k, Z., Jaro\u0161, J., Kofro\u0148, J., Ko\u0159enek, J., Matula, P., Pala, K. (eds.) MEMICS 2014. LNCS, vol. 8934, pp. 30\u201339. Springer, Heidelberg (2014)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Using a goal-driven approach to generate test cases for GUIs. In: ICSE (1999)","DOI":"10.1145\/302405.302632"},{"key":"12_CR11","unstructured":"Pertman, J., McHowan, H., Rodionov, A.: Watir. \n                    http:\/\/watir.com\/"},{"key":"12_CR12","volume-title":"The Humane Interface: New Directions for Designing Interactive Systems","author":"J Raskin","year":"2000","unstructured":"Raskin, J.: The Humane Interface: New Directions for Designing Interactive Systems. ACM Press\/Addison-Wesley Publishing Co., New York, NY (2000)"},{"key":"12_CR13","unstructured":"Sissel, J.: xdotool\u2013fake keyboard\/mouse input, window management, and more. \n                    http:\/\/www.semicomplete.com\/projects\/xdotool\/"},{"key":"12_CR14","unstructured":"Skupin, H., Hammel, J., Rogers, M., Mozmill contributors: Mozmill. \n                    https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Projects\/Mozmill"},{"key":"12_CR15","unstructured":"Stewart, S., Selenium contributors: Selinium WebDriver. \n                    http:\/\/www.seleniumhq.org\/projects\/webdriver\/"},{"key":"12_CR16","unstructured":"Tiede, M., Struckmann, S., Mueller, M., Jubula contributors: The Jubula functional testing tool. \n                    http:\/\/www.eclipse.org\/jubula\/"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32582-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T21:17:57Z","timestamp":1584998277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32582-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319325811","9783319325828"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32582-8_12","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":"8 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}