{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:47:59Z","timestamp":1771573679945,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030002435","type":"print"},{"value":"9783030002442","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-030-00244-2_11","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:12:38Z","timestamp":1535587958000},"page":"162-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Adaptive Learning for Learn-Based Regression Testing"],"prefix":"10.1007","author":[{"given":"David","family":"Huistra","sequence":"first","affiliation":[]},{"given":"Jeroen","family":"Meijer","sequence":"additional","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,30]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/356725.356731","volume":"10","author":"MV Zelkowitz","year":"1978","unstructured":"Zelkowitz, M.V.: Perspectives in software engineering. ACM Comput. Surv. 10(2), 197\u2013216 (1978)","journal-title":"ACM Comput. Surv."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Horgan, J.R., et al.: A study of effective regression testing in practice. In: ISSRE, Albuquerque, NM, USA, 2\u20135 November, pp. 264\u2013274 (1997)","DOI":"10.1109\/ISSRE.1997.630875"},{"issue":"2","key":"11_CR3","first-page":"319","volume":"19","author":"M Olan","year":"2003","unstructured":"Olan, M.: Unit testing: test early, test often. J. Comput. Sci. Coll. 19(2), 319\u2013328 (2003)","journal-title":"J. Comput. Sci. Coll."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Meinke, K.: Automated black-box testing of functional correctness using function approximation. In: ISSTA, Boston, MA, USA, 11\u201314 July, pp. 143\u2013153 (2004)","DOI":"10.1145\/1007512.1007532"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1007\/978-3-662-46681-0_61","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Kant","year":"2015","unstructured":"Kant, G., Laarman, A., Meijer, J., van de Pol, J., Blom, S., van Dijk, T.: LTSmin: high-performance language-independent model checking. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 692\u2013707. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-46681-0_61"},{"issue":"5","key":"11_CR6","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/jigpal\/jzl007","volume":"14","author":"A Groce","year":"2006","unstructured":"Groce, A., Peled, D.A., Yannakakis, M.: Adaptive model checking. Logic J. IGPL 14(5), 729\u2013744 (2006)","journal-title":"Logic J. IGPL"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"B Steffen","year":"2011","unstructured":"Steffen, B., Howar, F., Merten, M.: Introduction to active automata learning from a practical perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 256\u2013296. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21455-4_8"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-56483-7_22","volume-title":"Machine Learning: From Theory to Applications","author":"RL Rivest","year":"1993","unstructured":"Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. In: Hanson, S.J., Remmele, W., Rivest, R.L. (eds.) Machine Learning: From Theory to Applications. LNCS, vol. 661, pp. 51\u201373. Springer, Heidelberg (1993). \nhttps:\/\/doi.org\/10.1007\/3-540-56483-7_22"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. 4(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., et al.: Active continuous quality control. In: CBSE, Vancouver, BC, Canada, 17\u201321 June 2013, pp. 111\u2013120 (2013)","DOI":"10.1145\/2465449.2465469"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-68270-9_7","volume-title":"ModelEd, TestEd, TrustEd","author":"A Bainczyk","year":"2017","unstructured":"Bainczyk, A., Schieweck, A., Steffen, B., Howar, F.: Model-based testing without models: the\u00a0TodoMVC case study. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 125\u2013144. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-68270-9_7"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Fiterau-Brostean, P., et al.: Model learning and model checking of SSH implementations. In: SPIN, Santa Barbara, CA, USA, 10\u201314 July 2017, pp. 142\u2013151 (2017)","DOI":"10.1145\/3092282.3092289"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-319-30000-9_14","volume-title":"Language and Automata Theory and Applications","author":"R Smetsers","year":"2016","unstructured":"Smetsers, R., Moerman, J., Jansen, D.N.: Minimal separating sequences for all pairs of states. In: Dediu, A.-H., Janou\u0161ek, J., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2016. LNCS, vol. 9618, pp. 181\u2013193. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30000-9_14"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00244-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:20:34Z","timestamp":1535588434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00244-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030002435","9783030002442"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00244-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}