Hasini Witharana | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Prabhat Mishra
13 publications
Aruna Jayasena
3 publications
Daniel Volya
1 publication

research

∙ 03/02/2023

quAssert: Automatic Generation of Quantum Assertions

Functional validation is necessary to detect any errors during quantum c...

0 Hasini Witharana, et al. ∙

research

∙ 02/23/2023

Sequence-Based Incremental Concolic Testing of RTL Models

Concolic testing is a scalable solution for automated generation of dire...

0 Hasini Witharana, et al. ∙