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://experiment.worldcat.org/entity/work/data/1012141063#Person/lipton_richard_j> ; # Richard J. Lipton
   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://viaf.org/viaf/144276335> ; # Georgia Institute of Technology. School of Information and Computer Science.
   schema:creator <http://experiment.worldcat.org/entity/work/data/1012141063#Person/budd_timothy> ; # 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#Person/budd_timothy> # Timothy Budd
    a schema:Person ;
   schema:familyName "Budd" ;
   schema:givenName "Timothy" ;
   schema:name "Timothy Budd" ;
    .

<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#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/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/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 "2017-01-20" ;
   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.