skip to content
Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs. Preview this item
ClosePreview this item
Checking...

Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs.

Author: Timothy A Budd; Richard A DeMillo; Richard J Lipton; Frederick G Sayward; GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center FEB 1980.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author).
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Timothy A Budd; Richard A DeMillo; Richard J Lipton; Frederick G Sayward; GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE.
OCLC Number: 227444139
Notes: Prepared in cooperation with Yale Univ., New Haven, CT and California Univ., Berkeley.
Description: 17 pages

Abstract:

A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227444139> # Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "227444139" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1012141063#Place/ft_belvoir> ; # Ft. Belvoir
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/fortran> ; # Fortran
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/algorithms> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_program_verification> ; # Computer program verification
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/recursive_functions> ; # Recursive functions
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_program_reliability> ; # Computer program reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/test_methods> ; # Test methods
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_programs> ; # Computer programs
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Thing/decision_tables> ; # Decision tables
   schema:about <http://experiment.worldcat.org/entity/work/data/1012141063#Topic/decision_theory> ; # Decision theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1012141063#Person/lipton_richard_j> ; # Richard J. Lipton
   schema:contributor <http://viaf.org/viaf/120729163> ; # Timothy A. Budd
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1012141063#Person/demillo_richard_a> ; # Richard A. DeMillo
   schema:contributor <http://viaf.org/viaf/94407333> ; # Frederick G. Sayward
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1012141063#Organization/georgia_inst_of_tech_atlanta_school_of_information_and_computer_science> ; # GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE.
   schema:datePublished "1980" ;
   schema:datePublished "FEB 1980" ;
   schema:description "A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author)."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1012141063> ;
   schema:inLanguage "en" ;
   schema:name "Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs."@en ;
   schema:productID "227444139" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227444139#PublicationEvent/ft_belvoirdefense_technical_information_centerfeb_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1012141063#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227444139> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1012141063#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Organization/georgia_inst_of_tech_atlanta_school_of_information_and_computer_science> # GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE.
    a schema:Organization ;
   schema:name "GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Person/demillo_richard_a> # Richard A. DeMillo
    a schema:Person ;
   schema:familyName "DeMillo" ;
   schema:givenName "Richard A." ;
   schema:name "Richard A. DeMillo" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Person/lipton_richard_j> # Richard J. Lipton
    a schema:Person ;
   schema:familyName "Lipton" ;
   schema:givenName "Richard J." ;
   schema:name "Richard J. Lipton" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_program_reliability> # Computer program reliability
    a schema:Intangible ;
   schema:name "Computer program reliability"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_program_verification> # Computer program verification
    a schema:Intangible ;
   schema:name "Computer program verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
   schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Topic/recursive_functions> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://viaf.org/viaf/120729163> # Timothy A. Budd
    a schema:Person ;
   schema:familyName "Budd" ;
   schema:givenName "Timothy A." ;
   schema:name "Timothy A. Budd" ;
    .

<http://viaf.org/viaf/94407333> # Frederick G. Sayward
    a schema:Person ;
   schema:familyName "Sayward" ;
   schema:givenName "Frederick G." ;
   schema:name "Frederick G. Sayward" ;
    .

<http://www.worldcat.org/title/-/oclc/227444139>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/227444139> ; # Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs.
   schema:dateModified "2017-07-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.