{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:19:10Z","timestamp":1730276350023,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issre.2013.6698883","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:09:09Z","timestamp":1389028149000},"page":"300-309","source":"Crossref","is-referenced-by-count":8,"title":["Model-based testing of NASA's OSAL API \u2014 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"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dharmalingam","family":"Ganesan","sequence":"additional","affiliation":[{"name":"Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikael","family":"Lindvall","sequence":"additional","affiliation":[{"name":"Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Mcf Omas","sequence":"additional","affiliation":[{"name":"NASA Goddard Space Flight Center Greenbelt, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Cudmore","sequence":"additional","affiliation":[{"name":"NASA Goddard Space Flight Center Greenbelt, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","article-title":"Model-based testing of object-oriented reactive systems with spec explorer","volume":"4949","author":"campbell","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Selenium","year":"0","key":"22"},{"journal-title":"Iozone Filesystem Benchmark","year":"0","key":"17"},{"journal-title":"Model-based Testing User Survey Results and Analysis","year":"0","author":"binder","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-87603-8_13","article-title":"Combining scenarioand model-based testing to ensure posix compliance","author":"dadeau","year":"2008","journal-title":"Abstract State Machines B and Z"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0033-9"},{"journal-title":"Model-based testing","year":"0","author":"robinson","key":"11"},{"key":"12","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Conference on Operating Systems"},{"key":"21","article-title":"Experimentation in software engineering: An introduction","volume":"15","author":"wohlin","year":"2000","journal-title":"Springer Netherlands"},{"journal-title":"OSAL","year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291536"},{"journal-title":"Practical Model-based Testing A Tools Approach (Google EBook)","year":"2007","author":"utting","key":"2"},{"key":"1","first-page":"349","author":"jacky","year":"2008","journal-title":"Model-based Software Testing and Analysis with C# (Google EBook)"},{"journal-title":"CuTest C Unit Testing Framework","year":"0","key":"10"},{"key":"7","first-page":"161","article-title":"Verifying architectural design rules of the flight software product line","author":"ganesan","year":"2009","journal-title":"13th International Software Product Line Conference"},{"key":"6","article-title":"An analysis of unit tests of a flight software product line","author":"ganesan","year":"2012","journal-title":"Science of Computer Programming"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606652"},{"journal-title":"Flight Software Workshop","year":"0","key":"4"},{"journal-title":"Gcov","year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2003.1174916"}],"event":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2013,11,4]]},"location":"Pasadena, CA, USA","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6689494\/6698873\/06698883.pdf?arnumber=6698883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T15:45:12Z","timestamp":1623167112000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6698883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/issre.2013.6698883","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}