|
|
|
“Predicting
the impact of optimizations for embedded systems"
Min Zhao, Bruce R. Childers, and Mary Lou Soffa
ACM SIGPLAN Symposium on Languages, Compilers, and Tools for Embedded Systems,
San Diego, California, June 2003
|
|
“A
Family of Test Adequacy Criteria for Database-Driven Applications,”
G. Kapfhammer and Mary Lou Soffa,
ACM SIGSOFT Foundations of Software Engineering Conference, Sept.
2003, selected as a Distinguished Paper
|
|
“Regression
Testing of GUIs,”
A. Memon and M. L. Soffa
ACM SIGSOFT
Foundations of Software Engineering Conference, Sept. 2003.
|
|
“The
limits of speculative trace reuse on deeply pipelined processors"
M. L. Pilla, P. O. A. Navaux, A. T. da Costa, F. M. G. Franca, B. R.
Childers and M. L. Soffa
The 15th Symposium on Computer Architecture and High Performance Computing,
Sao Paulo/SP, Brazil, November 2003
|
|
"SoftTest:
A framework for software testing of Java programs"
B. R. Childers, M. L. Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane,
J. Litman, and J. Misurda
Eclipse Technology Exchange (eTX) Workshop, during the ACM SIGPLAN Conf. on
Object-Oriented Programming, Systems, Languages, and Applications, October
27, 2003.
An earlier version is available as Computer Science Department, University of Pittsburgh, Technical Report
TR-03-103, August 2003.
|
|
“Gender and Race in
Predicting Achievement in Computer Science,”
S. Katz, D. Allbritton,
J. Aronis, C.Wilson, and M.L. Soffa,
IEEE Technology and
Society, Special Issue on Women and Minorities in Information Technology, Volume 22, 3, 20-27, 2003
|
|
"Continuous compilation: A new approach to aggressive
and adaptive code transformation"
Bruce Childers, Jack Davidson, and Mary Lou Soffa
NSF Next Generation Software Workshop, during the
International Parallel and Distributed Processing Symposium (IPDPS), Nice, France,
April 2003
|
|
Retargetable
and Reconfigurable Software Dynamic Translation"
K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson, and M. L.
Soffa,
Int'l. Conf. on Code Generation and
Optimization, San Francisco,
California, March 2003
|
|
“An
Experiment to Identify Predictors of Achievement in an Introductory
Computer Science Course”
S. Katz, J. Aronis, D.
Allbritton, C. Wilson and M.L. Soffa,
ACM Conference on Computer Personnel
Research, 2003.
|
|
“Shortchanging the Future of Information
Technology: The Untapped Resource,”
Balcita, D. Carver, M.L. Soffa,
ACM SIGCSE Inroads, Special Issue on Women and
Computing, June 2002.
|
|
''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 Conference/SIGSOFT Foundations of Software Engineering
Conference, Vienna, Austria,
Sept. 2001.
|
|
A. Memon, M. Pollack,
and M. L. Soffa, "Hierarchical GUI Test-Case Generation Using
Automated Planning," IEEE Transactions on Software
Engineering, Vol. 27, No. 2, pages 144-155, February 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.
|
|
''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.
|
|
