{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:33:59Z","timestamp":1743086039903,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259413"},{"type":"electronic","value":"9783319259420"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25942-0_18","type":"book-chapter","created":{"date-parts":[[2015,10,16]],"date-time":"2015-10-16T05:32:14Z","timestamp":1444973534000},"page":"277-283","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Fault Localization for BIP"],"prefix":"10.1007","author":[{"given":"Wang","family":"Qiang","sequence":"first","affiliation":[]},{"given":"Lei","family":"Yan","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[]},{"given":"Mao","family":"Xiaoguang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: Localizing errors in counterexample traces. In: POPL (2003)","DOI":"10.1145\/604131.604140"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Cimatti, A., Jaber, M., Mover, S., Roveri, M., Saab, W., Wang, Q.: Formal verification of infinite-state BIP models. In: ATVA (2015, to appear)","DOI":"10.1007\/978-3-319-24953-7_25"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-22045-6_4","volume-title":"Software Composition","author":"S Bliudze","year":"2011","unstructured":"Bliudze, S., Sifakis, J.: Synthesizing glue operators from glue constraints for the construction of component-based systems. In: Apel, S., Jackson, E. (eds.) SC 2011. LNCS, vol. 6708, pp. 51\u201367. Springer, Heidelberg (2011)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J., Bozga, M.D., Jaber, M.: Architecture internalisation in BIP. In: Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE 2014, pp. 169\u2013178. ACM, New York (2014)","DOI":"10.1145\/2602458.2602477"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Darvas, D., Fern\u00e1ndez Adiego, B., V\u00f6r\u00f6s, A., Bartha, T., Blanco Vi\u00f1uela, E., Gonz\u00e1lez Su\u00e1rez, V.M.: Formal verification of complex properties on PLC programs. In: Formal Techniques for Distributed Objects, Components and Systems (2014)","DOI":"10.1007\/978-3-662-43613-4_18"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering (2005)","DOI":"10.1007\/s10664-005-3861-2"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Griesmayer, A., Staber, S., Bloem, R.: Automated fault localization for C programs. Electron. Notes Theor. Comput, Sci (2007)","DOI":"10.1016\/j.entcs.2006.12.032"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: Error localization using maximum satisfiability. In: PLDI (2011)","DOI":"10.1145\/1993498.1993550"},{"key":"18_CR9","unstructured":"Lynch, N.A.: Distributed Algorithms (1996)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Mao, X., Lei, Y., Dai, Z., Qi, Y., Wang, C.: Slice-based statistical fault localization. Journal of Systems and Software (2014)","DOI":"10.1016\/j.jss.2013.08.031"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Naish, L., Lee, H., Ramamohanarao, K.: A model for spectra-based software diagnosis. ACM Transactions on Software Engineering and Methodology (2011)","DOI":"10.1145\/2000791.2000795"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: Rigorous system design. Foundations and Trends in Electronic Design Automation (2013)","DOI":"10.1561\/1000000034"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering: Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25942-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T03:07:29Z","timestamp":1559272049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25942-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259413","9783319259420"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25942-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}