{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T18:04:23Z","timestamp":1744653863242,"version":"3.37.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319519654"},{"type":"electronic","value":"9783319519661"}],"license":[{"start":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T00:00:00Z","timestamp":1482969600000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51966-1_12","type":"book-chapter","created":{"date-parts":[[2016,12,28]],"date-time":"2016-12-28T06:11:08Z","timestamp":1482905468000},"page":"179-195","source":"Crossref","is-referenced-by-count":1,"title":["Three Views of Log Trace Triaging"],"prefix":"10.1007","author":[{"given":"Rapha\u00ebl","family":"Khoury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Gaboury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,29]]},"reference":[{"key":"12_CR1","unstructured":"IEEE standard classification for software anomalies. Technical report 1044-2009. IEEE (2010)"},{"issue":"9","key":"12_CR2","doi-asserted-by":"crossref","first-page":"2185","DOI":"10.4304\/jsw.8.9.2185-2190","volume":"8","author":"M Alenezi","year":"2013","unstructured":"Alenezi, M., Magel, K., Banitaan, S.: Efficient bug triaging using text mining. JSW 8(9), 2185\u20132190 (2013)","journal-title":"JSW"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B Alpern","year":"1986","unstructured":"Alpern, B., Alpera, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2, 117\u2013126 (1986)","journal-title":"Distrib. Comput."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bang, L., Aydin, A., Bultan, T.: Automatically computing path complexity of programs. In: Nitto, E.D., Harman, M., Heymans, P. (eds.) Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, Bergamo, Italy, 30 August - 4 September 2015, pp. 61\u201372. ACM (2015)","DOI":"10.1145\/2786805.2786863"},{"issue":"3","key":"12_CR5","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20(3), 651\u2013674 (2010). http:\/\/dx.doi.org\/10.1093\/logcom\/exn075","journal-title":"J. Log. Comput."},{"issue":"1","key":"12_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(91)90258-4","volume":"84","author":"D Beauquier","year":"1991","unstructured":"Beauquier, D., Pin, J.: Languages and scanners. Theor. Comput. Sci. 84(1), 3\u201321 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Brewer, D.F.C., Nash, M.J.: The Chinese wall security policy. In: S&P, pp. 206\u2013214. IEEE Computer Society (1989)","DOI":"10.1109\/SECPRI.1989.36295"},{"issue":"6","key":"12_CR8","first-page":"33","volume":"7","author":"PH Carstensen","year":"1995","unstructured":"Carstensen, P.H., S\u00f8rensen, C., Tuikkar, T.: Let\u2019s talk about bugs!. Scand. J. Inf. Syst. 7(6), 33\u201354 (1995)","journal-title":"Scand. J. Inf. Syst."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Chan, A., Holmes, R., Murphy, G.C., Ying, A.T.T.: Scaling an object-oriented system execution visualizer through sampling. In: 11th International Workshop on Program Comprehension (IWPC 2003), 10\u201311 May 2003, Portland, Oregon, USA, pp. 237\u2013244. IEEE Computer Society (2003). http:\/\/dx.doi.org\/10.1109\/WPC.2003.1199207","DOI":"10.1109\/WPC.2003.1199207"},{"key":"12_CR10","series-title":"NATO ASI Series","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-642-58041-3_5","volume-title":"Logic and Algebra of Specification","author":"E Chang","year":"1993","unstructured":"Chang, E., Manna, Z., Pnueli, A.: The safety-progress classification. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification. NATO ASI Series, vol. 94, pp. 143\u2013202. Springer, Heidelberg (1993)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Cornelissen, B., van Deursen, A., Moonen, L., Zaidman, A.: Visualizing testsuites to aid in software understanding. In: Krikhaar, R.L., Verhoef, C., Lucca, G.A.D. (eds.) CSMR, pp. 213\u2013222. IEEE Computer Society (2007). http:\/\/dx.doi.org\/10.1109\/CSMR.2007.54","DOI":"10.1109\/CSMR.2007.54"},{"key":"12_CR12","unstructured":"Cornelissen, B., Moonen, L.: On large execution traces and trace abstraction techniques. Technical report, Delft University of Technology, Software Engineering Research Group (2008)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Fong, P.W.L.: Access control by tracking shallow execution history. In: S&P, pp. 43\u201355. IEEE Computer Society (2004)","DOI":"10.1109\/SECPRI.2004.1301314"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/BFb0032063","volume-title":"Automata, Languages and Programming","author":"JF Groote","year":"1990","unstructured":"Groote, J.F., Vaandrager, F.: An efficient algorithm for branching bisimulation and stuttering equivalence. In: Paterson, M.S. (ed.) ICALP 1990. LNCS, vol. 443, pp. 626\u2013638. Springer, Heidelberg (1990). doi: 10.1007\/BFb0032063 . http:\/\/dblp.uni-trier.de\/db\/conf\/icalp\/icalp90.html#GrooteV90"},{"key":"12_CR15","unstructured":"Grottke, M., Trivedie, K.S.: A classification of software faults. In: ISSRE, pp. 4.19\u20134.20 (2005)"},{"issue":"3","key":"12_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L Henkin","year":"1949","unstructured":"Henkin, L.: The completeness of the first-order functional calculus. J. Symbolic Logic 14(3), 159\u2013166 (1949)","journal-title":"J. Symbolic Logic"},{"key":"12_CR17","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-0-387-34878-0_13","volume-title":"Formal Description Techniques VII","author":"GJ Holzmann","year":"1994","unstructured":"Holzmann, G.J., Peled, D.A.: An improvement in formal verification. In: Hogrefe, D., Leue, S. (eds.) Formal Description Techniques VII. IFIP AICT, pp. 197\u2013211. Springer, New York (1994). doi: 10.1007\/978-0-387-34878-0_13"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Kuhn, A., Greevy, O.: Exploiting the analogy between traces and signal processing. In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24\u201327 September 2006, Philadelphia, Pennsylvania, USA, pp. 320\u2013329. IEEE Computer Society (2006). http:\/\/dx.doi.org\/10.1109\/ICSM.2006.29","DOI":"10.1109\/ICSM.2006.29"},{"issue":"5","key":"12_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Secur. 4, 2\u201316 (2005)","journal-title":"Int. J. Inf. Secur."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Lo, D., Cheng, H., Han, J., Khoo, S.C., Sun, C.: Classification of software behaviors for failure detection: a discriminative pattern mining approach. In: KDD, pp. 557\u2013566 (2009)","DOI":"10.1145\/1557019.1557083"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Moha, N., Gu\u00e9h\u00e9neuc, Y.G., Leduc, P.: Automatic generation of detection algorithms for design defects. In: ASE, pp. 297\u2013300. IEEE Computer Society (2006)","DOI":"10.1109\/ASE.2006.22"},{"issue":"6","key":"12_CR23","doi-asserted-by":"crossref","first-page":"436","DOI":"10.4236\/jsea.2012.56050","volume":"5","author":"NK Nagwani","year":"2012","unstructured":"Nagwani, N.K., Verma, S.: CLUBAS: an algorithm and Java based tool for software bug classification using bug attributes similarities. J. Softw. Eng. Appl. 5(6), 436\u2013447 (2012)","journal-title":"J. Softw. Eng. Appl."},{"key":"12_CR24","unstructured":"Rountev, A., Connell, B.H.: Object naming analysis for reverse-engineered sequence diagrams. In: Roman, G., Griswold, W.G., Nuseibeh, B. (eds.) ICSE, pp. 254\u2013263. ACM (2005). http:\/\/doi.acm.org\/10.1145\/1062455.1062510"},{"key":"12_CR25","unstructured":"Sridhar, M.: Model-checking in-lined reference monitors. Ph.D. thesis, The University of Texas at Dallas, Richardson, Texas, August 2014"},{"issue":"2\u20134","key":"12_CR26","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.ic.2007.07.009","volume":"206","author":"C Talhi","year":"2008","unstructured":"Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. 206(2\u20134), 158\u2013184 (2008)","journal-title":"Inf. Comput."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Varvaressos, S., Lavoie, K., Gaboury, S., Hall\u00e9, S.: A generalized monitor verdict for log trace triaging. In: PCODA, pp. 13\u201318. IEEE Computer Society (2015)","DOI":"10.1109\/PCODA.2015.7067178"},{"issue":"5","key":"12_CR28","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/360980.360995","volume":"17","author":"RA Wagner","year":"1974","unstructured":"Wagner, R.A.: Order-n correction for regular languages. Commun. ACM 17(5), 265\u2013268 (1974)","journal-title":"Commun. ACM"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Wagner, S.: Defect classification and defect types revisited. In: DEFECTS 2008, Proceedings of the 2008 Workshop on Defects in Large Software Systems, pp. 39\u201340 (2008)","DOI":"10.1145\/1390817.1390829"},{"key":"12_CR30","unstructured":"Wiszniewski, H.K.B., Mork, H.: Classification of software defects in parallel programs. Technical report 2, Faculty of Electronics, Technical University of Gdansk, Poland (1994)"},{"key":"12_CR31","unstructured":"Xuan, J., Jiang, H., Ren, Z., Yan, J., Luo, Z.: Automatic bug triage using semi-supervised text classification. In: SEKE, pp. 209\u2013214. Knowledge Systems Institute Graduate School (2010)"}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51966-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T02:55:34Z","timestamp":1498359334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51966-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,29]]},"ISBN":["9783319519654","9783319519661"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51966-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,29]]}}}