Now showing items 1-1 of 1

    • Study of algebraic and state based testing techniques 

      Praveen, Asim Rama (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 ...