{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:32Z","timestamp":1740124232968,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,3,9]],"date-time":"2018-03-09T00:00:00Z","timestamp":1520553600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["317820"],"award-info":[{"award-number":["317820"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["317820"],"award-info":[{"award-number":["317820"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11219-017-9399-x","type":"journal-article","created":{"date-parts":[[2018,3,8]],"date-time":"2018-03-08T23:16:29Z","timestamp":1520550989000},"page":"1519-1552","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model extraction and test generation from JUnit test suites"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1730-1219","authenticated-orcid":false,"given":"Pablo","family":"Lamela Seijas","sequence":"first","affiliation":[]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[]},{"given":"Miguel \u00c1ngel","family":"Francisco","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,9]]},"reference":[{"issue":"4","key":"9399_CR1","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/2501654.2501667","volume":"45","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., Tratt, L. (2013). State-based model slicing: a survey. ACM Computing Surveys (CSUR), 45(4), 53.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9399_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.T. (2006). Testing telecoms software with Quviq QuickCheck. In Erlang workshop (pp. 2\u201310): ACM.","DOI":"10.1145\/1159789.1159792"},{"key":"9399_CR3","doi-asserted-by":"crossref","unstructured":"Arts, T., Lamela Seijas, P., Thompson, S.J. (2011). Extracting QuickCheck specifications from EUnit test cases. In Erlang workshop (pp. 62\u201371): ACM.","DOI":"10.1145\/2034654.2034666"},{"key":"9399_CR4","doi-asserted-by":"crossref","unstructured":"Berg, T., Jonsson, B., Raffelt, H. (2006). Regular inference for state machines with parameters. In International conference on fundamental approaches to software engineering (pp. 107\u2013121): Springer.","DOI":"10.1007\/11693017_10"},{"key":"9399_CR5","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M. (2009). Automatic synthesis of behavior protocols for composable web-services. In European software engineering conference and ACM SIGSOFT symposium on the foundations of software engineering (pp. 141\u2013150): ACM.","DOI":"10.1145\/1595696.1595719"},{"issue":"6","key":"9399_CR6","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"21","author":"AW Biermann","year":"1972","unstructured":"Biermann, A.W., & Feldman, J.A. (1972). On the synthesis of finite-state machines from samples of their behavior. IEEE Transactions on Computers, 21(6), 592\u2013597.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"9399_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/TSE.1976.233812","volume":"SE-2","author":"AW Biermann","year":"1976","unstructured":"Biermann, A.W., & Krishnaswamy, R. (1976). Constructing programs from example computations. IEEE Transactions on Software Engineering, SE-2(3), 141\u2013153.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9399_CR8","unstructured":"Bogdanov, K., Walkinshaw, N., Taylor, R. (2009). StateChum. http:\/\/statechum.sourceforge.net\/ . Accessed 25 Jan 2016."},{"issue":"2","key":"9399_CR9","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s00165-016-0355-5","volume":"28","author":"S Cassel","year":"2016","unstructured":"Cassel, S., Howar, F., Jonsson, B., Steffen, B. (2016). Active learning for extended finite state machines. Formal Aspects of Computing, 28(2), 233\u2013263.","journal-title":"Formal Aspects of Computing"},{"key":"9399_CR10","volume-title":"Erlang programming\u2014a concurrent approach to software development","author":"F Cesarini","year":"2009","unstructured":"Cesarini, F., & Thompson, S. (2009). Erlang programming\u2014a concurrent approach to software development. USA: O\u2019Reilly Media, Inc."},{"issue":"9","key":"9399_CR11","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"Koen Claessen","year":"2000","unstructured":"Claessen, K., & Hughes, J. (2000). Quickcheck: a lightweight tool for random testing of Haskell programs. In International conference on functional programming (pp. 268\u2013279).","journal-title":"ACM SIGPLAN Notices"},{"key":"9399_CR12","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Zheng, H., et al. (2000). Bandera: extracting finite-state models from Java source code. In Proceedings of the 2000 international conference on software engineering, 2000 (pp. 439\u2013448): IEEE.","DOI":"10.1145\/337180.337234"},{"key":"9399_CR13","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Lindig, C., Wasylkowski, A., Zeller, A. (2006). Mining object behavior with ADABU. In International workshop on dynamic systems analysis (pp. 17\u201324): ACM.","DOI":"10.1145\/1138912.1138918"},{"key":"9399_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/08839510701853200","volume":"22","author":"P Dupont","year":"2008","unstructured":"Dupont, P., Lambeau, B., Damas, C., Lamsweerde, A.V. (2008). The QSM algorithm and its application to software behavior model induction. Applied Artificial Intelligence, 22, 77\u2013115.","journal-title":"Applied Artificial Intelligence"},{"issue":"4","key":"9399_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026599015809","volume":"13","author":"J Hatcliff","year":"2000","unstructured":"Hatcliff, J., Dwyer, M.B., Zheng, H. (2000). Slicing software for model construction. Higher-Order and Symbolic Computation, 13(4), 315\u2013353.","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9399_CR16","unstructured":"Isberner, M. (2015). Foundations of active automata learning: an algorithmic perspective. PhD thesis."},{"key":"9399_CR17","doi-asserted-by":"crossref","unstructured":"Javed, F., Bryant, B.R., \u010crepin\u0161ek, M., Mernik, M., Sprague, A. (2004). Context-free grammar induction using genetic programming. In 42nd annual southeast regional conference (pp. 404\u2013405): ACM.","DOI":"10.1145\/986537.986635"},{"key":"9399_CR18","unstructured":"Lamela Seijas, P. (2014). Java Erlang bridge. https:\/\/github.com\/palas\/jeb . Accessed 29 June 2017."},{"key":"9399_CR19","unstructured":"Lamela Seijas, P., Thompson, S., Francisco, M.\u00c1. (2016). Model extraction and test generation from JUnit test suites. In International workshop on automation of software test (pp. 8\u201314): ACM."},{"key":"9399_CR20","first-page":"1","volume-title":"Grammatical Inference","author":"Kevin J. Lang","year":"1998","unstructured":"Lang, K.J, Pearlmutter, B.A., Rodney, A. (1998). Results of the Abbadingo One DFA learning competition and new evidence driven state merging algorithm. In ICGI\u201998: the 4th international colloquium on grammatical inference."},{"key":"9399_CR21","doi-asserted-by":"crossref","DOI":"10.1201\/b10928","volume-title":"Mining software specifications: methodologies and applications","author":"D Lo","year":"2011","unstructured":"Lo, D., Khoo, S.-C., Han, J., Liu, C. (2011). Mining software specifications: methodologies and applications. Boca Raton: CRC Press."},{"key":"9399_CR22","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M. (2006). Inferring state-based behavior models. In Proceedings of the 2006 international workshop on dynamic systems analysis (pp. 25\u201332): ACM.","DOI":"10.1145\/1138912.1138919"},{"key":"9399_CR23","doi-asserted-by":"crossref","unstructured":"Marchetto, A., Tonella, P., Ricca, F. (2008). State-based testing of Ajax web applications. In IEEE international conference on software testing verification and validation (pp. 121\u2013130): IEEE Computer Society.","DOI":"10.1109\/ICST.2008.22"},{"key":"9399_CR24","unstructured":"Naur, P., & Randell, B. (1969). Engineering software report on a conference sponsored by the NATO SCIENCE COMMITTEE. Nato."},{"key":"9399_CR25","doi-asserted-by":"crossref","unstructured":"Pradel, M., & Gross, T.R. (2009). Automatic generation of object usage specifications from large method traces. In International conference on automated software engineering (pp. 371\u2013382): IEEE Computer Society.","DOI":"10.1109\/ASE.2009.60"},{"key":"9399_CR26","doi-asserted-by":"crossref","unstructured":"Shahbaz, M., Li, K., Groz, R. (2007). Learning and integration of parameterized components through testing. In Testing of software and communicating systems (pp. 319\u2013334): Springer.","DOI":"10.1007\/978-3-540-73066-8_22"},{"key":"9399_CR27","unstructured":"Tip, F. (1994). A survey of program slicing techniques. http:\/\/www.franktip.org\/pubs\/jpl1995.pdf . Accessed 25 Jul 2017."},{"issue":"4","key":"9399_CR28","doi-asserted-by":"publisher","first-page":"791","DOI":"10.1007\/s10664-012-9210-3","volume":"18","author":"N Walkinshaw","year":"2013","unstructured":"Walkinshaw, N., Lambeau, B., Damas, C., Bogdanov, K., Dupont, P. (2013). Stamina: a competition to encourage the development and assessment of software model inference techniques. Empirical software engineering, 18(4), 791\u2013824.","journal-title":"Empirical software engineering"},{"issue":"3","key":"9399_CR29","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10664-015-9367-7","volume":"21","author":"N Walkinshaw","year":"2016","unstructured":"Walkinshaw, N., Taylor, R., Derrick, J. (2016). Inferring extended finite state machine models from software executions. Empirical Software Engineering, 21(3), 811\u2013853.","journal-title":"Empirical Software Engineering"},{"key":"9399_CR30","unstructured":"Wyard, P. (1993). Context free grammar induction using genetic algorithms. In IEE colloquium on grammatical inference: theory, applications and alternatives (pp. 514\u2013518): IET."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9399-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9399-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9399-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T10:52:59Z","timestamp":1570877579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9399-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,9]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9399"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9399-x","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2018,3,9]]},"assertion":[{"value":"9 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}