|
|
Using
Coverage Effectiveness to Evaluate Test Suite Prioritizations.
Gregory M. Kapfhammer and Mary Lou Soffa.
In the Proceedings of the ACM
International Workshop on Empirical Assessment of Software Engineering
Languages and Technologies, Atlanta,
Georgia,
November 2007.
|
|
Efficient
Time-Aware Prioritization with Knapsack Solvers.
Sara Alspaugh, Kristen R. Walcott, Michael Belanich,
Gregory M. Kapfhammer, and Mary Lou Soffa.
In the Proceedings of the ACM
International Workshop on Empirical Assessment of Software Engineering
Languages and Technologies, Atlanta,
Georgia,
November 2007.
|
|
Program Representations for
Testing Wireless Sensor Network Applications
Nguyet T.M. Nguyen, Mary Lou Soffa
DOSTA’07, Workshop on Domain Specific Approaches to
Software Test Automation, in conjunction with the 6th ESEC./FSE
conference, September, 2007
|
|
Refining Buffer Overflow Detection via
Path Sensitive, Demand Driven Analysis
Wei Le and Mary Lou Soffa
PASTE, June 14, 2007
|
|
Reducing
Exit Stub Memory Consumption in Code Caches
Apala Guha, Kim Hazelwood, Mary Lou Soffa, International Symposium on High
Performance Embedded Architectures and Compilers (HiPEAC), Ghent, Belgium,
Jan. 2007, pg. 87-101.
|
|
Virtual Execution Environments:
Support and Tools
Apala, Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min
Zhao, Shukang Zhou, Bruce Childers, Jack Davidson, Kim Hazelwood, and Mary
Lou Soffa, NSF Next Generation
Software Workshop held in conjunction with the International Parallel and
Distributed Processing Symposium, Long Beach, CA, March, 2007.
|
|
Profit-driven
Scalar Optimization
Min Zhao, Bruce R. Childers, and Mary Lou Soffa “
ACM Transactions on Architecture and Compiler
Optimization,
Vol. 3, No. 3, September, 2006.
|
|
“Catching and Identifying Bugs in
Register Allocation,”
Yuqiang Huang, Bruce R. Childers, and Mary Lou Soffa,
Symposium on Static Analysis, Korea,
August 28-30, 2006.
|
|
“Time-Aware Test Suite Prioritization,”
Kristen R. Walcott, Mary Lou
Soffa, Gregory M. Kapfhammer, and Robert S. Roos,
ACM SIGSOFT/SIGPLAN International Symposium on
Software Testing and Analysis, Portland, Maine,
July 2006.
|
|
“Techniques and Tools for Dynamic Optimization,”
Jason D. Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers,
Jack W. Davidson, and Mary Lou Soffa,
NSF Next Generation Software Workshop, during the International Parallel
and Distributed Processing Symposium (NSFNGS '06). Rhodes Island, Greece,
April 2006
|
|
“Dimension:
An Instrumentation Tool for Virtual Execution Environments.”
|Jing Yang, Shukang Zhou, and Mary Lou Soffa,
Second International
Conference on Virtual Execution Environments (VEE '06). Ottawa, Canada,
June 14, 2006
|
|
“Testing
in Resource Constrained Execution Environments,”
Gregory M. Kapfhammer, Mary Lou Soffa and
Daniel Mosse,
ACM/IEEE International Conference
on Automated Software Engineering, Long Beach, California,
November 7, 2005
|
|
“Planning for Code Buffer Management in
Distributed Virtual Execution Environments,”
Shukang Zhou, Bruce R. Childers and Mary Lou Soffa,
ACM/USENIX Virtual Execution Environments Conference (VEE'05), Chicago, Illinois,
June 2005.
|
|
“Demand-Driven Structural Testing with Dynamic Instrumentation,”
Jonathan Misurda, James Clause, Juliya L. Reed, Bruce Childers and Mary Lou
Soffa
ACM SIGSOFT Int'l. Conference on Software Engineering (ICSE'05), St. Louis, Missouri,
June 2005.
|
|
“Low Overhead
Program Monitoring and Profiling,”
Naveen Kumar, Bruce R. Childers
and Mary Lou Soffa,
ACM SIGPLAN/SIGSOFT Workshop on
Program Analysis for Software Tools and Engineering (PASTE'05), Lisbon, Portugal,
September 5, 2005
|
|
“TDB: A Source-Level Debugger for
Dynamically Translated Programs,”
Naveen Kumar, Bruce R. Childers and Mary Lou Soffa,
ACM SIGPLAN/SIGSOFT Sixth
Int'l. Symposium on Automated and Analysis-Driven Debugging (AADEBUG'05),
Monterey, California, September 19-21, 2005.
|
|
Compile-time Planning for Overhead Reduction in
Software Dynamic Translators
Naveen Kumar,
Bruce R. Childers, Dan Williams, Jack W. Davidson, and Mary Lou Soffa,
”International
Journal on Parallel Programming, Vol. 33, Nos. 2-3, June 2005.
|
|
Jazz: A Tool for Demand-Driven
Structural Testing
J Misurda, J Clause, J L Reed, P Gandra, B R Childers, M L Soffa
14th ETAPS International Conference on Compiler Construction (CC'05),
Edinburgh, Scotland, April 2005.
|
|
A
Model-based Framework: An Approach for Profit-driven Optimization
Min Zhao, Bruce R.
Childers, and Mary Lou Soffa
ACM SIGMICRO Int'l. Conference on Code Generation and Optimization
(CGO'05), San Jose, California, March 2005.
|
|
“The
Impact of Software Engineering Research on Modern Programming Languages,”
Barbara Ryder,
Mary Lou Soffa, and Margaret Burnett,
ACM Transactions
on Software Engineering, Volume 14, Number 4, pg. 431-477, October,
2005
|
|
“Compile-time
Planning for Overhead Reduction in Software Dynamic Translators,”
N.
Kumar, B. R. Childers, D. Williams, J. W. Davidson and M.L. Soffa,
International
Journal on Parallel Programming, Col
33, No 2-3, pp. 103-114, June 2005
|
|
“Instrumentation
in Software Dynamic Translators for Self-Managed Systems"
Naveen Kumar, Jonathan Misurda, Bruce
Childers and Mary Lou Soffa Proceedings of the Workshop on Self-Managed Systems
(WOSS'04), collocated with Foundations of Software Engineering, 2004.
|
|
“Overhead Reduction Techniques for Software Dynamic
Translation”
Kevin Scott, Naveen Kumar, Bruce R. Childers, Jack W. Davidson
and Mary Lou Soffa
NSF Next Generation Software
Workshop, collocated with Int'l. Parallel and Distributed
Processing Symposium, April 2004
|
|
“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.
|
|