{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:19:54Z","timestamp":1725617994436},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381801","type":"proceedings-article","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T23:50:11Z","timestamp":1452815411000},"page":"77-87","source":"Crossref","is-referenced-by-count":4,"title":["Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report"],"prefix":"10.1109","author":[{"given":"Christoph","family":"Schulze","sequence":"first","affiliation":[{"name":"Fraunhofer Center for Experimental Software Engineering, College Park, Maryland, USA"}]},{"given":"Mikael","family":"Lindvall","sequence":"additional","affiliation":[{"name":"Fraunhofer Center for Experimental Software Engineering, College Park, Maryland, USA"}]},{"given":"Sigurthor","family":"Bjorgvinsson","sequence":"additional","affiliation":[{"name":"Fraunhofer Center for Experimental Software Engineering, College Park, Maryland, USA"}]},{"given":"Robert","family":"Wiegand","sequence":"additional","affiliation":[{"name":"NASA Goddard Space Flight Center, Greenbelt, Maryland, USA"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.46"},{"year":"0","key":"ref11","article-title":"Selenium – Web Browser Automation"},{"year":"0","key":"ref12","article-title":"yEd – Graph Editor"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.22"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.364"},{"key":"ref4","article-title":"An analysis of unit tests of a flight software product line","author":"ganesan","year":"2012","journal-title":"Sci Comput Program"},{"key":"ref3","first-page":"204","article-title":"Choosing a test modeling language: a survey","author":"hartman","year":"2006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2013.6688853"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698883"},{"year":"0","key":"ref8","article-title":"Graph Walker: The Open Source Model-Based Testing Tool"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591180"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2010","author":"utting","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.348"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.117"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2011.99"}],"event":{"name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersbury, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374093\/7381793\/07381801.pdf?arnumber=7381801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T15:18:25Z","timestamp":1623079105000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7381801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381801","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}