{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:37:37Z","timestamp":1742931457060,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319490939"},{"type":"electronic","value":"9783319490946"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-49094-6_40","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T22:09:49Z","timestamp":1478297389000},"page":"550-559","source":"Crossref","is-referenced-by-count":2,"title":["Log File Analyzing in Intelligent Transportation Systems Development"],"prefix":"10.1007","author":[{"given":"Esa","family":"Heikkinen","sequence":"first","affiliation":[]},{"given":"Timo D.","family":"H\u00e4m\u00e4l\u00e4inen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,6]]},"reference":[{"key":"40_CR1","unstructured":"Aaltonen, J.: Implementation of GPS based real time passenger information system. Licentiate in Technology, Tampere University of Technology, pp. 1\u201376 (1998)"},{"key":"40_CR2","unstructured":"Wasson, C.S.: System Engineering Analysis, Design, and Development: Concepts, Principles, and Practices. John Wiley & Sons (2015)"},{"key":"40_CR3","unstructured":"Blanchard, B.S., Fabrycky, W.J., Fabrycky, W.J.: Systems Engineering and Analysis. Prentice Hall, New Jersey (1990)"},{"key":"40_CR4","unstructured":"Chapman, P., Clinton, J., Kerber, R., Khabaza, T., Reinartz, T., Shearer, C., Wirth, R.: CRISP-DM 1.0 Step-by-step data mining guide (2000)"},{"key":"40_CR5","unstructured":"Luckham, D.: The Power of Events. Addison-Wesley, Reading (2002)"},{"issue":"6","key":"40_CR6","doi-asserted-by":"crossref","first-page":"6530","DOI":"10.1016\/j.eswa.2010.11.087","volume":"38","author":"J Dunkel","year":"2011","unstructured":"Dunkel, J., Fern\u00e1ndez, A., Ortiz, R., Ossowski, S.: Event-driven architecture for decision support in traffic management systems. Expert Syst. Appl. 38(6), 6530\u20136539 (2011)","journal-title":"Expert Syst. Appl."},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Beschastnikh, I., Abrahamson, J., Brun, Y., Ernst, M.D.: Synoptic: studying logged behavior with inferred models. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 448\u2013451. ACM","DOI":"10.1145\/2025113.2025188"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Beschastnikh, I., Brun, Y., Abrahamson, J., Ernst, M.D., Krishnamurthy, A.: Unifying FSM-inference algorithms through declarative specification. In: Proceedings of the 2013 International Conference on Software Engineering, pp. 252\u2013261. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606571"},{"issue":"1","key":"40_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"MD Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"7","key":"40_CR10","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TSE.2003.1214327","volume":"29","author":"JH Andrews","year":"2003","unstructured":"Andrews, J.H., Zhang, Y.: General test result checking with log file analysis. IEEE Trans. Softw. Eng. 29(7), 634\u2013648 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Lemieux, C., Beschastnikh, I.: Investigating program behavior using the texada LTL specifications miner. In: 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 870\u2013875. IEEE (2015)","DOI":"10.1109\/ASE.2015.94"},{"issue":"10","key":"40_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MC.2009.336","volume":"42","author":"S Maoz","year":"2009","unstructured":"Maoz, S.: Using model-based traces as runtime models. Computer 42(10), 28\u201336 (2009)","journal-title":"Computer"},{"key":"40_CR13","unstructured":"Valdman, J.: Log file analysis, Technical report, Department of Computer Science and Engineering, University of West Bohemia in Pilsen (FAV UWB), Czech Republic,, Tech.Rep.DCSE\/TR-2001\u201304, pp. 1\u201351 (2001)"},{"key":"40_CR14","unstructured":"Heikkinen, E., H\u00e4m\u00e4l\u00e4inen, T.D.: LOGDIG log file analyzer for mining expected behavior from log files. In: SPLST 2015 14th Symposium on Programming Languages and Software Tools, Tampere, Finland (2015)"},{"key":"40_CR15","doi-asserted-by":"crossref","unstructured":"Heikkinen, E., H\u00e4m\u00e4l\u00e4inen, T.D.: Behavior mining language for mining expected behavior from log files. In: IECON The 42nd Annual Conference of IEEE Industrial Electronics Society, Firenze, Italy, Accepted for publication in 24\u201327 October 2016","DOI":"10.1109\/IECON.2016.7793774"},{"key":"40_CR16","unstructured":"Pesonen, H., Laine, T., B\u00e4ckstr\u00f6m, J., Granberg, M., Vehmas, A., Niittym\u00e4ki, J.: Assessment of impacts and socio-economical profitability of real-time passenger information system (ELMI). FITS Publications 7\/2002, Ministry of Transport and Communications, Strafica Ltd., SCC Viatek Ltd., LT-Consultants Ltd., Helsinki (2002) http:\/\/virtual.vtt.fi\/virtual\/proj6\/fits\/julkaisut\/hanke2\/fits7.pdf"},{"key":"40_CR17","unstructured":"Heikkinen, E.: LOGDIG\u2019s source codes and examples, GitHub. https:\/\/github.com\/ErasRasmuson\/LA . (Accessed 1 April 2016)"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49094-6_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:54:07Z","timestamp":1498344847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49094-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319490939","9783319490946"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49094-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}