|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 11 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy |
Fine-grained Concurrency with Separation Logic.  |
J. Philosophical Logic  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi |
QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Test conditions for fault classes in Boolean specifications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Fault-based testing, Boolean specification, fault classes |
| 1 | Kalpesh Kapoor |
Formal Analysis of Coupling Hypothesis for Logical Faults. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Logical fault, Software testing, Mutation testing, Fault-based testing, Boolean specification |
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
A formal analysis of MCDC and RCDC test criteria. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Experimental evaluation of the tolerance for control-flow test criteria. |
Softw. Test., Verif. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Ordering Mutants to Minimise Test Effort in Mutation Testing. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen |
Tolerance of Control-Flow Testing Criteria. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
RC/DC, software testing, effectiveness, empirical evaluation, tolerance, testing criteria, MC/DC |
| 1 | Kalpesh Kapoor, Jonathan P. Bowen |
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria. |
ISESE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")