Program Testing and Slicing

Automatic Test Case Generation

• ``UNA Based Iterative Test Data Generation and its Evaluation,''
  N. Gupta, A. Mathur, and M.L. Soffa,
  accepted to appear in Proceedings of the IEEE Automated Software Engineering Conference, Oct. 12-15, 1999.
  
  
• ``Automated Test Data Generation Using an Iterative Method ,''
  Neelam Gupta, Aditya Mathur and Mary Lou Soffa,
  Sixth ACM SIGSOFT Symposium on Foundations of Software Engineering ,
  November 2-5, Orlando, Fl. 1998.
  

Data Flow Testing

• ``Refining Data Flow Information using Infeasible Paths,''
  R. Bodik, R. Gupta, and M.L. Soffa,
  Fifth ACM SIGSOFT Symposium on Foundations of Software Engineering and Sixth European Software Engineering Conference,
  LNCS 1301, Springer Verlag, pages 361-377, Zurich, Switzerland, September 1997.
  
  
• ``Program Slicing-Based Regression Testing Techniques,''
  R. Gupta, M.J. Harrold, and M.L. Soffa,
  Journal of Software Testing, Verification and Reliability,
  Vol. 6, No. 2, pages 83-112, June 1996.
  
  
• ``A Demand-Driven Analyzer for Data Flow Testing at the Integration Level,''
  E. Duesterwald, R. Gupta, and M.L. Soffa,
  IEEE International Conference on Software Engineering,
  pages 575-586, Berlin, Germany, March 1996.
  
  
• ``Priority Based Data Flow Testing,''
  R. Gupta and M.L. Soffa,
  IEEE International Conference on Software Maintenance,
  pages 348-357, Nice, France, October 1995.
  
  
• ``A Framework for Partial Data Flow Analysis,''
  R. Gupta and M.L. Soffa,
  IEEE International Conference on Software Maintenance,
  Victoria, British Columbia, pages 4-13, September 1994.
  
  
• ``Rigorous Data Flow Testing through Output Influences,''
  E. Duesterwald, R. Gupta, and M.L. Soffa,
  The Second Irvine Software Symposium,
  pages 131-145, University of California, Irvine, California, March 1992.
  
  
• ``An Approach to Regression Testing using Slicing,''
  R. Gupta, M.J. Harrold, and M.L. Soffa,
  IEEE Internatinal Conference on Software Maintenance,
  Orlando, Florida, pages 299-308, November 1992.
  

Program Slicing

• ``Partial Dead Code Elimination using Slicing Transformations,''
  R. Bodik and R. Gupta,
  ACM SIGPLAN Conference on Programming Language Design and Implementation,
  pages 159-170, Las Vegas, Nevada, June 1997.
  
  
• ``Hybrid Slicing: Integrating Dynamic Information with Static Analysis,''
  R. Gupta, M.L. Soffa, and J.H. Howard
  ACM Transactions on Software Engineering and Methodology,
  Vol. 6, No. 4, pages 370-397, October 1997.
  
  
• ``Program Slicing-Based Regression Testing Techniques,''
  R. Gupta, M.J. Harrold, and M.L. Soffa,
  Journal of Software Testing, Verification and Reliability,
  Vol. 6, No. 2, pages 83-112, June 1996.
  
  
• ``Hybrid Slicing: An Approach for Refining Static Slices using Dynamic Information,''
  R. Gupta and M.L. Soffa,
  ACM SIGSOFT Third Symposium on the Foundations of Software Engineering,
  pages 29-40, Washington, DC, October 1995.
  
  
• ``Distributed Slicing and Partial Re-execution for Distributed Programs,''
  E. Duesterwald, R. Gupta, and M.L. Soffa,
  Fifth Workshop on Languages and Compilers for Parallel Computing,
  LNCS 757 Springer Verlag, pages 497-511, Yale University, New Haven, Connecticut, August 1992.
  
  
• ``Rigorous Data Flow Testing through Output Influences,''
  E. Duesterwald, R. Gupta, and M.L. Soffa,
  The Second Irvine Software Symposium,
  pages 131-145, University of California, Irvine, California, March 1992.
  
  
• ``An Approach to Regression Testing using Slicing,''
  R. Gupta, M.J. Harrold, and M.L. Soffa,
  IEEE Internatinal Conference on Software Maintenance,
  Orlando, Florida, pages 299-308, November 1992.
  

Test Suite Generation and Management

• ``Employing Static Information in the Generation of Test Cases,''
  R. Gupta and M.L. Soffa,
  Journal of Software Testing, Verification and Reliability,
  Vol. 3, No. 1, pages 29-48, December 1993.
  
• ``A Methodology for Controlling the Size of a Test Suite,''
  M.J. Harrold, R. Gupta, and M.L. Soffa,
  ACM Transactions on Software Engineering and Methodology,
  Vol. 2, No. 3, pages 270-285, July 1993.
  

For more information contact: soffa@cs.pitt.edu.