This page is maintained for archival purposes only. For current information please visit http://prolangs.cs.vt.edu/.

This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
  1. Weilei Zhang and Barbara G. Ryder, "Automatic construction of accurate application call graph with library call abstraction for java", Journal of Software Maintenance and Evolution: Research and Practice, Volume 19, Number 4, Pages 231-252, August, 2007.

    URL: http://www3.interscience.wiley.com/cgi-bin/abstract/114297201/ABSTRACT

    Note: © Copyright 2007 John Wiley & Sons .

  2. Bruno Dufour and Barbara G. Ryder and Gary Sevitsky, "Blended Analysis for Performance Understanding of Framework-based Applications", Proceedings of the 2007 ACM SIGSOFT international symposium on Software testing and analysis(ISSTA 2007), July, 2007.

    URL: http://portal.acm.org/citation.cfm?id=1273480

    Note: © Copyright 2007 ACM.

  3. Weilei Zhang and Barbara G. Ryder, "Discovering accurate interclass test dependences", Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007), Pages 55-62, June, 2007.

    URL: http://portal.acm.org/citation.cfm?id=1251545

    Note: © Copyright 2007 ACM .

  4. Chen Fu and Barbara G. Ryder, "Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications", icse, May, 2007.

    URL: http://portal.acm.org/citation.cfm?id=1248820.1248856

    Note: © Copyright 2007 IEEE Computer Society .

  5. Weilei Zhang and Barbara G. Ryder, "Constructing Accurate Application Call Graphs for Java to Model Library Callbacks", Proceedings of the 6th International Workshop on Source Code Analysis and Manipulation, September, 2006.

    URL: http://portal.acm.org/citation.cfm?id=1174128

    Note: © Copyright 2006 IEEE Computer Society .

  6. Chen Fu and Barbara G. Ryder, "Exception-chain Analysis: Revealing Exception Handling Architecture in Java Server Applications", Number DCS-TR-599, March, 2006.

    URL: docs/ecchain.pdf

  7. Weilei Zhang and Barbara G. Ryder, "A Semantics-Based Definition for Interclass Test Dependence", Number DCS-TR-597, January, 2006.

    URL: docs/dcs-tr-597.pdf

  8. Ana Milanova and Barbara G. Ryder, "Annotated Inclusion Constraints for Precise Flow Analysis", Proceedings of the 21st International Conference on Software Maintenance(ICSM 2005), September, 2005.

    URL: http://portal.acm.org/citation.cfm?id=1090952.1091836

    Note: © Copyright 2005 IEEE Computer Society .

  9. Chen Fu and Barbara G. Ryder, "Testing and Understanding Error Recovery Code in Java Applications", Number DCS-TR-579, July, 2005.

    URL: ftp://ftp.cs.rutgers.edu/pub/technical-reports/dcs-tr-579.ps.Z

    Note: ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions.

  10. Weilei Zhang and Barbara G. Ryder, "A Practical Algorithm for Interclass Testing Dependence", Number DCS-TR-574, April, 2005.

    URL: ftp://ftp.cs.rutgers.edu/pub/technical-reports/dcs-tr-574.ps.Z

  11. Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott, "Robustness Testing of Java Server Applications", IEEE Transactions on Software Engineering, Volume 31, Number 4, Pages 292-312, April, 2005.

    URL: http://portal.acm.org/citation.cfm?id=1069598.1069768

    Note: Extended version of ISSTA 2004 paper solicited for journal publication..

  12. Ana Milanova, Atanas Rountev, Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to Analysis of Java", ACM Transactions on Software Engineering Methodology, Volume 14, Number 1, Pages 1-41, January, 2005.

    URL: http://portal.acm.org/citation.cfm?id=1044834.1044835

    Note: © Copyright 2004 ACM. Extended version of ISSTA 2002 paper solicited for journal publication..

  13. Chen Fu, Barbara Ryder, Ana Milanova, David Wonnacott, "Testing of Java Web Services for Robustness", Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis(ISSTA 2004), Pages 23-33, July, 2004.

    URL: http://portal.acm.org/citation.cfm?id=1013886.1007516

    Note: © Copyright 2004 ACM. Solicited for submission to special issue of IEEE Transactions on Software Engineering.

  14. Atanas Rountev, Ana Milanova and Barbara G. Ryder, "Fragment Class Analysis for Testing Polymorphism in Java Software", IEEE Transactions on Software Engineering, Volume 30, Number 6, Pages 372-387, June, 2004.

    URL: http://portal.acm.org/citation.cfm?id=998621

    Note: © Copyright 2004 IEEE, Extended version of ICSE 2003 paper solicited for special issue journal publication..

  15. Ana Milanova, "Precise and Practical Flow Analysis of Object-Oriented Software", Rutgers University, Ph.D. Thesis, August, 2003.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-539.ps.Z

    Note: Also available as DCS-TR-539.

  16. Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, and David G. Wonnacott, "Compiler Directed Program-fault Coverage for Highly Available Java Internet Services", 2003 International Conference on Dependable Systems and Networks (DSN 2003), Pages 595-604, June, 2003.

    URL: docs/dsn03.pdf

    Note: © Copyright 2003 IEEE.

  17. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Pages 210-220, May, 2003.

    URL: docs/icse03.pdf

    Note: © Copyright 2003 IEEE.

  18. B. G. Ryder, "Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages", Proceedings of the International Conference on Compiler Construction, Pages 126-137, April, 2003.

    URL: docs/cc03.pdf

    Note: © Copyright 2003 Springer-Verlag.

  19. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of International Conference on Software Maintenance (ICSM 2002), October, 2002.

    URL: docs/icsm02.ps

  20. Atanas Rountev, "Dataflow Analysis of Software Fragments", Rutgers University, Ph.D. Thesis, August, 2002.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-501.ps.Z

    Note: Also available as DCS-TR-501.

  21. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java", Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002), July, 2002.

    URL: docs/issta02.ps

    Note: © Copyright 2001 ACM.

  22. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Department of Computer Science, Rutgers University, Number DCS-TR-482, March, 2002.

    URL: docs/dcs-tr-482.ps

  23. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Using Annotated Constraints", Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), October, 2001.

    URL: docs/oopsla01.pdf

    Note: © Copyright 2001 ACM.

  24. Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Complexity of Points-to Analysis of Java in the Presence of Exceptions", IEEE Transactions on Software Engineering, Volume 27, Number 6, Pages 481-512, June, 2001.

    URL: docs/tse01.ps

    Note: The URL points to a preliminary version.

  25. Ramkrishna Chatterjee and Barbara G. Ryder, "Data-flow-based Testing of Object-Oriented Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-433, April, 2001.

    URL: docs/dcs-tr-433.ps

    Note: Earlier version available as DCS-TR-382.

  26. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Based on Annotated Constraints", Department of Computer Science, Rutgers University, Number DCS-TR-428, November, 2000.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-428.ps.Z

    Note: Supersedes DCS-TR-417.

  27. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, " Points-to Analysis for Java Using Annotated Inclusion Constraints", Department of Computer Science, Rutgers University, Number DCS-TR-417, July, 2000.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-417.ps.Z

  28. Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, and Nirav Shah, "A Static Study of Java Exceptions", Proceedings of the 9th International Conference on Compiler Construction (CC 2000), March, 2000.

    URL: docs/cc00.ps

    Note: © Copyright 2000 Springer-Verlag. Earlier version available as DCS-TR-403.

  29. Ramkrishna Chatterjee, "Modular Data-flow Analysis of Statically Typed Object-Oriented Programming Languages", Rutgers University, Ph.D. Thesis, October, 1999.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-406.ps.Z

    Note: Available as DCS-TR-406.

  30. Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, and Nirav Shah, "A Static Study of Java Exceptions using JESP", Department of Computer Science, Rutgers University, Number DCS-TR-403, October, 1999.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-403.ps.Z

  31. Ramkrishna Chatterjee and Barbara G. Ryder, "Data-flow-based Testing of Object-Oriented Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-382, March, 1999.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-382.ps.Z

  32. Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Relevant Context Inference", Proceedings of the 26th ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL'99), January, 1999.

    URL: docs/popl99.ps

    Note: © Copyright 1999 ACM. Longer version available as DCS-TR-360.

  33. R. Chatterjee, B. G. Ryder, and W. Landi, "Relevant Context Inference", Department of Computer Science, Rutgers University, Number DCS-TR-360, January, 1999.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-360.ps.Z

    Note: Longer version of the POPL'99 paper - more on exceptions, libraries, and testing.

  34. Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Complexity of Concrete Type-Inference in the Presence of Exceptions", Proceedings of the European Symposium on Programming (ESOP'98), LNCS 1381, April, 1998.

    URL: docs/esop98.ps

    Note: © Copyright 1998 Springer-Verlag. Longer version available as DCS-TR-341.

  35. R. Chatterjee and B. G Ryder, "Modular Concrete Type-Inference for Statically Typed Object-Oriented Programming Languages", Department of Computer Science, Rutgers University, Number DCS-TR-349, November, 1997.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-349.ps.Z

  36. R. Chatterjee, B. G. Ryder, and W. Landi, "Complexity of Concrete Type-Inference in the Presence of Exceptions", Department of Computer Science, Rutgers University, Number DCS-TR-341, September, 1997.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-341.ps.Z

    Note: Longer version of the ESOP'98 paper.

  37. R. Chatterjee and B. G. Ryder, "Scalable, Flow-Sensitive Type-Inference for Statically Typed Object-Oriented Programming Languages", Department of Computer Science, Rutgers University, Number DCS-TR-326, July, 1997.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-326.ps.Z

  38. Hemant Pande and Barbara G. Ryder, "Data-flow-based Virtual Function Resolution", Static Analysis: Third International Symposium (SAS'96), LNCS 1145, Pages 238-254, September, 1996.

    URL: docs/sas96.ps

    Note: © Copyright 1996 Springer-Verlag.

  39. Hemant D. Pande, "Compile Time Analysis of C and C++ Systems", Rutgers University, Ph.D. Thesis, May, 1996.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-260.ps.Z

    Note: Available as LCSR-TR-260.

  40. Hemant Pande and Barbara G. Ryder, "Static Type Determination and Aliasing for C++", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-250-A, October, 1995.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-250-a.ps.Z

  41. H. Pande and B. G. Ryder, "Static Type Determination and Aliasing for C++", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-236, December, 1994.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-236.ps.Z

  42. H. Pande and B. G. Ryder, "Static Type Determination for C++", Proceedings of the Sixth USENIX C++ Technical Conference, Pages 85-97, April, 1994.