Analysis and Testing Papers
Analysis and Testing Papers"Approaches to Specification-Based Testing", by Debra J. Richardson, Owen O'Malley and Cindy Tittle in Proceedings of the Third ACM SIGSOFT Symposium on Software Testing, Analysis and Verification, pages 86-96, Keywest, December 1989. Abstract
"A Flexible Architecture for Building Data Flow Analyzers", by Matthew B. Dwyer and Lori A. Clarke in Technical Report 94-082, Department of Computer Science, University of Massachusetts at Amherst, 1994. Abstract
"Developing and Integrating ProDAG in the Arcadia Environment", by Debra J. Richardson, T. Owen O'Malley, Cindy Tittle Moore and Stephanie Lief Aha in Proceedings of ACM SIGSOFT Fifth Symposium on Software Development Environments, pages 109-119, Tyson's Corner, VA, December 1992. Abstract
"An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection," by Debra J. Richardson and Margaret C. Thompson in IEEE Transactions on Software Engineering, SE-19(5):327-344, May 1993. Abstract
"The RELAY Model of Error Detection and its Application," by Debra J. Richardson and Margaret. C. Thompson in Proceeding of the Second Workshop on Testing, Verification and Analysis, Banff Canada, July 1986. Abstract
"Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study", by Wei Jen Yeh and Michal Young in Technical Report TR-148-P, Software Engineering Research Center, 1398 Computer Sciences, Purdue University, West Lafayette, IN 47907-1398, December 1993. (To appear in Journal of Software Testing, Verification, and Reliability, December 1994) Abstract
"Controlling State Explosion in Reachability Analysis", by Wei Jen Yeh in PhD thesis, Purdue University, Department of Computer Sciences, West Lafayette, IN 47907-1398, December 1993. Abstract
"Graph Models for Reachability Analysis of Concurrent Programs", by Mauro Pezz`e, Richard N. Taylor, and Michal Young in Technical Report TR-92-27, Department of Information and Computer Science, University of California, Irvine, CA 92171-3425, January 1992. Abstract
"A Concurrency Analysis Tool Suite for Ada Programs: Design, Rationale, and Preliminary Experience ", by Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, and Debra Brodbeck in Technical Report TR-128-P, Software Engineering Research Center, 1398 Computer Sciences, Purdue University, West Lafayette, IN 47907-1398, November 1994. (To appear in ACM Transactions on Software Engineering and Methodology) Abstract
"Data Flow Analysis for Verifying Properties of Concurrent Programs", by Matthew B. Dwyer and Lori A. Clarke in Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, LA, December 1994, pp. 62-75. Abstract
"A Compact Petri Net Representation for Concurrent Programs", by Matthew B. Dwyer, Lori A. Clarke and Kari A. Nies in Technical Report 94-046, Department of Computer Science, University of Massachusetts at Amherst, 1994. (To appear in Proceedings of the Seventeenth International Conference on Software Engineering, April 24-28, 1995, Seattle WA) Abstract
"Automated Analysis of Concurrent and Real-time Software", by George S. Avrunin and Jack C. Wileden in Technical Report 90-118, Department of Computer Science, University of Massachusetts at Amherst, 1990. Abstract
"Automatic Generation of Inequality Systems for Constrained Expression Analysis", by George S. Avrunin Ugo Buy and James Corbett in Technical Report 90-032, Department of Computer Science, University of Massachusetts at Amherst, 1990. Abstract
"Integrating Testing Techniques with Process Programming," by Debra J. Richardson, Stephanie Leif Aha, and Leon J. Osterweil in Proceedings of the ACM SIGSoft 89: Third Symposium on Software Testing, Analysis and Verification, pages 219-228, Keywest, December 1989. Abstract
"TEAM: A Support Environment for Testing, Evaluation, and Analysis," by Lori A. Clarke, Debra J. Richardson, and Steven J. Zeil in Proceeding of the ACM SIGSOFT '88: Third Symposium on Practical Software Development Environments, pages 153-162, Boston, November 1988. Abstract
"Rethinking the Taxonomy of Software Fault Detection Techniques", by Michal Young and Richard N. Taylor in Proceedings of the Eleventh International Conference on Software Engineering, pages 53-62, Pittsburgh, PA, May 1989. Abstract
"Automated Construction of Testing and Analysis Tools", by Premkumar T. Devanbu, David S. Rosenblum, and Alexander L. Wolf in Proceedings of the 16th International Conference on Software Engineering (ICSE16), pages 241-250, Sorrento, Italy, May 1994. Abstract