My principal research interests are: software engineering methodology and tools; software testing and analysis; software reliability engineering; and software security. I am especially interested in the use of data mining, machine learning, and statistical techniques in combination with static and dynamic analysis techniques to find software defects and security vulnerabilities and to improve software quality. I also do joint research with Professor Sharona Hoffman of the Case School of Law on security of electronic personal health information and regulation of health information systems.
Augustine, V. and Podgurski, A. Corroborating User Assessments of Software Behavior to Facilitate Operational Testing. To appear in 2007 International Symposium on Software Reliability Engineering (Trollhättan, Sweden, Nov. 2007).
Chang, R.Y. and Podgurski, A. Finding What’s Not There: A New Approach to Revealing Neglected Conditions in Software. 2007 International Symposium on Software Testing and Analysis (London, July 2007), pp. 163-173. *WINNER OF BEST PAPER AWARD*
Masri, W., Nahas, N., and Podgurski, A. Memoized forward computation of dynamic slices. 2006 International Symposium on Software Reliability Engineering (Raleigh, NC, November 2006), pp. 23-32.
Masri, W. and Podgurski, A. An empirical study of the strength of information flows in programs. 2006 Workshop on Dynamic Analysis – WODA 2006 (Shanghai, China, May 2006), pp. 73-80.
Leon, D., Podgurski, A., and Dickinson, W. Visualizing similarity between program executions. 2005 International Symposium on Software Reliability Engineering (Chicago, IL, November 2005), pp. 311-321.
Leon, D., Masri, W., and Podgurski, A. An empirical evaluation of test case filtering techniques based on exercising complex information flows. 2005 International Conference on Software Engineering (St. Louis, MO, May 2005), pp. 412-421.
Masri, W. and Podgurski, A. Using dynamic information flow analysis to detect attacks against applications. 2005 Workshop on Software Engineering for Secure Systems (St. Louis, MO, May 2005), pp. 1-7.
Francis, P., Leon, D., Minch, M., and Podgurski, A. Tree-Based Methods for Classifying Software Failures. 2004 International Symposium on Software Reliability Engineering (St. Malo, France, November 2004), pp. 451-462.
Masri, W., Podgurski, A., and Leon, D. Detecting and Debugging Insecure Information Flows. 2004 International Symposium on Software Reliability Engineering (St. Malo, France, November 2004), pp. 198-209.
Raghavan, S., Rohanna, R., Leon, D., Podgurski, A., and Augustine, V. Dex: A Semantic Graph Differencing Tool for Studying Changes in Large Code Bases. 2004 International Conference on Software Maintenance (Chicago, IL, September 2004), pp. 188-197.
Leon, D. and Podgurski, A. A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases. 14th IEEE International Symposium on Software Reliability Engineering ISSRE 2003 (Denver, CO, November 2003), pp. 442-456.
Podgurski, A., Leon, D., Francis, P., Masri, W., Minch, M., Sun, J. and Wang, B. Automated support for classifying software failure reports. 25th International Conference on Software Engineering (Portland, OR, May 2003), pp. 465-475.
Dickinson, W., Leon, D., and Podgurski, A. Pursuing Failure: The Distribution of Failures in a Profile Space. 2001 International Symposium on Foundations of Software Engineering (Vienna, Austria, September 2001), pp. 246-255.
Dickinson, W., Leon, D., and Podgurski, A. Finding Failures by Cluster Analysis of Execution Profiles. 2001 International Conference on Software Engineering (Toronto, May 2001), pp. 339-348.
Lambert, J. and Podgurski, A. xdProf: A Tool for the Capture and Analysis of Stack Traces in a Distributed Java System. SPIE Java/Jini Technologies (Denver, Colorado, August 2001), pp. 96-105.
Steven, J., Chandra, B., Fleck, B., and Podgurski, A. jRapture: A Capture/Replay Tool for Observation-Based Testing. 2000 International Symposium on Software Testing and Analysis (Portland, Oregon, August 2000), pp. 158-167.
Leon, D., Podgurski, A., and White, L.J. Multivariate Vizualization in Observation-Based Testing. 22nd International Conference on Software Engineering (Limerick, Ireland, June 2000), pp. 116-125.
Newman, W.S., Branicky, M.S., Podgurski, A., Chhatpar, S., Huang, L., Swaminathan, J., and Zhang, H. Force-Responsive Robotic Assembly of Transmission Components. 1999 IEEE International Conference on Robotics and Automation (Detroit, Michigan, May 1999), pp. 2096-2102.
Barendt, N., Merat, F., Podgurski, A., and Blanchard, E. A Distributed, Object-Oriented Architecture for Platform-Independent Machine Vision. Sixth IASTED International Conference on Robotics and Automation (Banff, Alberta, Canada, July 1998), pp. 56-61.
Newman, W. S., Merat, F. L., Branicky, M. S., Velasco, V. B., Barendt, N. A., Podgurski, A., Kim, Y., Jo, J., Quinn, R. D., CAusey, G. C. Technologies for Robust Agile Manufacturing. Sixth IASTED International Conference on Robotics and Automation (Banff, Alberta, Canada, July 1998), pp. 56-61.
Jo, J., Kim, Y., Podgurski, A., and Newman, W.S. A New Role of Graphical Simulation: Software Testing. 30th Annual Simulation Symposium (Atlanta, GA, 1997), pp. 216-225.
Jo, J., Kim, Y., Podgurski, A., and Newman, W.S. Virtual Testing of Agile Manufacturing Software Using 3D Graphical Simulation. 1997 IEEE International Conference on Robotics and Automation (Albuquerque, NM), pp. 1223-1228.
Kim, Y., Jo, J., Velasco, V.B., Barendt, N.A., Podgurski, A., Ozsoyoglu, G., and Merat, F.L. A Flexible Software Architecture for Agile Manufacturing. 1997 IEEE International Conference on Robotics and Automation (Albuquerque, NM), pp. 3043-3047.
Merat, F.L., Barendt, N.A., Quinn, R.D., Causey, G.C., Newman, W.S., Velasco, V.B., Ozsoyoglu, G., Podgurski, A., Kim, Y.H., and Jo, J. Advances in Agile Manufacturing. 1997 IEEE International Conference on Robotics and Automation (Albuquerque, NM), pp. 1216-1222.
Podgurski, A. and Weyuker, E.J. Re-estimation of Software Reliability After Maintenance. 1997 International Conference on Software Engineering (Boston, MA), pp. 79-85.
Quinn, R.D., Causey, G.C., Merat, F.L., Sargent, D.M., Barendt, N.A., Newman, W.S., Velasco, V.B., Podgurski, A., Jo, J., Sterling, L.S., and Kim, Y.H. Design of an Agile Manufacturing Workcell for Light Mechanical Applications. 1996 IEEE Intl. Conference on Robotics and Automation (Minneapolis, MN), pp. 858-863.
Podgurski, A., Yang, C., and Masri, W. Partition Testing, Stratified Sampling, and Cluster Analysis. ACM SIGSOFT ‘93 Symposium on Foundations of Software Engineering (Los Angeles, December 1993), pp. 11-20.
Podgurski, A. and Pierce, L. Behavior Sampling: A New Technique for Automated Retrieval of Reusable Components. 14th International Conference on Software Engineering (Melbourne, May 1992), pp. 349-360.
Podgurski, A. Reliability, Sampling, and Algorithmic Randomness. Fourth Symposium on Testing, Analysis, and Verification (Victoria, British Columbia, October 1991), pp. 169-181.
Podgurski, A. and Clarke, L.A. The Implications of Program Dependences for Software Testing, Debugging, and Maintenance. ACM SIGSOFT ‘89 Third Symposium on Testing, Analysis, and Verification (Key West, Florida, December 1989), pp. 168-178.
Clarke, L.A., Podgurski, A., Richardson, D.J., and Zeil, S.J. An Investigation of Data Flow Path Selection Criteria. Workshop on Software Testing (Banff, Alberta, July 1986), pp. 23-32.
Clarke, L.A., Podgurski, A., Richardson, D.J., and Zeil, S.J. A Comparison of Data Flow Path Selection Criteria. Eighth International Conference on Software Engineering (London, August, 1985), pp. 244-251.
Masri. W. and Podgurski, A, and Leon, D. An Empirical Study of Test Case Filtering Techniques Based On Exercising Information Flows. IEEE Transactions on Software Engineering Vol. 33, No. 7, July 2007, pp. 454-477.
Hoffman, S. and Podgurski, A. In sickness, health, and cyberspace: protecting the security of electronic private health information. Boston College Law Review, Vol. 48, No. 2, March 2007, p. 331.
Hoffman, S. and Podgurski, A. Securing the HIPAA security rule. Journal of Internet Law, Spring 2007.
Newman, W. S., Podgurski, A., Quinn, R.D., Merat, F.L., Branicky, M.S., Barendt, N.A., Causey, G.C., Haaser, E.L., Kim, Y., Swaminathan, J., and Velasco, V.B. Design Lessons for Building Agile Manufacturing Systems. IEEE Transactions on Robotics and Automation, Vol. 16, No. 3, June 2000, pp. 228-238.
Podgurski, A., Masri, W., McCleese, Y., Wolff, F.G., and Yang, C. Estimation of Software Reliability by Stratified Sampling. ACM Transactions on Software Engineering & Methodology, Vol. 8, No. 3, (July 1999), pp. 263-283.
Quinn, R.D., Causey, G.C., Merat F.L., Sargent, D.M., Barendt, N.A., Newman, W.S., Velasco, V.B., Jr., Podgurski, A., Jo, J., Sterling, L.S., and Kim, Y. An Agile Manufacturing Workcell Design. IIE Transactions on Design and Manufacturing, Vol. 29, No. 10, 1997, pp. 901-909.
Podgurski, A. and Pierce, L. Retrieving Reusable Software by Sampling Behavior. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 3 (July 1993), pp. 286-303.
Podgurski, A, and Clarke, L.A. A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance. IEEE Transactions of Software Engineering, Vol. 16, No. 9 (September 1990), pp. 965-979.
Clarke, L.A., Podgurski, A., Richardson, D.J., and Zeil, S.J. A Formal Evaluation of Data Flow Path Selection Criteria. IEEE Transactions of Software Engineering, Vol. 15, No. 11 (November 1989), pp. 1318-1332.