 | 2011 |
|---|
| 10 |       | Kalpesh Kapoor,
Kamal Lodaya,
Uday S. Reddy:
Fine-grained Concurrency with Separation Logic.
J. Philosophical Logic 40(5): 583-632 (2011) |
| 2009 |
|---|
| 9 | | Abhishek Anand,
Shikhar Sachan,
Kalpesh Kapoor,
Sukumar Nandi:
QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks.
ICDCN 2009: 306-317 |
| 8 | | Robert M. Hierons,
Kirill Bogdanov,
Jonathan P. Bowen,
Rance Cleaveland,
John Derrick,
Jeremy Dick,
Marian Gheorghe,
Mark Harman,
Kalpesh Kapoor,
Paul Krause,
Gerald Lüttgen,
Anthony J. H. Simons,
Sergiy A. Vilkomir,
Martin R. Woodward,
Hussein Zedan:
Using formal specifications to support testing.
ACM Comput. Surv. 41(2): (2009) |
| 2007 |
|---|
| 7 | | Kalpesh Kapoor,
Jonathan P. Bowen:
Test conditions for fault classes in Boolean specifications.
ACM Trans. Softw. Eng. Methodol. 16(3): (2007) |
| 2006 |
|---|
| 6 | | Kalpesh Kapoor:
Formal Analysis of Coupling Hypothesis for Logical Faults.
ISSE 2(2): 80-87 (2006) |
| 2005 |
|---|
| 5 | | Kalpesh Kapoor,
Jonathan P. Bowen:
A formal analysis of MCDC and RCDC test criteria.
Softw. Test., Verif. Reliab. 15(1): 21-40 (2005) |
| 2004 |
|---|
| 4 | | Kalpesh Kapoor,
Jonathan P. Bowen:
Ordering Mutants to Minimise Test Effort in Mutation Testing.
FATES 2004: 195-209 |
| 3 | | Kalpesh Kapoor,
Jonathan P. Bowen:
Experimental evaluation of the tolerance for control-flow test criteria.
Softw. Test., Verif. Reliab. 14(3): 167-187 (2004) |
| 2003 |
|---|
| 2 | | Sergiy A. Vilkomir,
Kalpesh Kapoor,
Jonathan P. Bowen:
Tolerance of Control-Flow Testing Criteria.
COMPSAC 2003: 182-187 |
| 1 | | Kalpesh Kapoor,
Jonathan P. Bowen:
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.
ISESE 2003: 185-194 |
Data released under the ODC-BY 1.0 license — See also our legal information page