Return to testrefs CVS log

Up to [CSRG BSD Unix] / 43BSDReno / share / doc / usd / 31.bib

Annotation of 43BSDReno/share/doc/usd/31.bib/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: %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.