{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:47:44Z","timestamp":1730198864108,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1109\/ase.2006.11","type":"proceedings-article","created":{"date-parts":[[2006,12,13]],"date-time":"2006-12-13T15:33:43Z","timestamp":1166024023000},"page":"289-292","source":"Crossref","is-referenced-by-count":9,"title":["An Automated Approach for Goal-driven, Specification-based Testing"],"prefix":"10.1109","author":[{"given":"Kristina","family":"Winbladh","sequence":"first","affiliation":[]},{"given":"Thomas A.","family":"Alspaugh","sequence":"additional","affiliation":[]},{"given":"Hadar","family":"Ziv","sequence":"additional","affiliation":[]},{"given":"Debra J.","family":"Richardson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Writing Effective Use Cases","year":"2000","author":"cockburn","key":"3"},{"key":"2","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","article-title":"An overview of JML tools and applications","volume":"7","author":"burdy","year":"2005","journal-title":"Int J Softw Tools Technol Transf"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.11"},{"journal-title":"ATM Simulation","year":"2002","author":"bjork","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870434"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.33"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"}],"event":{"name":"Proceedings. 21st IEEE International Conference on Automated Software Engineering","start":{"date-parts":[[2006,9,18]]},"location":"Tokyo","end":{"date-parts":[[2006,9,22]]}},"container-title":["21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4019543\/4019544\/04019589.pdf?arnumber=4019589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T22:40:38Z","timestamp":1537483238000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4019589\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ase.2006.11","relation":{},"subject":[],"published":{"date-parts":[[2006,9]]}}}