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 Budd; Richard A DeMillo; Richard J Lipton; Frederick G Sayward; Georgia Institute of Technology. School of Information and Computer Science.
Publisher: Atlanta : School of Information and Computer Science, Georgia Institute of Technology, 1980.
Series: GIT-ICS, 80/01.
Edition/Format:   Print book : State or province government publication : EnglishView all editions and formats
Database:WorldCat
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

Material Type: Government publication, State or province government publication
Document Type: Book
All Authors / Contributors: Timothy Budd; Richard A DeMillo; Richard J Lipton; Frederick G Sayward; Georgia Institute of Technology. School of Information and Computer Science.
OCLC Number: 11325636
Notes: "February 1980."
Description: 14 leaves : illustrations ; 28 cm.
Series Title: GIT-ICS, 80/01.
Responsibility: by Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/11325636> # Theoretical and empirical studies on using program mutation to test the functional correctness of programs
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "11325636" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1012141063#Place/atlanta> ; # Atlanta
    rdfs:comment "Unknown 'gen' value: sgp" ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85029526> ; # Computer programs--Testing
    schema:about <http://id.worldcat.org/fast/872443> ; # Computer programs--Testing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85222324> ; # Richard A. DeMillo
    schema:contributor <http://viaf.org/viaf/94407333> ; # Frederick G. Sayward
    schema:contributor <http://viaf.org/viaf/144276335> ; # Georgia Institute of Technology. School of Information and Computer Science.
    schema:contributor <http://viaf.org/viaf/117513630> ; # Richard J. Lipton
    schema:creator <http://viaf.org/viaf/120729163> ; # Timothy Budd
    schema:datePublished "1980" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1012141063> ;
    schema:genre "Government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1012141063#Series/git_ics> ; # GIT-ICS ;
    schema:name "Theoretical and empirical studies on using program mutation to test the functional correctness of programs"@en ;
    schema:productID "11325636" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11325636#PublicationEvent/atlanta_school_of_information_and_computer_science_georgia_institute_of_technology_1980> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1012141063#Agent/school_of_information_and_computer_science_georgia_institute_of_technology> ; # School of Information and Computer Science, Georgia Institute of Technology
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11325636> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1012141063#Agent/school_of_information_and_computer_science_georgia_institute_of_technology> # School of Information and Computer Science, Georgia Institute of Technology
    a bgn:Agent ;
    schema:name "School of Information and Computer Science, Georgia Institute of Technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/1012141063#Series/git_ics> # GIT-ICS ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11325636> ; # Theoretical and empirical studies on using program mutation to test the functional correctness of programs
    schema:name "GIT-ICS ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029526> # Computer programs--Testing
    a schema:Intangible ;
    schema:name "Computer programs--Testing"@en ;
    .

<http://id.worldcat.org/fast/872443> # Computer programs--Testing
    a schema:Intangible ;
    schema:name "Computer programs--Testing"@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 Budd
    a schema:Person ;
    schema:familyName "Budd" ;
    schema:givenName "Timothy" ;
    schema:name "Timothy Budd" ;
    .

<http://viaf.org/viaf/144276335> # Georgia Institute of Technology. School of Information and Computer Science.
    a schema:Organization ;
    schema:name "Georgia Institute of Technology. School of Information and Computer Science." ;
    .

<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/11325636>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/11325636> ; # Theoretical and empirical studies on using program mutation to test the functional correctness of programs
    schema:dateModified "2015-04-04" ;
    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.