Browsing by Author "Kapoor, Kalpesh"
Now showing items 1-2 of 2
-
Identifying mutant hierarchies to reduce test effort in mutation testing
Nimmagadda, Rahul (Dhirubhai Ambani Institute of Information and Communication Technology, 2007)Mutation testing is a fault-based testing approach. The main goal of mutation testing is to assess the quality of a test suite, and in that process, test the software. The approach asserts the absence of pre-specified ... -
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 ...