home *** CD-ROM | disk | FTP | other *** search
/ The Datafile PD-CD 4 / DATAFILE_PDCD4.iso / unix / riscbsd / 1_1_contri / usd / 31_bib / testrefs < prev   
Encoding:
Text File  |  1986-06-03  |  2.8 KB  |  166 lines
  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
  166.