Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009 | 512 | 2009 |
Tolerance of control-flow testing criteria SA Vilkomir, K Kapoor, JP Bowen Proceedings 27th Annual International Computer Software and Applications …, 2003 | 43 | 2003 |
Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria K Kapoor, J Bowen 2003 International Symposium on Empirical Software Engineering, 2003. ISESE …, 2003 | 40 | 2003 |
Test conditions for fault classes in Boolean specifications K Kapoor, JP Bowen ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (3), 10-es, 2007 | 38 | 2007 |
Formal analysis of coupling hypothesis for logical faults K Kapoor Innovations in Systems and Software Engineering 2, 80-87, 2006 | 25 | 2006 |
A formal analysis of MCDC and RCDC test criteria K Kapoor, JP Bowen Software Testing, Verification and Reliability 15 (1), 21-40, 2005 | 25 | 2005 |
Experimental evaluation of the tolerance for control‐flow test criteria K Kapoor, JP Bowen Software Testing, Verification and Reliability 14 (3), 167-187, 2004 | 20 | 2004 |
Working together: Formal methods and testing K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, ... ACM Computing Surveys (December 2003), 2003 | 15 | 2003 |
Weighted approximate parameterized string matching S Das, K Kapoor AKCE International Journal of Graphs and Combinatorics 14 (1), 1-12, 2017 | 12 | 2017 |
Ordering mutants to minimise test effort in mutation testing K Kapoor, JP Bowen International Workshop on Formal Approaches to Software Testing, 195-209, 2004 | 12 | 2004 |
Design and validation of blockeval, a blockchain simulator DK Gouda, S Jolly, K Kapoor 2021 international conference on communication systems & networks (COMSNETS …, 2021 | 8 | 2021 |
Fine-tuning decomposition theorem for maximum weight bipartite matching S Das, K Kapoor International Conference on Theory and Applications of Models of Computation …, 2014 | 7 | 2014 |
Stability of test criteria and fault hierarchies in software testing K Kapoor South Bank University, 2004 | 7 | 2004 |
A nonlinear analytical optimization method for standard cell placement of vlsi circuits S Pawanekar, G Trivedi, K Kapoor 2015 28th International Conference on VLSI Design, 423-428, 2015 | 5 | 2015 |
Motion planning in Cartesian product graphs B Deb, K Kapoor Discussiones Mathematicae Graph Theory 34 (2), 207-221, 2014 | 5 | 2014 |
Characterization of dense patterns having distinct squares M Patawar, K Kapoor Algorithms and Discrete Applied Mathematics: 7th International Conference …, 2021 | 4 | 2021 |
On the language of primitive partial words AC Nayak, K Kapoor Language and Automata Theory and Applications: 9th International Conference …, 2015 | 4 | 2015 |
Kapees: A new tool for standard cell placement S Pawanekar, K Kapoor, G Trivedi VLSI Design and Test: 17th International Symposium, VDAT 2013, Jaipur, India …, 2013 | 4 | 2013 |
ON mRJ REACHABILITY IN TREES B Deb, K Kapoor, S Pati Discrete Mathematics, Algorithms and Applications 4 (04), 1250055, 2012 | 4 | 2012 |
Fine-grained concurrency with separation logic K Kapoor, K Lodaya, US Reddy Journal of philosophical logic 40, 583-632, 2011 | 4 | 2011 |