Complement R. M. Hierons and M. Harman May 8, 2000  Home/Search
Context
Related
| dcs.kcl.ac.uk/staff/mark/apatv.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.kcl.ac.uk/staff/mark...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers ways in which program analysis and test hypotheses complement, focusing on one particular example: the uniformity hypothesis. Conditioned slicing can be used to either provide con dence in the uniformity hypothesis, identify faults, or suggesting re- nements to the hypothesis. The existence of a uniformity hypothesis assists in the production of small conditioned slices which might then be analysed further. keywords: Program veri cation, test hypotheses, the uniformity... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-program,
author = "Complement Hierons And",
title = "Program Analysis and Test Hypotheses",
url = "citeseer.ist.psu.edu/755003.html" }
Citations (may not include all citations):82 Towards a theory of test data selection (context) - Goodenough, Gerhart - 1975
43 On slicing programs with jump statements - Agrawal - 1994
38 Dynamic slicing in the presence of unconstrained pointers - Agrawal, DeMillo et al. - 1991
37 Conditioned program slicing (context) - Canfora, Cimitile et al. - 1998
33 Static slicing in the presence of goto statements - Choi, Ferrante - 1994
18 Testing can be formal too (context) - Gaudel - 1995
18 Understanding function behaviours through program slicing (context) - De Lucia, Fasolino et al. - 1996
15 Computing amorphous program slices using dependence graphs a.. (context) - Binkley - 1999
12 A new algorithm for slicing unstructured programs - Harman, Danicic - 1998
9 Slicing programs with arbitrary control{ ow (context) - Ball, Horwitz - 1993
9 Fault models in testing (context) - Bochmann, Das et al. - 1992
7 IEEE Transactions on Software Engineering (context) - Clarke, Hassell et al. - 1982
1 Testing software design nite state machines (context) - Chow - 1978
1 Amorphous International Workshop on Program pages (context) - Harman, Danicic - 1997
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/mark/papers.html): More
Search-Based Software Engineering - Harman, Jones (2001) (Correct)
Backward Conditioning: a new program specialisation.. - Fox, Harman, Hierons.. (2001) (Correct)
Program Simplification as a Means of Approximating.. - Harman, Binkley.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC