Eugene H. Spa / H. Spa / IEEE Computer Society Press / Naval Research Laboratory / Problem Statement Introduction Trust / McGraw-Hill / John Wiley & Sons / Flaw Libraries Program Slicer Coverage / /
Continent
Europe / / /
Facility
The library / University of California-Davis / Computer Science University of California / University of California / /
IndustryTerm
automatic tool / secure systems / Internet worm / authentication services / property-based testing tools / automatic analysis tools / software programs / software engineering life cycle methodologies / le transfer protocol / security-critical software / software testing analysis / /
OperatingSystem
Unix / SunOS / /
Organization
University of California / University of California / Davis / Matt Bishop Department / Assurance George Fink Department / /
Person
John P. McDermott / Darrel Ince / Juei Chang / Andy Podgurski / Simeon C. Ntafos / Karl Levitt / Jeremy Dick / Myla Archer / Sriram Sankar / A. Je / Michael Helmke / Carl E. Landwehr / Measure / Sandra Rapps / James J. Horning / Elaine J. Weyuker / Derek Andrews / William S. Choi / Flaws Figure / Lori A. Clarke / George Fink / Richard A. DeMillo / Calvin Ko / Mark Weiser / Debra J. Richardson / Alain Faivre / John V. Guttag / Steven J. Zeil / Debra Richardson / Matt Bishop / /
Position
bishop / analyst / Assistant / /
Product
UNIX / /
ProgrammingLanguage
C / /
ProvinceOrState
California / /
PublishedMedium
Communications of the ACM / IEEE Transactions on Software Engineering / /
Technology
le transfer protocol / Unix / FTP protocol / same service protocol / client/server / /
Property-Based Testing; A New Approach to Testing for Assurance George Fink Department of Computer Science University of California, Davis e-mail: g