{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:18:52Z","timestamp":1725671932043},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288906"},{"type":"electronic","value":"9783642288913"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28891-3_8","type":"book-chapter","created":{"date-parts":[[2012,3,30]],"date-time":"2012-03-30T12:53:01Z","timestamp":1333111981000},"page":"70-84","source":"Crossref","is-referenced-by-count":1,"title":["Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging"],"prefix":"10.1007","author":[{"given":"Ross","family":"Gore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Paul F.","family":"Reynolds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Swenson, H., Barhydt, R., Landis, M.: Next Generation Air Transportation System Air Traffic Management, Technical report, NASA Ames Research Center (2006)"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0925-7535(96)00067-7","volume":"24","author":"N.A. Stanton","year":"1996","unstructured":"Stanton, N.A., Marsden, P.: From Fly-by-Wire to Drive-by-Wire: Safety Implications of Automation in Vehicles. Safety Sci.\u00a024(1), 35\u201349 (1996)","journal-title":"Safety Sci."},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1353445.1353446","volume":"30","author":"D. Monniaux","year":"2008","unstructured":"Monniaux, D.: The Pitfalls of Verifying Floating-point Computations. ACM Trans. Program. Lang. Syst.\u00a030(3), 1\u201341 (2008)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR4","unstructured":"Hallam, P.: What do programmers really do anyway? In: Microsoft Developer Network (MSDN) C# Compiler (2006)"},{"key":"8_CR5","volume-title":"Practical Software Maintenance: Best Practices for Managing Your Software Investments","author":"T.M. Pigoski","year":"1996","unstructured":"Pigoski, T.M.: Practical Software Maintenance: Best Practices for Managing Your Software Investments. John Wiley & Sons, New York (1996)"},{"key":"8_CR6","first-page":"15","volume-title":"Conf. on Programming Language Design and Implementation","author":"B. Liblit","year":"2005","unstructured":"Liblit, B., Naik, M., Zheng, A.X., Aiken, A., Jordan, M.I.: Scalable Statistical Bug Isolation. In: Conf. on Programming Language Design and Implementation, pp. 15\u201326. ACM Press, New York (2005)"},{"key":"8_CR7","first-page":"146","volume-title":"Symp. on Foundations of Software Engineering","author":"G.K. Baah","year":"2011","unstructured":"Baah, G.K., Podgurski, A., Harrold, M.J.: Mitigating the Confounding Effects of Program Dependences for Effective Fault Localization. In: Symp. on Foundations of Software Engineering, pp. 146\u2013156. ACM Press, New York (2011)"},{"key":"8_CR8","first-page":"492","volume-title":"Conf. on Automated Software Engineering","author":"R. Gore","year":"2011","unstructured":"Gore, R., Reynolds, P.F., Kamensky, D.: Statistical Debugging with Elastic Predicates. In: Conf. on Automated Software Engineering, pp. 492\u2013495. ACM Press, New York (2011)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Gore, R., Reynolds, P.F.: Reducing Confounding Bias in Predicate-level Statistical Debuggers. Submitted to: Conf. on Software Engineering. ACM Press, New York (2012)","DOI":"10.1109\/ICSE.2012.6227169"},{"key":"8_CR10","first-page":"30","volume-title":"Conf. on Automated Software Engineering","author":"M. Renieris","year":"2003","unstructured":"Renieris, M., Reiss, S.: Fault Localization with Nearest Neighbor Queries. In: Conf. on Automated Software Engineering, pp. 30\u201339. ACM Press, New York (2003)"},{"key":"8_CR11","first-page":"167","volume-title":"Symp. on Software Testing and Analysis","author":"D. Jeffery","year":"2008","unstructured":"Jeffery, D., Gupta, N., Gupta, R.: Fault Localization using Value Replacement. In: Symp. on Software Testing and Analysis, pp. 167\u2013177. ACM Press, New York (2008)"},{"key":"8_CR12","volume-title":"Causality: Models, Reasoning, and Inference","author":"J. Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, San Francisco (2000)"},{"key":"8_CR13","first-page":"441","volume-title":"Conf. on Principles of Knowledge Representation and Reasoning","author":"J. Pearl","year":"1991","unstructured":"Pearl, J., Verma, T.: A Theory of Inferred Causation. In: Conf. on Principles of Knowledge Representation and Reasoning, pp. 441\u2013452. AAAI Press, Palo Alto (1991)"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804564","volume-title":"Counterfactuals and Causal Inference: Methods and Principles of Social Research","author":"S.L. Morgan","year":"2007","unstructured":"Morgan, S.L., Winship, C.: Counterfactuals and Causal Inference: Methods and Principles of Social Research. Cambridge University Press, Cambridge (2007)"},{"issue":"30","key":"8_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The Program dependence graph and its use in optimization. ACM Trans. on Program Lang. Sys.\u00a09(30), 319\u2013349 (1987)","journal-title":"ACM Trans. on Program Lang. Sys."},{"key":"8_CR16","first-page":"437","volume":"2","author":"W.H. Harman","year":"1989","unstructured":"Harman, W.H.: TCAS: A System for Preventing Midair Collisions. Lincoln Laboratory Journal\u00a02, 437\u2013458 (1989)","journal-title":"Lincoln Laboratory Journal"},{"key":"8_CR17","unstructured":"SIR: Software-artifact Infrastructure Repository, \n                  \n                    http:\/\/sir.unl.edu\/portal\/index.html"},{"key":"8_CR18","unstructured":"Diamond, A., Sekhon, J.S.: Genetic Matching for Estimating Causal Effects: A General Multivariate Matching Method for Achieving Balance in Observational Studies. Technical report (2006)"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022920502619","volume":"25","author":"I. Bate","year":"2003","unstructured":"Bate, I., Burns, A.: An Integrated Approach to Scheduling in Safety-critical Embedded Control Systems. Real-Time Syst.\u00a025(1), 5\u201337 (2003)","journal-title":"Real-Time Syst."},{"key":"8_CR20","unstructured":"R Development Core Team. R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria (2008)"},{"issue":"7","key":"8_CR21","first-page":"1","volume":"42","author":"J.S. Sekhon","year":"2011","unstructured":"Sekhon, J.S.: Multivariate and Propensity Score Matching Software with Automated Balance Optimization: The Matching package for R. J. Stats. Soft.\u00a042(7), 1\u201352 (2011)","journal-title":"J. Stats. Soft."},{"issue":"7","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V. D\u2019Silva","year":"2008","unstructured":"D\u2019Silva, V., Kroening, D., Weissenbacher, G.: A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. Comp. Aided Design\u00a027(7), 1165\u20131178 (2008)","journal-title":"IEEE Trans. Comp. Aided Design"},{"key":"8_CR23","first-page":"342","volume-title":"Conf. on Software Engineering","author":"H. Cleve","year":"2005","unstructured":"Cleve, H., Zeller, A.: Locating Causes of Program Failures. In: Conf. on Software Engineering, pp. 342\u2013351. ACM Press, New York (2005)"},{"key":"8_CR24","first-page":"263","volume-title":"Conf. on Automated Software Engineering","author":"N. Gupta","year":"2005","unstructured":"Gupta, N., He, H., Zhang, X., Gupta, R.: Locating Faulty Code Using Failure-inducing Chops. In: Conf. on Automated Software Engineering, pp. 263\u2013272. ACM Press, New York (2005)"},{"key":"8_CR25","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. J. Program. Lang.\u00a03, 121\u2013189 (1995)","journal-title":"J. Program. Lang."},{"key":"8_CR26","first-page":"439","volume-title":"Conf. on Software Engineering","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program Slicing. In: Conf. on Software Engineering, pp. 439\u2013449. ACM Press, New York (1981)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28891-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,30]],"date-time":"2020-01-30T12:26:40Z","timestamp":1580387200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28891-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288906","9783642288913"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28891-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}