Tanay Kanti Paul

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Finite Model Theory

Conjunctive Queries

Deeper Understanding

Boolean Expressions

Top Venues

Publications

Tanay Kanti Paul, Man Fai Lau, Sebastian Ng
On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions. QSIC (2014)
Tanay Kanti Paul, Man Fai Lau
A systematic literature review on modified condition and decision coverage. SAC (2014)
Shimul Kumar Nath, Robert G. Merkel, Man Fai Lau, Tanay Kanti Paul
Towards a Better Understanding of Testing if Conditionals. APSEC (2012)
Shimul Kumar Nath, Robert G. Merkel, Man Fai Lau, Tanay Kanti Paul
Towards a better understanding of testing if conditionals CoRR (2012)
Tanay Kanti Paul, Man Fai Lau
Redefinition of Fault Classes in Logic Expressions. QSIC (2012)