Return to testrefs CVS log

Up to [CSRG BSD Unix] / 43BSDReno / contrib / bib / doc

Annotation of 43BSDReno/contrib/bib/doc/testrefs, revision 1.1

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.