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:   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 p.

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


<http://www.worldcat.org/oclc/227444139>
library:oclcnum"227444139"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/227444139>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Computer program verification."
schema:about
rdf:typeschema:Intangible
schema:name"Computer program reliability."
schema:about
rdf:typeschema:Intangible
schema:name"Computer Programming and Software."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
rdf:typeschema:Organization
schema:name"GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE."
schema:contributor
schema:contributor
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)."
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."
schema:numberOfPages"17"
schema:publisher
rdf:typeschema:Organization
schema:name"Defense Technical Information Center"

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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