Kausik Datta

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 3

Top Topics

Symbolic Execution

Software Maintenance

Piecewise Linear

Object Oriented

Top Venues

J. Softw. Evol. Process.

Publications

Srijoni Majumdar, Ayush Bansal, Partha Pratim Das, Paul D. Clough, Kausik Datta, Soumya Kanti Ghosh
Automated evaluation of comments to aid software maintenance. J. Softw. Evol. Process. 34 (7) (2022)
Kausik Datta, Goutam Kumar Bhaumik, Rohit Goel
An Introduction to VHDL 2008. VLSI Design (2016)
Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho
A Verification Guided Approach for Selective Program Transformations for Approximate Computing. ATS (2016)
Ansuman Banerjee, Kausik Datta, Pallab Dasgupta
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA (2008)
Kausik Datta, P. P. Das
Assertion Based Verification Using HDVL. VLSI Design (2004)