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