Publications
Permanent URI for this collectionhttps://ir.daiict.ac.in/handle/123456789/32
Browse
4 results
Search Results
Item Metadata only A formal analysis of MCDC and RCDC test criteria(Wiley, 01-03-2005) Kapoor, Kalpesh; Bowen, Jonathan P; Kapoor, KalpeshItem Metadata only Formal analysis of coupling hypothesis for logical faults(Springer, 01-07-2006) Kapoor, Kalpesh; Kapoor, KalpeshItem Metadata only Test conditions for fault classes in Boolean specifications(ACM, 01-07-2007) Kapoor, Kalpesh; Bowen, Jonathan P; Kapoor, KalpeshItem Metadata only Verification and implementation of delay-insensitive processes in restrictive environments(IOS Press, 01-03-2006) Kapoor, Hemangee K; Josephs, Mark B; Furey,; P, Dennis; Kapoor, Kalpesh