{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:06:40Z","timestamp":1736399200537,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330950"},{"type":"electronic","value":"9783540330967"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11693024_17","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T13:30:35Z","timestamp":1143552635000},"page":"246-263","source":"Crossref","is-referenced-by-count":11,"title":["Path Optimization in Programs and Its Application to Debugging"],"prefix":"10.1007","author":[{"given":"Akash","family":"Lal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junghee","family":"Lim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Polishchuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Liblit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. Aho","year":"1985","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1985)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.scico.2005.02.009","volume":"58","author":"T. Reps","year":"2005","unstructured":"Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. of Comp. Prog.\u00a058, 206\u2013263 (2005)","journal-title":"Sci. of Comp. Prog."},{"doi-asserted-by":"crossref","unstructured":"Liblit, B.: Cooperative Bug Isolation. PhD thesis, University of California, Berkeley (2004)","key":"17_CR3","DOI":"10.1049\/ic:20040352"},{"doi-asserted-by":"crossref","unstructured":"Liblit, B., Naik, M., Zheng, A.X., Aiken, A., Jordan, M.I.: Scalable statistical bug isolation. In: SIGPLAN Conf. on Prog. Lang. Design and Impl. (2005)","key":"17_CR4","DOI":"10.1145\/1065010.1065014"},{"doi-asserted-by":"crossref","unstructured":"Lal, A., Reps, T., Balakrishnan, G.: Extended weighted pushdown systems. In: Computer Aided Verification, pp. 434\u2013448 (2005)","key":"17_CR5","DOI":"10.1007\/11513988_44"},{"doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. In: Symp. on Princ. of Prog. Lang., pp. 62\u201373 (2003)","key":"17_CR6","DOI":"10.1145\/604131.604137"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(96)00072-2","volume":"167","author":"M. Sagiv","year":"1996","unstructured":"Sagiv, M., Reps, T., Horwitz, S.: Precise interprocedural dataflow analysis with applications to constant propagation. Theor. Comp. Sci.\u00a0167, 131\u2013170 (1996)","journal-title":"Theor. Comp. Sci."},{"doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra. In: Symp. on Princ. of Prog. Lang. (2004)","key":"17_CR8","DOI":"10.1145\/964001.964029"},{"doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Analysis of modular arithmetic. In: European Symp. on Programming (2005)","key":"17_CR9","DOI":"10.1007\/978-3-540-31987-0_5"},{"doi-asserted-by":"crossref","unstructured":"Das, M., Lerner, S., Seigle, M.: ESP: Path-sensitive program verification in polynomial time. In: SIGPLAN Conf. on Prog. Lang. Design and Impl., pp. 57\u201368 (2002)","key":"17_CR10","DOI":"10.1145\/543552.512538"},{"doi-asserted-by":"crossref","unstructured":"Wegman, M., Zadeck, F.: Constant propagation with conditional branches. In: Symp. On Princ. of Prog. Lang., pp. 291\u2013299 (1985)","key":"17_CR11","DOI":"10.1145\/318593.318659"},{"doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., R\u00fcthing, O.: On the complexity of constant propagation. In: European Symp. on Programming, pp. 190\u2013205 (2001)","key":"17_CR12","DOI":"10.1007\/3-540-45309-1_13"},{"unstructured":"Lal, A., Lim, J., Polishchuk, M., Liblit, B.: BTRACE: Path optimization for debugging. Technical Report 1535, University of Wisconsin-Madison (2005)","key":"17_CR13"},{"doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. In: SIGPLAN Conf. on Prog. Lang. Design and Impl. (2003)","key":"17_CR14","DOI":"10.1145\/781131.781148"},{"unstructured":"Kidd, N., Reps, T., Melski, D., Lal, A.: WPDS++: A C++ library for weighted pushdown systems (2005), http:\/\/www.cs.wisc.edu\/wpis\/wpds++","key":"17_CR15"},{"unstructured":"Somenzi, F.: Colorado University Decision Diagram package. Technical report, University of Colorado, Boulder (1998)","key":"17_CR16"},{"key":"17_CR17","first-page":"191","volume-title":"Proc. of the 16th Int. Conf. on Softw. Eng.","author":"M. Hutchins","year":"1994","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria. In: Proc. of the 16th Int. Conf. on Softw. Eng., pp. 191\u2013200. IEEE Computer Society Press, Los Alamitos (1994)"},{"unstructured":"GrammaTech, Inc.: CodeSurfer Path Inspector (2005), http:\/\/www.grammatech.com\/products\/codesurfer\/overview_pi.html","key":"17_CR18"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11513988_17","volume-title":"Computer Aided Verification","author":"G. Balakrishnan","year":"2005","unstructured":"Balakrishnan, G., Reps, T., Kidd, N., Lal, A., Lim, J., Melski, D., Gruian, R., Yong, S., Chen, C.H., Teitelbaum, T.: Model checking x86 executables with CodeSurfer\/x86 and WPDS++. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 158\u2013163. Springer, Heidelberg (2005)"},{"unstructured":"Liblit, B., Aiken, A.: Building a better backtrace: Techniques for postmortem program analysis. Technical Report CSD-02-1203, University of California, Berkeley (2002)","key":"17_CR20"},{"doi-asserted-by":"crossref","unstructured":"Manevich, R., Sridharan, M., Adams, S., Das, M., Yang, Z.: PSE: explaining program failures via postmortem static analysis. In: Found. Softw. Eng., pp. 63\u201372 (2004)","key":"17_CR21","DOI":"10.1145\/1029894.1029907"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0028261","volume-title":"WADS","author":"T. Lengauer","year":"1991","unstructured":"Lengauer, T., Theune, D.: Unstructured path problems and the making of semirings (preliminary version). In: WADS. LNCS, vol.\u00a0519, pp. 189\u2013200. Springer, Heidelberg (1991)"},{"key":"17_CR23","volume-title":"Advances in Neural Information Processing Systems 16","author":"A.X. Zheng","year":"2004","unstructured":"Zheng, A.X., Jordan, M.I., Liblit, B., Aiken, A.: Statistical debugging of sampled programs. In: Thrun, S., Saul, L., Sch\u00f6lkopf, B. (eds.) Advances in Neural Information Processing Systems 16. MIT Press, Cambridge (2004)"},{"unstructured":"Zheng, A.X.: Statistical Software Debugging. PhD thesis, Univ. of California, Berkeley (2005)","key":"17_CR24"},{"key":"17_CR25","first-page":"286","volume-title":"Found. Softw. Eng.","author":"C. Liu","year":"2005","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.P.: SOBER: Statistical mmodel-based bug localization. In: Found. Softw. Eng., pp. 286\u2013295. ACM Press, New York (2005)"},{"unstructured":"Jiang, L., Su, Z.: Automatic isolation of cause-effect chains with machine learning. Technical Report CSE-2005-32, University of California, Davis (2005)","key":"17_CR26"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693024_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T04:49:38Z","timestamp":1736311778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693024_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330950","9783540330967"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11693024_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}