{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:28:19Z","timestamp":1725499699338},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/taic-part.2006.14","type":"proceedings-article","created":{"date-parts":[[2006,10,24]],"date-time":"2006-10-24T13:07:05Z","timestamp":1161695225000},"page":"71-74","source":"Crossref","is-referenced-by-count":1,"title":["Incremental Inference of Black-Box Components to Support Integration Testing"],"prefix":"10.1109","author":[{"given":"M.","family":"Shahbaz","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-51734-0_50","article-title":"Inductive inference, dfas, and computational complexity","author":"pitt","year":"1989","journal-title":"All’ 89 Proceedings of the International Workshop on Analogical and Inductive Inference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/73007.73048"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56483-7_22"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808710"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-46002-0_25","article-title":"Adaptive model checking","author":"groce","year":"2002","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"ref6","first-page":"315","article-title":"Domain-specific optimization in automata learning","author":"hungar","year":"2003","journal-title":"CAV"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/3-540-45923-5_6","article-title":"Model generation by moderated regular extrapolation","author":"hagerer","year":"2002","journal-title":"Fundamental Approaches to Software Engineering"},{"key":"ref8","article-title":"Integration testing of components guided by incremental state machine learning","author":"li","year":"2006","journal-title":"TAlC PART Windsor UK"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_10"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566213"}],"event":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","location":"Windsor, UK"},"container-title":["Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11139\/35654\/01691671.pdf?arnumber=1691671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T10:40:34Z","timestamp":1497696034000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1691671\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/taic-part.2006.14","relation":{},"subject":[]}}