Browse

ftp://ftp.cs.purdue.edu (84)

	ftp://ftp.cs.purdue.edu/pub/reports/TR791.PS, 19880715 FLOWS: Performance Guarantees in Best Effort Delivery Systems Douglas Comer Rajendra Yavatkar Computer Science Department Purdue University West Lafayette, IN 47907 July 1, 1988
	ftp://ftp.cs.purdue.edu/pub/reports/TR758.PS, 19881114 A Congestion Filtering Scheme for Packet Switched Networks Douglas Comer Rajendra Yavatkar Computer Science Department Purdue University West Lafayette, IN 47907 CSD{TR{758 April 10, 1988
	ftp://ftp.cs.purdue.edu/pub/reports/TR985.PS.Z, 19911127 Computer Viruses\|A Form of Artificial Life Technical Report CSD-TR-985 Eugene H. Spafford Department of Computer Sciences Purdue University West Lafayette, IN 47907{1398 spaf@cs.purdue.edu September 19, 1991 This appears in Artificial Life II, SFI Studies in the Sciences of Complexity, vol. XII, Eds. D.
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR110P.PS.Z, 19920225 Software Forensics: Can We Track Code to its Authors Purdue Technical Report CSD{TR 92{010 SERC Technical Report SERC{TR 110{P Eugene H. Spafford Stephen A. Weeber Department of Computer Sciences Purdue University West Lafayette, IN 47907{1398 19 February 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR108P.PS.Z, 19920227 Effect of Testing Techniques on Software Reliability Estimates Obtained Using Time-Domain Models Mei-Hwa Chen, Aditya P. Mathur, and Vernon J. Rego Software Engineering Research Center Department of Computer Sciences Purdue University W. Lafayette, In 47907. February 26, 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/UFL/TR54F.PS.Z, 19920228 February 28, 1992 Describing Object Oriented Software: What Maintainers Need to Know Norman Wilde, Allen Chapman University of West Florida Paul Matthews, Ross Huitt Bell Communications Research Executive Summary Object-oriented software is structured differently than conventional software due to a
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR61P.PS.Z, 19920306 Integrated Concurrency Analysis in a Software Development Environment Michal Young Richard N. Taylor Kari Forester Debra Brodbeck ICS Department University of California Irvine, CA 92717
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR62P.PS.Z, 19920306 Rethinking the Taxonomy of Fault Detection Techniques Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University Richard N. Taylor Department of Information and Computer Science University of California, Irvine September 1991
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/concurrency_analysis/TR61P.PS.Z, 19920306 Integrated Concurrency Analysis in a Software Development Environment Michal Young Richard N. Taylor Kari Forester Debra Brodbeck ICS Department University of California Irvine, CA 92717
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/scheduling/TR100P.PS.Z, 19920306 Hybrid Online/Offline Scheduling for Hard Real-Time Systems Technical report SERC-TR-100-P Michal Young Lih-Chyun Shu Software Engineering Research Center Department of Computer Sciences Purdue University May 1991
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR36P.PS.Z, 19920323 The Use of Hypertext in Software Development Susan D. Stratton H. E. Dunsmore Software Engineering Research Center (SERC) Department of Computer Sciences Purdue University West Lafayette, Indiana 47907 SERC TR-36-P
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/metrics/TR74P.PS.Z, 19920323 Relating Design Metrics to Software Quality: Some Empirical Results Wayne Zage and Dolores Zage Ball State University
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/metrics/TR106P.PS.Z, 19920323 Evaluating Design Metrics On Large-Scale Software Wayne Zage, Dolores Zage, Patrick McDaniel Ball State University Irshad Khan Computer Sciences Corporation
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/metrics/TR97P.PS.Z, 19920323 The Design Metric Software Design Analyzer Wayne Zage, Dolores Zage and Steven Wagner Ball State University
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/metrics/TR109P.PS.Z, 19920420 DESIGN AND CODE METRICS THROUGH A DIANA-BASED TOOL Wayne M. Zage and Dolores M. Zage Computer Science Department, Ball State University Muncie, IN 47306, USA Manjari Bhargava and Dale J. Gaumer Magnavox Electronic Systems Co. Fort Wayne, IN 46808, USA Key Words - Design metrics, code metrics, quality
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR81P.PS.Z, 19920428 Compositional Reachability Analysis Using Process Algebra Wei Jen Yeh Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR103P.PS.Z, 19920612 TOWARDS AUTOMATIC DEBUGGING OF COMPUTER PROGRAMS A Thesis Submitted to the Faculty of Purdue University by Hiralal Agrawal In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy August 1991 ii ACKNOWLEDGMENTS First of all I would like to thank my advisor, Rich DeMillo, who
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/database/TR114P.PS.Z, 19920616 Reservable Transactions: An Approach for Reliable Multidatabase Transaction Management Ahmed K. Elmagarmid Jin Jing James G. Mullen Department of Computer Sciences Purdue University West Lafayette, IN 47907 Jamshid Sharif-Askary Harris Corporation P.O. Box 430 Melbourne, FL 32902 Keywords: multidatabase
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/metrics/TR115P.PS.Z, 19920616 A Design Metric Evaluation of COBOL to Ada Code Conversion Wayne M. Zage, Dolores M. Zage and Marcia Franck Computer Science Department Ball State University Muncie, IN 47306
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR113P.PS.Z, 19920616 On the Impossibility of Atomic Commitment in Multidatabase Systems James G. Mullen Ahmed K. Elmagarmid Department of Computer Sciences Purdue University West Lafayette, IN 47907 Won Kim UniSQL, Inc. 9390 Research Blvd. Austin, TX 78759 Jamshid Sharif-Askary Harris Corporation P.O. Box 430 Melbourne, FL
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/database/TR113P.PS.Z, 19920616 On the Impossibility of Atomic Commitment in Multidatabase Systems James G. Mullen Ahmed K. Elmagarmid Department of Computer Sciences Purdue University West Lafayette, IN 47907 Won Kim UniSQL, Inc. 9390 Research Blvd. Austin, TX 78759 Jamshid Sharif-Askary Harris Corporation P.O. Box 430 Melbourne, FL
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/database/TR112P.PS.Z, 19920617 InterBase: An Execution Environment for Global Applications over Distributed, Autonomous, and Heterogeneous Software Systems Ahmed K. Elmagarmid and Jiansan Chen Department of Computer Sciences Purdue University West Lafayette, IN 47907 fake, jcheng@cs.purdue.edu Weimin Du Database Technology Department
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR118P.PS.Z, 19920720 COMPILER-INTEGRATED SOFTWARE TESTING A Thesis Submitted to the Faculty of Purdue University by Edward William Krauser Jr. In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy December 1991 ii To my family iii ACKNOWLEDGMENTS I would first like to thank my advisor, Rich
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR117P.PS.Z, 19920720 A. P. Mathur, On the Relative Strengths of Data Flow and Mutation Testing," Proceedings of the Ninth Annual Pacific Northwest Software Quality Conference, October 7-8, 1991, Portland, OR (to appear). J. D. Musa, A. Iannino, and K. Okumoto, Software Reliability: Measurement, Prediction,
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR116P.PS.Z, 19920814 Heuristics for Automatic Localization of Software Faults Technical Report SERC-TR-116-P Hsin Pan Eugene H. Spafford Software Engineering Research Center 1398 Computer Sciences Building Purdue University West Lafayette, IN 47907 1398 fpan, spafg@cs.purdue.edu July 29, 1992 Keywords: software testing,
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR105P.PS.Z, 19920814 Debugging with Dynamic Instrumentation and Test-Based Knowledge Ph.D Thesis Proposal Technical Report SERC-TR-105-P Hsin Pan Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907{2004 September 27, 1991
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR22P.PS.Z, 19920825 An Execution Backtracking Approach to Program Debugging Technical Report SERC-TR-22-P Hiralal Agrawal Richard A. DeMillo Eugene H. Spafford y Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907 1398
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR80P.PS.Z, 19920825 Efficient Debugging with Slicing and Backtracking SERC-TR-80-P Hiralal Agrawal Richard A. DeMillo Eugene H. Spafford Software Engineering Research Center Department of Computer Sciences Purdue University W. Lafayette, IN 47907-2004
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR93P.PS.Z, 19920825 Dynamic Slicing in the Presence of Unconstrained Pointers Technical Report SERC-TR-93-P Hiralal Agrawal Richard A. DeMillo Eugene H. Spafford Software Engineering Research Center Department of Computer Sciences Purdue University W. Lafayette, IN 47907{2004 debug@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR21P.PS.Z, 19920825 Extending Mutation Testing to Find Environmental Bugs* Technical Report SERC-TR-21-P Eugene H. Spafford Software Engineering Research Center Department of Computer Sciences Purdue University W. Lafayette, IN 47907-1398 spaf@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR63P.PS.Z, 19920825 An Experimental Approach to Statistical Mutation-Based Testing1 SERC TR{63{P William Hsu Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, Indiana 47907 (317) 494-7812 hsu@cs.purdue.edu Mehmet Sahinoglu2 Department of Statistics Purdue University West
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR121P.PS.Z, 19920826 Coupling the User Interfaces of a Multi-User Program PRASUN DEWAN RAJIV CHOUDHARY Purdue University 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 We have developed a new model for coupling the user-interfaces of a multi-user program. It is based on a
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR79P.PS.Z, 19920826 Sequential Statistical Procedures for Approving Test Sets Using Mutation-Based Software Testing SERC TR{79{P Mehmet S. ahino>=glu y Department of Statistics Mathematical Sciences Building Purdue University West Lafayette, Indiana 47907 xnse@vm.cc.purdue.edu Eugene H. Spafford Software Engineering
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/database/TR119P.PS.Z, 19920827 The InterBase Parallel Language: Supporting Distributed Transaction Applications Jiansan Chen and Ahmed K. Elmagarmid and Omran Bukhres Department of Computer Sciences Purdue University West Lafayette, IN 47907 fjchen, ake, bukhresg@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR119P.PS.Z, 19920827 The InterBase Parallel Language: Supporting Distributed Transaction Applications Jiansan Chen and Ahmed K. Elmagarmid and Omran Bukhres Department of Computer Sciences Purdue University West Lafayette, IN 47907 fjchen, ake, bukhresg@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/database/TR127P.PS.Z, 19921105 An Overview of the InterBase System O. Bukhres, J. Chen, W. Du , A. K. Elmagarmid, and R. Pezzoliy Computer Sciences Department Purdue University West Lafayette, IN 47907 fake, jchen, bukhresg@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR127P.PS.Z, 19921105 An Overview of the InterBase System O. Bukhres, J. Chen, W. Du , A. K. Elmagarmid, and R. Pezzoliy Computer Sciences Department Purdue University West Lafayette, IN 47907 fake, jchen, bukhresg@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR120P.PS.Z, 19921230 Experimental Designs: Testing a Debugging Oracle Assistant SERC-TR-120-P Eugene H. Spafford Chonchanok Viravan Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907 1398 (317) 494 7825 fspaf, viravang@cs.purdue.edu December 18, 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR108P.PS.Z, 19921230 Effect of Testing Techniques on Software Reliability Estimates Obtained Using Time-Domain Models Mei-Hwa Chen, Aditya P. Mathur, and Vernon J. Rego Software Engineering Research Center Department of Computer Sciences Purdue University W. Lafayette, In 47907. December 4, 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR117P.PS.Z, 19921230 A Time/Structure Based Model for Estimating Software Reliability Mei-Hwa Chen Joseph R. Horgan Aditya P. Mathur Vernon J. Rego December 4, 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR104P.PS.Z, 19921230 Fault Investigation and Trial Ph.D. Thesis Proposal SERC-TR-104-P Chonchanok Viravan Department of Computer Sciences Purdue University West Lafayette, IN 47907{1398 October 15, 1991
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR129P.PS.Z, 19930323 Size Prediction for Pascal Programs Christopher J. Lokan Department of Computer Science University College, UNSW Australian Defence Force Academy Canberra, Australia Samuel D. Conte Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, Indiana 47907 Cost
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/database/TR126P.PS.Z, 19930323 The InterBaseView Graphical User Interface Xiangning Liu Jiansan Chen Department of Computer Sciences Purdue University West Lafayette, IN 47907 E-mail: fxl,jcheng@cs.purdue.edu Rob Pezzoli BNR Inc. 35 Davis Drive RTP, NC 27709-3478 robp@bnr.ca
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/metrics/TR130P.PS.Z, 19930323 AN ADA SOFTWARE DESIGN EVALUATION Wayne M. Zage and Dolores M. Zage Computer Science Department, Ball State University Muncie, IN 47306, USA Key Words - design metrics, design balance, quality assessment, DIANA.
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/dist_collaboration/TR122P.PS.Z, 19930409 A High-Level and Flexible Framework for Implementing Multi-User User-Interfaces PRASUN DEWAN RAJIV CHOUDHARY Purdue University 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 We have developed a high-level and flexible framework for supporting the
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR124P.PS.Z, 19930409 Towards Computer-Supported Concurrent Software Engineering Prasun Dewan, Purdue University John Riedl, University of Minnesota 1. Introduction A software engineering task such as design, programming, debugging, testing, and inspection typically requires the concurrent participation of multiple users,
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR123P.PS.Z, 19930409 Access Control for Collaborative Environments HongHai Shen and Prasun Dewan Department of Computer Sciences Purdue University West Lafayette, IN 47907 hhs@cs.purdue.edu and pd@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/dist_collaboration/TR125P.PS.Z, 19930409 Multi-User Undo/Redo Rajiv Choudhary and Prasun Dewan Department of Computer Sciences Purdue University West Lafayette IN 47907 rxc@cs.purdue.edu and pd@cs.purdue.edu June 3, 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR134P.PS.Z, 19930427 Pilot Studies on Debugging Oracle Assistants Eugene H. Spafford Chonchanok Viravan Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907 1398 April 27, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR131P.PS.Z, 19930427 Correctness Criteria and Concurrency Control for Real-Time Systems: A Survey SERC{TR{131{P LihChyun Shu Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University November 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR128P.PS.Z, 19930427 A Concurrency Analysis Tool Suite: Rationale, Design, and Preliminary Experience SERC Technical Report TR-128-P Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, Indiana 47907 Richard N. Taylor David L. Levine Kari Forester Debra Brodbeck
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR132P.PS.Z, 19930427 Multiversion Integrated Concurrency Control for Hard Real-Time Systems SERC{TR{132{P Lih-Chyun Shu Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University November 1992
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/maintenance/TR64F.PS.Z, 19930614 A Toolset for Program Understanding Panos E. Livadas Scott D. Alden Computer and Information Sciences Computer and Information Sciences University of Florida University of Florida Gainesville, FL 32611 Gainesville, FL 32611
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/UFL/TR61F.PS.Z, 19930615 Program Slicing Panos E. Livadas Stephen Croll Computer and Information Sciences Department University of Florida Gainesville, FL 32611
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/maintenance/TR61F.PS.Z, 19930615 Program Slicing Panos E. Livadas Stephen Croll Computer and Information Sciences Department University of Florida Gainesville, FL 32611
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR139P.PS.Z, 19930628 Early Size Prediction for C Programs Christopher J. Lokan Department of Computer Science University College, UNSW Australian Defence Force Academy Canberra, Australia Cost estimation is an important aspect of the management of software development projects. Most cost estimation models require an
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR136P.PS.Z, 19930629 An Overview of Real-Time Concurrency Control with Analytic Worst-Case Latency Guarantees LihChyun Shu Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR137P.PS.Z, 19930629 Hierarchical Tracing of Concurrent Programs Wei Jen Yeh Michal Young Department of Computer Sciences Purdue University West Lafayette, IN 47907 fyeh,youngg@cs.purdue.edu
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR140P.PS.Z, 19930726 A Two-Semester Undergraduate Sequence in Software Engineering: Architecture and Experience David B. Boardman Aditya P. Mathur July 26, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/UFL/TR65F.PS.Z, 19930726 Auricle: An Experiment in Networked Digital Audio for the Distributed Conferencing System Steven J. Greenwald Department of Computer and Information Sciences The University of Florida Gainesville, Florida 32611 sjg@cis.ufl.edu June, 1993 EXECUTIVE SUMMARY This technical report is a description of
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR142P.PS.Z, 19930927 TERSE : A Tool For Evaluating Software Reliability Models Mei-Hwa Chen Michael K. Jones Aditya P. Mathur Vernon J. Rego September 8, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR145P.PS.Z, 19930927 SOFTWARE DEBUGGING WITH DYNAMIC INSTRUMENTATION AND TEST BASED KNOWLEDGE A Thesis Submitted to the Faculty of Purdue University by Hsin Pan In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy August 1993 ii To My Family. iii ACKNOWLEDGMENTS I would first like to express my
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/misc/TR143P.PS.Z, 19930927 Preliminary Report On Design Rationale, Syntax, and Semantics of LSL: A Specification Language for Program Auralization David B. Boardman Aditya P. Mathur September 21, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR147P.PS.Z, 19931227 CONTROLLING STATE EXPLOSION IN REACHABILITY ANALYSIS A Thesis Submitted to the Faculty of Purdue University by Wei Jen Yeh In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy December 1993 ii ACKNOWLEDGMENTS I am deeply indebted to Michal Young, my advisor. He gave me
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR149P.PS.Z, 19931227 ON MUTATION AND DATA FLOW A Thesis Submitted to the Faculty of Purdue University by Weichen Eric Wong In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy December 1993 ii ACKNOWLEDGMENTS First, I would like to thank my advisor, Professor Aditya P. Mathur, who gave me the
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/concurrency_analysis/TR147P.PS.Z, 19931227 CONTROLLING STATE EXPLOSION IN REACHABILITY ANALYSIS A Thesis Submitted to the Faculty of Purdue University by Wei Jen Yeh In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy December 1993 ii ACKNOWLEDGMENTS I am deeply indebted to Michal Young, my advisor. He gave me
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR146P.PS.Z, 19931229 Comparing the Fault Detection Effectiveness of Mutation and Data Flow Testing: An Empirical Study Aditya P. Mathur and W. Eric Wong Department of Computer Sciences Purdue University West Lafayette, IN 47907 Revised on December 29, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR135P.PS.Z, 19931229 An Empirical Comparison of Mutation and Data Flow Based Test Adequacy Criteria Aditya P. Mathur and W. Eric Wong Department of Computer Sciences Purdue University West Lafayette, IN 47907 Revised on December 28, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR133P.PS.Z, 19931229 A Formal Evaluation of Mutation and Data Flow Based Test Adequacy Criteria Aditya P. Mathur and W. Eric Wong Department of Computer Sciences Purdue University West Lafayette, IN 47907 Revised on December 28, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR138P.PS.Z, 19931229 Reducing the Cost of Mutation Testing: An Empirical Study Aditya P. Mathur and W. Eric Wong Department of Computer Sciences Purdue University West Lafayette, IN 47907 Revised on December 28, 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR148P.PS.Z, 19940103 Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study SERC Technical Report TR-148-P Wei Jen Yeh Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907{1398 December 1993
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/maintenance/TR75F.PS.Z, 19940817 Executive Summary Faster Reuse and Maintenance Using Software Reconnaissance Norman Wilde University of West Florida Pensacola, Florida 32514, USA tel. 904-474-2548; fax. 904-474-3023 e-mail: wilde@cs.uwf.edu The key problem in software maintenance and reuse is that you usually need to understand old
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR151P.PS.Z, 19940817 ENHANCING DEBUGGING TECHNOLOGY A Thesis Submitted to the Faculty of Purdue University by Chonchanok Viravan In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy March 1994 ii I dedicate this thesis to my parent, Chuchit and Ueychai Viravan. It is my tribute to their constant
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/debugger/TR151P.PS.Z, 19940817 ENHANCING DEBUGGING TECHNOLOGY A Thesis Submitted to the Faculty of Purdue University by Chonchanok Viravan In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy March 1994 ii I dedicate this thesis to my parent, Chuchit and Ueychai Viravan. It is my tribute to their constant
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/maintenance/TR76F.PS.Z, 19940817 Executive Summary More Maintainable Code with Grammars and the AnaGram1 Programming Environment Norman Wilde University of West Florida Pensacola, Florida 32514, USA tel. 904-474-2548; fax. 904-474-3023 e-mail: wilde@cs.uwf.edu For the last seven years our research group has been working on tools to aid
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR152P.PS.Z, 19940817 Effect of Test Set Minimization on the Fault Detection Effectiveness of the All-Uses Criterion W. Eric Wong, Joseph R. Horgan, Saul London, and Aditya P. Mathur April 19, 1994
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR153P.PS.Z, 19940817 Effect of Test Set Size and Block Coverage on the Fault Detection Effectiveness W. Eric Wong, Joseph R. Horgan, Saul London, and Aditya P. Mathur April 27, 1994
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR92P.PS.Z, 19940819 On the Use of Software Artifacts to Evaluate the Effectiveness of Mutation Analysis for Detecting Errors in Production Software Richard A. DeMillo Aditya P. Mathur Software Engineering Research Center Purdue University W. Lafayette, IN 47907 August 19, 1994
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR157P.PS.Z, 19941028 An Abort Ceiling Protocol for Controling Priority Inversion LihChyun Shu Michal Young Software Engineering Research Center Department of Computer Sciences Purdue University West Lafayette, IN 47907-1398 Ragunathan Rajkumar Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR155P.PS.Z, 19941107 SLAYING METRIC MONSTERS: USING DESIGN METRICS TO IMPROVE SOFTWARE QUALITY Wayne M. Zage Dolores M. Zage Cathy Wilburn Computer Science Dept. Computer Science Dept. Northrop Grumman Corporation Ball State University Ball State University Electronics Systems Division Muncie, IN 47306 Muncie, IN 47306
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR156P.PS.Z, 19950111 Some Critical Remarks on a Hierarchy of the Fault-Detecting Ability of Test Methods Richard A. DeMillo, Aditya P. Mathur, and W. Eric Wong September 28, 1994
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-School/Purdue/TR160P.PS.Z, 19950728 PERILS OF SOFTWARE RELIABILITY MODELING J. Robert Horgan, Aditya P. Mathur, Alberto Pasquini, and Vernon J. Rego February 16, 1995
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/testing/TR158P.PS.Z, 19950728 ARCHITECTURE OF TAMER: A TOOL FOR DEPENDABILITY ANALYSIS OF DISTRIBUTED FAULT-TOLERANT SYSTEMS Richard A. DeMillo, Tsanchi Li, and Aditya P. Mathur Department of Computer Sciences Purdue University West Lafayette, IN 47907 September 29, 1994
	ftp://ftp.cs.purdue.edu/pub/serc/tech-reports/By-Project/maintenance/TR159P.PS.Z, 19950728 A Feature Oriented Software Development Assistant (FOSDA): Architecture and Use in Software Maintenance S. D. Ahern, W. R. Anderson, D. K. Bainbridge, E. A. Glaser, M. G. Harris, M. L. Hiskes, C. A. Hoskins, J. L. Lawry, A. P. Mathur, J. P. Murray, L. K. Rijadi, L. D. Snyder, S. M. Vyain, and E. P.