 | ftp://isse.gmu.edu/pub/techrep/by_index/ISSE-TR-94-101.ps.Z, 19940704
On the Expressive Power of the Unary Transformation Model y Ravi S. Sandhu and Srinivas Gantaz Center for Secure Information Systems Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 February 15, 1994 A paper submitted for possible presentation at |
| ftp://isse.gmu.edu/pub/techrep/by_index/ISSE-TR-94-100.ps.Z, 19940704
An Experimental Determination of Sufficient Mutation Operators A. Jefferson Offutt Ammei Lee George Mason University and Gregg Rothermel Roland Untch Clemson University and Christian Zapf Siemens Corporation *** Draft { Submitted *** Mutation testing is a technique for unit testing software that, |
| ftp://isse.gmu.edu/pub/techrep/94_112_brodsky.ps.gz, 19941130
The LyriC Language: Querying Constraint Objects Alexander Brodsky Dept. of Information and Software Systems Engineering George Mason University Fairfax, Virginia, 22030-4444, USA brodsky@isse.gmu.edu Yoram Kornatzky Dept. of Computer Science University of Toronto, 6 King's College Road, Toronto, Canada |
| ftp://isse.gmu.edu/pub/techrep/93_100_ammann.ps.gz, 19941130
Functional and Test Specifications for the MiStix File System Paul Ammann Jeff Offutt fpamman,ofutg@gmu.edu Department of Information and Software Systems Engineering George Mason University, Fairfax, VA 22030 January 19, 1993 |
| ftp://isse.gmu.edu/pub/techrep/93_105_ammann.ps.gz, 19941130
Using Formal Methods To Mechanize Category-Partition Testing Paul Ammann Jeff Offutt y pammann@isse.gmu.edu ofut@isse.gmu.edu Department of Information and Software Systems Engineering George Mason University, Fairfax, VA 22030 Draft { Submitted September, 1993 |
| ftp://isse.gmu.edu/pub/techrep/93_104_ammann.ps.gz, 19941130
Globally Consistent Event Ordering In One-Directional Distributed Environments Paul Ammann Sushil Jajodia y Center For Secure Information Systems Department of Information and Software Systems Engineering George Mason University, Fairfax, VA 22030 Phyllis Frankl z Computer Science Department Polytechnic |
| ftp://isse.gmu.edu/pub/techrep/94_102_sanden.ps.gz, 19941130
A graduate course in object-oriented analysis based on student-generated projects ISSE-TR-94-102 Bo Sanden George Mason University Fairfax, VA 22030-4444 bsanden@gmu.edu March 1, 1994 |
| ftp://isse.gmu.edu/pub/techrep/94_105_offutt.ps.gz, 19941130
Experiments with Data Flow and Mutation Testing A. Jefferson Offutt Jie Pan Tong Zhang Department of ISSE George Mason University Fairfax, VA 22030 phone: 703-993-1654 email: ofut@isse.gmu.edu Kanupriya Tewary Department of Computer Science Clemson University Clemson, SC 29643-1906 kanu@cs.clemson.edu |
| ftp://isse.gmu.edu/pub/techrep/94_105_offutt_apps.ps.gz, 19941130
A Fortran Programs bub/bub.f SUBROUTINE BUBBLE (A) INTEGER A (5) C= A inout C Sort A() using the bubble sort technique. INTEGER N, ITMP N = 5 DO 200 J = N-1, 1, -1 DO 100 I = 1, J, 1 IF (A (I).LE.A (I+1)) GOTO 100 ITMP = A (I) A (I) = A (I+1) A (I+1) = ITMP 100 CONTINUE 200 CONTINUE RETURN END cal/cal.f |
| ftp://isse.gmu.edu/pub/techrep/94_111_wang.ps.gz, 19941130
Logical Design for Temporal Databases with Multiple Temporal Types X. Sean Wang y, Claudio Bettini z, Alexander Brodskyy, Sushil Jajodia y ISSE Technical Report: ISSE-TR-94-111 |
| ftp://isse.gmu.edu/pub/techrep/92_102_offutt.ps.gz, 19941130
Using Compiler Optimization Techniques to Detect Equivalent Mutants A. Jefferson Offutt Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030 phone: 703-993-1654 email: ofut@gmuvax2.gmu.edu W. Michael Craft Department of Computer Science Clemson University |
| ftp://isse.gmu.edu/pub/techrep/93_101_offutt.ps.gz, 19941130
Empirical Comparisons of Data Flow and Mutation Testing A. Jefferson Offutt Department of ISSE George Mason University Fairfax, VA 22030 phone: 703-993-1654 email: ofut@gmuvax2.gmu.edu Kanupriya Tewary Department of Computer Science Clemson University Clemson, SC 29643-1906 kanu@cs.clemson.edu December |
| ftp://isse.gmu.edu/pub/techrep/93_106_motro.ps.gz, 19941130
A Formal Framework for Integrating Inconsistent Answers from Multiple Information Sources Amihai Motro Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 Technical Report ISSE-TR-93-106 October 1993 |
| ftp://isse.gmu.edu/pub/techrep/93_109_yoon.ps.gz, 19941130
A Framework for Knowledge Discovery and Evolution in Databases Jong P. Yoon Member, IEEE and Larry Kerschberg Member, IEEE |
| ftp://isse.gmu.edu/pub/techrep/93_108_yoon.ps.gz, 19941130
Semantic Query Optimization in Deductive Object-Oriented Databases Jong P. Yoon y and Larry Kerschberg z Department of Information and Software Systems Engineering School of Information Technology and Engineering George Mason University, Fairfax, VA 22030-4444 fyjyoon,zkerschg@isse.gmu.edu |
| ftp://isse.gmu.edu/pub/techrep/93_110_smith.ps.gz, 19941130
DESIGNING GRAPHICAL USER INTERFACES WITH ENTITY-LIFE MODELING Douglas L. Smith 16 December 1993 ISSE TR 93 110 |
| ftp://isse.gmu.edu/pub/techrep/93_107_yoon.ps.gz, 19941130
A Framework for Constraint Management in Object-Oriented Databases Jong P. Yoon Larry Kerschberg School of Information Technology Information & Software Systems Engr Goerge Mason University Goerge Mason University Fairfax, VA 22030-4444 Fairfax, VA 22030-4444 |
| ftp://isse.gmu.edu/pub/techrep/94_110_offutt.ps.gz, 19941202
The Dynamic Domain Reduction Procedure for Test Data Generation A. Jefferson Offutt Zhenyi Jin Jie Pan ISSE Department George Mason University Fairfax, VA 22030 phone: 703-993-1654 fax: 703-993-1638 email: fofut,jpan,zjing@isse.gmu.edu August 1994 |
| ftp://isse.gmu.edu/pub/techrep/94_109_offutt.ps.gz, 19941202
Using Constraints to Detect Equivalent Mutants A. Jefferson Offutt Jie Pan ISSE Department George Mason University Fairfax, VA 22030 phone: 703-993-1654 fax: 703-993-1638 email: fofut,jpang@isse.gmu.edu August 1994 |
| ftp://isse.gmu.edu/pub/techrep/94_108_patterson.ps.gz, 19941208
An Application of Entity Life Modeling to Incremental Reengineering of Fortran Reactive Program Components F. G. Patterson, Jr. Jean-Jacques Moortgat Technical Report No. ISSE-TR-94-108 School of Information Technology and Engineering George Mason University Fairfax, Virginia 22032 |
| ftp://isse.gmu.edu/pub/techrep/94_113_yoon.ps.gz, 19950110
Semantic Update Optimization in Active Databases Jong P. Yoon Department of Computer Science Sookmyung Woman's University Chungpa-Dong 2 Ka, Yongsan Ku, Seoul, South Korea and Larry Kerschberg Center for Information Systems Integration and Evolution Department of Information and Software Systems |
| ftp://isse.gmu.edu/pub/techrep/95_100_offutt.ps.gz, 19950128
Integration Testing Based on Software Couplings Zhenyi Jin and A. Jefferson Offutt ISSE Department George Mason University Fairfax, VA 22030 phone: 703-993-1654 fax: 703-993-1638 email: fzjin,ofutg@isse.gmu.edu January 27, 1995 |
| ftp://isse.gmu.edu/pub/techrep/94_114_sanden.ps.gz, 19950227
A restrictive definition of concurrency for discrete-event modeling Bo Sand en George Mason University bsanden@gmu.edu ISSE-TR-94-114 Revised February 27, 1995 |
| ftp://isse.gmu.edu/pub/techrep/95_101_sandhu.ps.gz, 19950227
The Multilevel Relational (MLR) Data Model y Fang Chen and Ravi S. Sandhuz George Mason University, Fairfax, VA |
| ftp://isse.gmu.edu/pub/techrep/95_102_offutt.ps.gz, 19950306
The Effectiveness of Category-Partition Testing of Object-Oriented Software Alisa Irvine and A. Jefferson Offutt ISSE Department George Mason University Fairfax, VA 22030 phone: 703-993-1654 fax: 703-993-1638 email: ofut@isse.gmu.edu March 3, 1995 |
| ftp://isse.gmu.edu/pub/techrep/94_107_wang.ps.gz, 19950518
Algebraic Query Languages on Temporal Databases with Multiple Time Granularities X. Sean Wang Technical report ISSE-TR-94-107 Revised April 1995 |
| ftp://isse.gmu.edu/pub/techrep/95_105_wang.ps.gz, 19950613
Temporal Semantic Assumptions and Their Use in Database Query Evaluation Claudio Bettini X. Sean Wang Sushil Jajodia Technical Report: ISSE-TR-95-105 Department of Information and Software Systems Engineering George Mason University June 13, 1995 |
| ftp://isse.gmu.edu/pub/techrep/95_103_motro.ps.gz, 19950721
Multiplex: A Formal Model for Multidatabases and Its Implementation Amihai Motro Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 ami@gmu.edu Technical Report ISSE-TR-95-103 March 1995 |
| ftp://isse.gmu.edu/pub/techrep/95_104_motro.ps.gz, 19950725
The Problem of Optimal Approximation of Queries Using Views, and its Applications Alexander Brodsky and Amihai Motro Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 Technical Report ISSE-TR-95-104 May 1995 |
| ftp://isse.gmu.edu/pub/techrep/95_106_ammann.ps.gz, 19950725
Using Formal Methods To Reason About Semantics-Based Decompositions Of Transactions Paul Ammanny Sushil Jajodiaz Indrakshi Rayx Center for Secure Information Systems & Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 |
| ftp://isse.gmu.edu/pub/techrep/95_107_menasce.ps.gz, 19950803
1 A Performance Oriented Design Methodology for Large-Scale Distributed Data Intensive Information Systems Daniel A. Menasc e, Hassan Gomaa, and Larry Kerschberg |
| ftp://isse.gmu.edu/pub/techrep/95_112_zhenyijin.ps.gz, 19950818
Integrating Testing with the Software Development Process Zhenyi Jin Jeff Offutt ISSE Department George Mason University Fairfax, VA 22030 U.S.A. phone: 703-993-1654 fax: 703-993-1638 email: fofut,zjing@isse.gmu.edu August 10, 1995 | DRAFT | Topic and Keywords|Software engineering and tools, software |
| ftp://isse.gmu.edu/pub/techrep/95_111_zhenyijin.ps.gz, 19950818
Finding Mode Invariants in SCR Specifications Zhenyi Jin ISSE Department George Mason University Fairfax, VA 22030 email: zjin@isse.gmu.edu |
| ftp://isse.gmu.edu/pub/techrep/95_113_jajodia.ps.gz, 19950919
Advanced Transaction Processing in Multilevel Secure File Stores Elisa Bertinoa;1, Sushil Jajodiab;2 Luigi Mancinic;3, and Indrajit Rayb;4 aDipartimento di Scienze dell'informazione Universit a di Milano, Milano, Italy bDepartment of Information and Software Systems Engineering George Mason University, |
| ftp://isse.gmu.edu/pub/techrep/95_110_offutt.ps.gz, 19950922
A Semantic Model of Program Faults ISSE-TR-95-110 A. Jefferson Offutt ISSE Department, 4A4 George Mason University Fairfax, VA 22030-4444 phone: 703-993-1654 email: ofut@isse.gmu.edu J. Huffman Hayes Science Applications International Corp. 1213 Jefferson Davis Highway, Suite 1300 Arlington, VA 22202 |
| ftp://isse.gmu.edu/pub/techrep/95_114_ammann.ps.gz, 19950926
Applying Formal Methods to Semantic-Based Decomposition of Transactions Paul Ammann Sushil Jajodiay Indrakshi Rayz Center for Secure Information Systems and Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 Email: fpammann, jajodia, |
| ftp://isse.gmu.edu/pub/techrep/96_06_wang.ps.gz, 19960515
Discovering Temporal Relationships with Multiple Granularities in Time Sequences Technical Report: ISSE-TR-96-06 Claudio Bettiniy X. Sean Wangz Sushil Jajodiaz Jia-Ling Linz |
| ftp://isse.gmu.edu/pub/techrep/96_02_offutt.ps.gz, 19960515
Page 29 Page 28 NewEffectAmongClients() NewEffectAmongClients ( ) // input: and its PAMS, PAFS. // output: All the affected classes that use , and their AMS, AFS, PAMS, PAFS For each class C that uses OLDAMS = AMS; OLDAFS = AFS; For each methods m in C if ( ( ) or if ( ) if m is public |
| ftp://isse.gmu.edu/pub/techrep/96_01_offutt.ps.gz, 19960515
Subsumption of Condition Coverage Techniques by Mutation Testing Technical Report ISSE-TR-96-01 A. Jefferson Offutt ISSE Department George Mason University Fairfax, VA 22030 phone: 703-993-1654 fax: 703-993-1638 email: ofut@isse.gmu.edu Jeffrey M. Voas Reliable Software Technologies Corp. Suite 250 |
| ftp://isse.gmu.edu/pub/techrep/95_115_motro.ps.gz, 19960709
ViewFinder: An Object Browser Alessandro D'Atri Dipartimento di Ingegneria Elettrica Universit a degli Studi di L'Aquila I-67040 L'Aquila, Italy Amihai Motro Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 Laura Tarantino Dipartimento di |
| ftp://isse.gmu.edu/pub/techrep/96_07_brodsky.ps.gz, 19961003
The C3 Constraint Object-Oriented Database System Alexander Brodsky Victor E. Segal Pavel A. Exarkhopoulo Department of Information and Software Systems Engineering George Mason University, Fairfax, VA 22030 brodsky@isse.gmu.edu August 1996 |
