![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to testrefs CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [CSRG BSD Unix] / 43BSDReno / contrib / bib / doc|
Return to testrefs CVS log | Up to [CSRG BSD Unix] / 43BSDReno / contrib / bib / doc |
1.1 root 1: %A Timothy A. Budd
2: %T Referemce File Formats
3: %I UATR 82-1
4: %D 1982
5:
6: %A Brian W. Kernighan
7: %A Lorinda L. Cherry
8: %T A System for Typesetting Mathematics
9: %J CACM
10: %V 18
11: %N 3
12: %D MAR 1978
13: %P 151-156
14: %K eqn
15:
16: %A Software\ Research\ Associates
17: %T Software Engineering Automated Tools Index
18: %I S\&RA
19: %C San Francisco, CA
20: %D 1982
21:
22: %A M. E. Lesk
23: %T Tbl - A Program to Format Tables
24: %J Unix Programmers Manual, Vol 2A
25:
26: %A M. E. Lesk
27: %T Some Applicates of Inverted Indexes on the UNIX System
28: %R Bell Laboratories Computing Scienc Technical Report 69
29: %D JUN 1978
30: %K refer
31:
32: %A Alfred V. Aho
33: %A Jeffrey D. Ullman
34: %T Principles of Compiler Design
35: %I Addison-Wesley
36: %D 1977
37: %K dragon
38:
39: %A R. E. Griswold
40: %A J. F. Poage
41: %A I. P. Polonsky
42: %T The SNOBOL4 Programming Language
43: %I PRHALL
44: %D second edition 1971
45:
46: %A R. Colt Hoare
47: %T A Tour through the Island of Elba
48: %I (no listed publisher)
49: %C London
50: %D 1814
51:
52: %A Dennie Van\ Tassel
53: %T Program Style, Design, Efficiency,
54: %I PRHALL
55: %D 1978
56: %W tab
57: %K testing debugging
58:
59: %A M. A. Harrison
60: %A W. L. Ruzzo
61: %A J. D. Ullman
62: %T Protection in Operating Systems
63: %J CACM
64: %V 19
65: %N 8
66: %P 461-471
67: %D AUG 1976
68: %K hru
69:
70: %A M. Bishop
71: %A L. Snyder
72: %T The Transfer of Information and Authority
73: in a Protection System
74: %J Proceedings of the 7th SOSP
75: %P 45-54
76: %D 1979
77:
78: %A John B. Goodenough
79: %T A Survey of Program Testing Issues
80: %B Research Directions in Software Technology
81: %E Peter Wegner
82: %I MIT Press
83: %P 316-340
84: %D 1979
85:
86: %A R. J. Lipton
87: %A L. Snyder
88: %T On Synchronization and Security
89: %E R. A. DeMillo
90: %E D. P. Dobkin
91: %E A. K. Jones
92: %E R. J. Lipton
93: %B Foundations of Secure Computation
94: %P 367-388
95: %I ACPRESS
96: %D 1978
97:
98: %A C.A.R. Hoare
99: %T Procedures and parameters: An axiomatic approach
100: %B Symposium on semantics of algorithmic languages
101: %E E. Engeler
102: %P 102-116
103: %S Lecture Notes in Mathematics
104: %V 188
105: %I Springer-Verlag
106: %C Berlin-Heidelberg-New York
107: %D 1971
108:
109: %A A. Girard
110: %A J-C Rault
111: %T A Programming Technique for Software Reliability
112: %B Symposium on Software Reliability
113: %I IEEE
114: %C Montvale, New Jersey
115: %D 1977
116: %O (Cited in Glib [32])
117:
118: %E R. A. DeMillo
119: %E D. P. Dobkin
120: %E A. K. Jones
121: %E R. J. Lipton
122: %T Foundations of Secure Computation
123: %I ACPRESS
124: %D 1978
125: %K book
126:
127: %A T. A. Budd
128: %T An APL Complier
129: %R UATR 81-17
130: %D 1981
131:
132: %A Douglas Baldwin
133: %A Frederick Sayward
134: %T Heuristics for Determining Equivalence of Program Mutations
135: %R Technical Report Number 161
136: %I Yale University
137: %D 1979
138:
139: %A Martin Brooks
140: %T Automatic Generation of Test Data for
141: Recursive Programs Having Simple Errors
142: %I PhD Thesis, Stanford University
143: %D 1980
144:
145: %A A. Snyder
146: %T A Portable Compiler for the Language C
147: %R Master's Thesis
148: %I M.I.T.
149: %D 1974
150:
151: %F BHS--
152: %A Timothy A. Budd
153: %A Robert Hess
154: %A Frederick G. Sayward
155: %T User's Guide for the EXPER Mutation Analysis system
156: %O (Yale university, memo)
157:
158: %E I. M. Editor
159: %T Book with no author
160: %D 1066
161:
162: %I SDIT
163: %T Bullitun of the South Dakota Institute of Technology
164: %D 1946
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.