Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Kalpesh Kapoor
Observed names:
K. Kapoor,
KALPESH KAPOOR,
Kapoor, K.,
Kapoor, Kalpesh
Institution:
Indian Institute of Technology Guwahati
Observed institutions:
Indian Institute of Technology Guwahati,
London South Bank University,
Sikkim Manipal University,
Dhirubhai Ambani University
ORCID:
0000-0002-0242-3563
Observed ORCID:
0000-0002-0242-3563
OpenAlex ID:
A5065965147
Using formal specifications to support testing
2009
·
Robert M. Hierons
, Kirill Bogdanov
, et al.
·
ACM Computing Surveys
·
360
PDF
Using formal methods to support testing
2008
·
RM Hierons
, Kirill Bogdanov
, et al.
·
Brunel University Research Archive (BURA) (Brunel University London)
·
37
PDF
Test conditions for fault classes in Boolean specifications
2007
·
Kalpesh Kapoor
, Jonathan P. Bowen
·
ACM Transactions on Software Engineering and Methodology
·
26
Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria
2004
·
K. Kapoor
, J. Bowen
·
International Symposium on Empirical Software Engineering
·
25
Tolerance of control-flow testing criteria
2004
·
S.A. Vilkomir
, K. Kapoor
, et al.
·
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
·
23
Formal Analysis of Coupling Hypothesis for Logical Faults
2006
·
Kalpesh Kapoor
·
Innovations in Systems and Software Engineering
·
16
A formal analysis of MCDC and RCDC test criteria
2004
·
Kalpesh Kapoor
, Jonathan P. Bowen
·
Software Testing Verification and Reliability
·
16
Design and Validation of BlockEval, A Blockchain Simulator
2021
·
Deepak Kumar Gouda
, Shashwat Jolly
, et al.
·
International Conference on Communication Systems & Networks (COMSNETS)
·
14
Ordering Mutants to Minimise Test Effort in Mutation Testing
2005
·
Kalpesh Kapoor
, Jonathan P. Bowen
·
Lecture notes in computer science
·
12
Experimental evaluation of the tolerance for control‐flow test criteria
2004
·
Kalpesh Kapoor
, Jonathan P. Bowen
·
Software Testing Verification and Reliability
·
10
Weighted approximate parameterized string matching
2016
·
Shibsankar Das
, Kalpesh Kapoor
·
AKCE International Journal of Graphs and Combinatorics
·
9
Fine-Tuning Decomposition Theorem for Maximum Weight Bipartite Matching
2014
·
Shibsankar Das
, Kalpesh Kapoor
·
Lecture notes in computer science
·
9
Deadlock Prevention in Payment Channel Networks
2024
·
Neeraj Sharma
, Kalpesh Kapoor
·
IEEE Transactions on Network and Service Management
·
7
Design and evaluation of Swift routing for payment channel network
2023
·
Neeraj Sharma
, Kalpesh Kapoor
, et al.
·
Blockchain Research and Applications
·
6
Distributed Routing Algorithms for Concurrent Execution of Transactions in PCNs
2023
·
Neeraj Sharma
, Kalpesh Kapoor
·
IEEE International Conference on Fog and Edge Computing (ICFEC)
·
6
Fine-grained Concurrency with Separation Logic
2011
·
Kalpesh Kapoor
, Kamal Lodaya
, et al.
·
Journal of Philosophical Logic
·
6
Characterization of Dense Patterns Having Distinct Squares
2021
·
Maithilee Patawar
, Kalpesh Kapoor
·
Lecture notes in computer science
·
4
On the Language of Primitive Partial Words
2015
·
Ananda Chandra Nayak
, Kalpesh Kapoor
·
Lecture notes in computer science
·
4
Kapees: A New Tool for Standard Cell Placement
2013
·
Sameer Pawanekar
, Kalpesh Kapoor
, et al.
·
Communications in computer and information science
·
4
maxREE: Maximizing Flow by Replacing Exhausted Edges in Lightning Network
2024
·
Neeraj Sharma
, Kalpesh Kapoor
·
IEEE Transactions on Network Science and Engineering
·
3
Analysis of Optimal Number of Shards Using ShardEval, A Simulator for Sharded Blockchains
2023
·
Vishisht Priyadarshi
, Sourav Goel
, et al.
·
Lecture notes in computer science
·
3
A Nonlinear Analytical Optimization Method for Standard Cell Placement of VLSI Circuits
2015
·
Sameer Pawanekar
, Gaurav Trivedi
, et al.
·
International Conference on VLSI Design
·
3
Motion planning in Cartesian product graphs
2013
·
Biswajit Deb
, Kalpesh Kapoor
·
Discussiones Mathematicae Graph Theory
·
3
PDF
ON mRJ REACHABILITY IN TREES
2012
·
BISWAJIT DEB
, KALPESH KAPOOR
, et al.
·
Discrete Mathematics Algorithms and Applications
·
3
Attacks in Distributed Routing Protocols in PCNs
2024
·
Neeraj Sharma
, Kalpesh Kapoor
·
IEEE International Conference on Blockchain (Blockchain)
·
2
Show more works
View as search
Works count:
45
Citation count:
624
H-index:
10
I10-index:
10
Year
Topic
Type
