{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:18:06Z","timestamp":1743092286629,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10975-6_3","type":"book-chapter","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T12:26:14Z","timestamp":1409747174000},"page":"29-44","source":"Crossref","is-referenced-by-count":2,"title":["Metrics-Based Incremental Determinization of Finite Automata"],"prefix":"10.1007","author":[{"given":"Sergiu I.","family":"Balan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Lamperti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Scandale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/QSIC.2012.58","volume-title":"12th International Conference on Quality Software (QSIC 2012)","author":"B. Aichernig","year":"2012","unstructured":"Aichernig, B., J\u00f6bstl, E.: Efficient refinement checking for model-based mutation testing. In: 12th International Conference on Quality Software (QSIC 2012), pp. 21\u201330. IEEE, Xi\u2019an (2012)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38916-0_1","volume-title":"Tests and Proofs","author":"B.K. Aichernig","year":"2013","unstructured":"Aichernig, B.K., J\u00f6bstl, E., Kegele, M.: Incremental refinement checking for test case generation. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol.\u00a07942, pp. 1\u201319. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Aichernig, B., J\u00f6bstl, E., Tiran, S.: Model-based mutation testing via symbolic refinement checking. Science of Computer Programming (in Press, 2014)","key":"3_CR3","DOI":"10.1016\/j.scico.2014.05.004"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/nar\/28.1.45","volume":"28","author":"A. Bairoch","year":"2000","unstructured":"Bairoch, A., Apweiler, R.: The SWISS-PROT protein sequence database and its supplement TrEMBL in 2000. Nucleic Acids Research\u00a028(1), 45\u201348 (2000)","journal-title":"Nucleic Acids Research"},{"key":"3_CR5","first-page":"25","volume-title":"Smart Digital Futures, Frontiers in Artificial Intelligence and Applications","author":"S. Balan","year":"2014","unstructured":"Balan, S., Lamperti, G., Scandale, M.: Incremental subset construction revisited. In: Neves-Silva, R., Tshirintzis, G., Uskov, V., Howlett, R., Jain, L. (eds.) Smart Digital Futures, Frontiers in Artificial Intelligence and Applications, vol.\u00a0262, pp. 25\u201337. IOS Press, Amsterdam (2014)"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of ACM"},{"key":"3_CR7","series-title":"The Kluwer International Series in Discrete Event Dynamic Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C. Cassandras","year":"1999","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. The Kluwer International Series in Discrete Event Dynamic Systems, vol.\u00a011. Kluwer Academic Publishers, Boston (1999)"},{"key":"3_CR8","volume-title":"Mastering Regular Expressions","author":"J. Friedl","year":"2006","unstructured":"Friedl, J.: Mastering Regular Expressions, 3rd edn. O\u2019Reilly Media, Sebastopol (2006)","edition":"3"},{"unstructured":"J\u00f6bstl, E.: Model-based mutation testing with constraint and SMT solvers. Ph.D. thesis, Institute for Software Technology, Graz University of Technology, Austria (2014)","key":"3_CR9"},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"373","DOI":"10.3233\/AIC-130574","volume":"26","author":"G. Lamperti","year":"2013","unstructured":"Lamperti, G., Scandale, M.: From diagnosis of active systems to incremental determinization of finite acyclic automata. AI Communications\u00a026(4), 373\u2013393 (2013)","journal-title":"AI Communications"},{"issue":"1-2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0004-3702(02)00123-6","volume":"137","author":"G. Lamperti","year":"2002","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence\u00a0137(1-2), 91\u2013163 (2002)","journal-title":"Artificial Intelligence"},{"key":"3_CR12","series-title":"The Kluwer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0257-7","volume-title":"Diagnosis of Active Systems \u2013 Principles and Techniques","author":"G. Lamperti","year":"2003","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of Active Systems \u2013 Principles and Techniques. The Kluwer International Series in Engineering and Computer Science, vol.\u00a0741. Kluwer Academic Publishers, Dordrecht (2003)"},{"issue":"5","key":"3_CR13","doi-asserted-by":"publisher","first-page":"2222","DOI":"10.1109\/TSMCB.2004.835008","volume":"34","author":"G. Lamperti","year":"2004","unstructured":"Lamperti, G., Zanella, M.: A bridged diagnostic method for the monitoring of polymorphic discrete-event systems. IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics\u00a034(5), 2222\u20132244 (2004)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics"},{"unstructured":"Lamperti, G., Zanella, M.: Monitoring and diagnosis of discrete-event systems with uncertain symptoms. In: Sixteenth International Workshop on Principles of Diagnosis, DX 2005, Monterey, CA, pp. 145\u2013150 (2005)","key":"3_CR14"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/TSMCA.2010.2069096","volume":"41","author":"G. Lamperti","year":"2011","unstructured":"Lamperti, G., Zanella, M.: Monitoring of active systems with stratified uncertain observations. IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part A: Systems and Humans\u00a041(2), 356\u2013369 (2011)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part A: Systems and Humans"},{"key":"3_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-85563-7_48","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"G. Lamperti","year":"2008","unstructured":"Lamperti, G., Zanella, M., Chiodi, G., Chiodi, L.: Incremental determinization of finite automata in model-based diagnosis of active systems. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008, Part I. LNCS (LNAI), vol.\u00a05177, pp. 362\u2013374. Springer, Heidelberg (2008)"},{"issue":"1","key":"3_CR17","first-page":"27","volume":"20","author":"G. Lamperti","year":"2007","unstructured":"Lamperti, G., Zanella, M., Zanni, D.: Incremental processing of temporal observations in model-based reasoning. AI Communications\u00a020(1), 27\u201337 (2007)","journal-title":"AI Communications"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M. Rabin","year":"1959","unstructured":"Rabin, M., Scott, D.: Finite automata and their decision problems. IBM Journal of Research and Development\u00a03(2), 114\u2013125 (1959)","journal-title":"IBM Journal of Research and Development"},{"issue":"3","key":"3_CR19","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10975-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T01:12:15Z","timestamp":1598231535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10975-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10975-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}