Recent Publications
-
''Verifying
Optimizers Through Comparison Checking''
C. Jaramillo, R. Gupta and M.L. Soffa, International Workshop:
Compiler Optimization Meets Compiler Verification, Grenoble, Frace,
April, 2002.
-
``Coverage
Criteria for GUI Testing,''
A. Memon, M.L. Soffa, M. Pollack, European Software Engineering
Conferece/SIGSOFT Foundations of Software Engineering Conference, Vienna,
Austria, Sept. 2001.
-
``Using
Component Metadata to Support Regression Testing of Component-based Software,''
M.J. Harrold, A. Orso, D. Rosenblum, G. Rothemel, M.L. Soffa,
H. Do,
International Conference on Software Maitenance, November, 2001.
-
``Width
Sensitive Scheduling for Resource Contained VLIW processors,''
T. Nakra, B. Childers, and M.L.Soffa,
ACM Workshop on Feedback Directed and Dynamic Optimizations, Monterey,
Ca., Colocated with Micro33 Dec; 2001
``Automated
Test Oracles for GUIs,''
A. Memon, M. Pollack, and M.L. Soffa,
Eighth International Symposium on the Foundations of Software Engineering
(FSE2000) , San Diego, CA, Nov. 6-10, 2000.
``Generating
Test Data for Branch Coverage,''
Neelam Gupta, Aditya Mathur and Mary Lou Soffa,
15th IEEE International Conference on Automated Software Engineering
(ASE'2000) , Grenoble, France, September, 2000.
-
``FULLDOC:
A Full Reporting Debugger for Optimized Code,''
C. Jaramillo, R. Gupta, and M.L. Soffa,
International Static Analysis Symposium , LNCS, Springer Verlag,
Santa Barbara, CA, July, 2000.
-
``Plan Generation
for GUI Testing,''
A. Memon, M. Pollack, and M.L. Soffa
Fifth International Conference on Artificial Intelligence Planning
and Scheduling, Brackenridge, Co, April 14-19, 2000.
-
`UNA Based
Iterative Test Data Generation and its Evaluation,''
N. Gupta, A. Mathur, and M.L. Soffa,
Proceedings of the IEEE Automated Software Engineering Conference,
Oct.
12-15, 1999.
-
``Comparison
Checking: An Approach to Avoid Debugging of Optimized Code,''
Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa,
accepted by The Joint 7th European Software Engineenering Conference
(ESEC) and th ACM SIGSOFT
International Symposium on the Foundations of Software Engineering
(FSE),
Toulouse, France, Sept., 1999.
-
``Load-Reuse
Analysis: Design and Evaluation,''
R. Bodik, R. Gupta, and M.L. Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Atlanta, Georgia, May 1999.
-
``Value
Prediction in VLIW Machines,''
T. Nakra, R. Gupta, and M.L. Soffa,
ACM/IEEE 26th International Symposium on Computer Architecture,
Atlanta, Georgia, May 1999.
-
''Using a
Goal-driven Approach to Generate Test Cases for GUIs ''
Atif Memon, Martha Pollack, and Mary Lou Soffa,
International Conference on Software Engineering
Los Angeles, May 19-21, 1999.
-
``Global
Context-based Value Prediction,''
T. Nakra, R. Gupta, and M.L. Soffa,
Fifth International Symposium on High Performance Computer Architecture,
Orlando, Florida, January 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.
-
``Capturing
the Effects of Code Improving Transformations,''
C. Jaramillo, R. Gupta, and M.L. Soffa,
International Conference on Parallel Architectures and Compilation
Techniques,
Paris, France, October 1998.
-
``An Evaluation
of Integrated Scheduling and Register Allocation Techniques,''
D. Berson, R. Gupta, and M.L. Soffa,
Eleventh International Workshop on Languages and Compilers for Parallel
Computing,
LNCS, Springer Verlag, North Carolina, Chapel Hill, August 1998.
-
``Complete
Removal of Redundant Expressions,''
R. Bodik, R. Gupta and M.L. Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 1-14, Montreal, Canada, June 1998.
-
``Dataflow
Analysis Driven Dynamic Data Partitioning,''
J. Tims, R. Gupta, and M.L. Soffa,
Fourth Workshop on Languages, Compilers, and Run-time Systems for
Scalable Computers,
LNCS, Springer Verlag, Pittsburgh, PA, May 1998.
-
``A Practical
Framework for Demand-Driven Interprocedural Data Flow Analysis,''
E. Duesterwald, R. Gupta, and M.L. Soffa,
ACM Transactions on Programming Languages and Systems,
Vol. 19, No. 6, pages 992-1030, November 1997.
-
``An
Approach for Exploring Code Improving Transformations''
Deborah Whitfield and Mary Lou Soffa,
ACM Transactions on Programming Languages ,
Vol. 19, No. 6, pages 1053-1084, November, 1997.
-
``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.
-
``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.
-
``Interprocedural
Conditional Branch Elimination,''
R. Bodik, R. Gupta, and M.L. Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 146-158, Las Vegas, Nevada, June 1997.