Search
Now showing items 1-1 of 1
Study of algebraic and state based testing techniques
(Dhirubhai Ambani Institute of Information and Communication Technology, 2007)
Sequential programs can be modeled as algebra or transitions on a state space. Whether a program is implemented according to its model is the question addressed by program testing. The thesis illustrates issues in constructing ...