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://viaf.org/viaf/120729163> ; # Timothy A. Budd
    schema:contributor <http://viaf.org/viaf/117513630> ; # Richard J. Lipton
    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:contributor <http://viaf.org/viaf/85222324> ; # Richard A. DeMillo
    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#Thing/decision_tables> # Decision tables
    a schema:Thing ;
    schema:name "Decision tables" ;
    .

<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/computer_programs> # Computer programs
    a schema:Intangible ;
    schema:name "Computer programs"@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/117513630> # Richard J. Lipton
    a schema:Person ;
    schema:familyName "Lipton" ;
    schema:givenName "Richard J." ;
    schema:name "Richard J. Lipton" ;
    .

<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/85222324> # Richard A. DeMillo
    a schema:Person ;
    schema:familyName "DeMillo" ;
    schema:givenName "Richard A." ;
    schema:name "Richard A. DeMillo" ;
    .

<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 "2015-07-28" ;
    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.