{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T12:10:41Z","timestamp":1753272641175},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787426"},{"type":"electronic","value":"9783540787433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78743-3_18","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:53:27Z","timestamp":1207079607000},"page":"246-260","source":"Crossref","is-referenced-by-count":9,"title":["Contextual Integration Testing of Classes"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Denaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Software Test and Analysis: Process, Principles and Techniques","author":"M. Pezz\u00e8","year":"2008","unstructured":"Pezz\u00e8, M., Young, M.: Software Test and Analysis: Process, Principles and Techniques. John Wiley and Sons, Chichester (2008)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1145\/193173.195402","volume-title":"Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"M.J. Harrold","year":"1994","unstructured":"Harrold, M.J., Rothermel, G.: Performing data flow testing on classes. In: Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 154\u2013163. ACM Press, New York (1994)"},{"issue":"11","key":"18_CR3","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1109\/TSE.2003.1245302","volume":"29","author":"A.L. Souter","year":"2003","unstructured":"Souter, A.L., Pollock, L.L.: The construction of contextual def-use associations for object-oriented systems. IEEE Transaction on Software Engineering\u00a029(11), 1005\u20131018 (2003)","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/174662.174663","volume":"16","author":"M.J. Harrold","year":"1994","unstructured":"Harrold, M.J., Soffa, M.L.: Efficient computation of interprocedural definition-use chains. ACM Transactions on Programming Languages and Systems\u00a016(2), 175\u2013204 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"18_CR5","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"SE-11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering\u00a0SE-11(4), 367\u2013375 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR6","unstructured":"Kempka, M.: Coverlipse: Eclipse plugin that visualizes the code coverage of JUnit tests Open source project on SourceForge.net, \n                    \n                      http:\/\/coverlipse.sourceforge.net"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1145\/512927.512945","volume-title":"Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"G.A. Kildall","year":"1973","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 194\u2013206. ACM Press, New York (1973)"},{"key":"18_CR8","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"18_CR9","unstructured":"Denaro, G., Gorla, A., Pezz\u00e8, M.: An empirical evaluation of data flow testing of Java classes. Technical Report 2007\/03, University of Lugano, Faculty of Informatics (2007)"},{"key":"18_CR10","unstructured":"JABA: Aristotele Research Group. Java Architecture for Bytecode Analysis (2005)"},{"issue":"9","key":"18_CR11","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"S. Sinha","year":"2000","unstructured":"Sinha, S., Harrold, M.J.: Analysis and testing of programs with exception handling constructs. IEEE Transactions on Software Engineering\u00a026(9), 849\u2013871 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR12","unstructured":"Chatterjee, R., Ryder, B.G.: Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-433, Department of Computer Science, Rutgers University (2001)"},{"issue":"6","key":"18_CR13","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1109\/32.926173","volume":"27","author":"R. Chatterjee","year":"2001","unstructured":"Chatterjee, R., Ryder, B.G., Landi, W.: Complexity of points-to analysis of Java in the presence of exceptions. IEEE Transactions on Software Engineering\u00a027(6), 481\u2013512 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"18_CR14","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1109\/TSE.2004.20","volume":"30","author":"A. Rountev","year":"2004","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Fragment class analysis for testing of polymorphism in Java software. IEEE Transactions on Software Engineering\u00a030(6), 372\u2013387 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR15","first-page":"6","volume-title":"Proceedings of the ACM Workshop on Program Analysis For Software Tools and Engineering","author":"D. Liang","year":"2005","unstructured":"Liang, D., Pennings, M., Harrold, M.J.: Evaluating the impact of context-sensitivity on Andersen\u2019s algorithm for Java programs. In: Proceedings of the ACM Workshop on Program Analysis For Software Tools and Engineering, pp. 6\u201312. ACM Press, New York (2005)"},{"issue":"1","key":"18_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering and Methodology\u00a014(1), 1\u201341 (2005)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1109\/ICSE.1996.493450","volume-title":"Proceedings of the 18th International Conference on Software Engineering","author":"I. Forg\u00e1cs","year":"1996","unstructured":"Forg\u00e1cs, I.: An exact array reference analysis for data flow testing. In: Proceedings of the 18th International Conference on Software Engineering, pp. 565\u2013574. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/ICSE.1993.346051","volume-title":"Proceedings of the 15th International Conference on Software Engineering","author":"D. Hamlet","year":"1993","unstructured":"Hamlet, D., Gifford, B., Nikolik, B.: Exploring dataflow testing of arrays. In: Proceedings of the 15th International Conference on Software Engineering, pp. 118\u2013129. IEEE Computer Society Press, Los Alamitos (1993)"},{"issue":"4","key":"18_CR19","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"H. Do","year":"2005","unstructured":"Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering: An International Journal\u00a010(4), 405\u2013435 (2005)","journal-title":"Empirical Software Engineering: An International Journal"},{"key":"18_CR20","volume-title":"Testing Object-Oriented Systems, Models, Patterns, and Tools","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented Systems, Models, Patterns, and Tools. Addison-Wesley, Reading (2000)"},{"issue":"11","key":"18_CR21","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1109\/TSE.2004.79","volume":"30","author":"L.C. Briand","year":"2004","unstructured":"Briand, L.C., Penta, M.D., Labiche, Y.: Assessing and improving state-based class testing: A series of experiments. IEEE Transactions on Software Engineering\u00a030(11), 770\u2013793 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/347324.348872","volume-title":"Proceedings of the 2000 International Symposium on Software Testing and Analysis","author":"J. Hartmann","year":"2000","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: Uml-based integration testing. In: Proceedings of the 2000 International Symposium on Software Testing and Analysis, pp. 60\u201370. ACM Press, New York (2000)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Souter","year":"2001","unstructured":"Souter, A., Wong, T., Shindo, S., Pollock, L.: TATOO: Testing and analysis tool for object-oriented software. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, Springer, Heidelberg (2001)"},{"issue":"1-2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.scico.2004.11.013","volume":"56","author":"A.M.R. Vincenzi","year":"2005","unstructured":"Vincenzi, A.M.R., Maldonado, J.C., Wong, W.E., Delamaro, M.E.: Coverage testing of Java programs and components. Science of Computer Programming\u00a056(1-2), 211\u2013230 (2005)","journal-title":"Science of Computer Programming"},{"key":"18_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/379605.379676","volume-title":"Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering","author":"D. Liang","year":"2001","unstructured":"Liang, D., Pennings, M., Harrold, M.J.: Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java. In: Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, pp. 73\u201379. ACM Press, New York (2001)"},{"key":"18_CR26","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/504282.504286","volume-title":"Proceedings of the 16th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications","author":"A. Rountev","year":"2001","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Points-to analysis for Java using annotated constraints. In: Proceedings of the 16th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, pp. 43\u201355. ACM Press, New York (2001)"},{"key":"18_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11688839_2","volume-title":"Compiler Construction","author":"A. Rountev","year":"2006","unstructured":"Rountev, A., Kagan, S., Marlowe, T.: Interprocedural dataflow analysis in the presence of large libraries. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol.\u00a03923, pp. 2\u201316. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78743-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:57Z","timestamp":1619508057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78743-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787426","9783540787433"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78743-3_18","relation":{},"subject":[]}}