Joxan Jaffar | DeepAI

DeepAI

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

Featured Co-authors

Roland H. C. Yap
9 publications
Gregory J. Duck
5 publications
Rasool Maghareh
1 publication
Sangharatna Godboley
1 publication
Xuan-Linh Ha
1 publication

research

∙ 12/01/2020

TracerX: Dynamic Symbolic Execution with Interpolation

Dynamic Symbolic Execution (DSE) is an important method for the testing ...

0 Joxan Jaffar, et al. ∙

research

∙ 04/25/2018

Shape Neutral Analysis of Graph-based Data-structures

Malformed data-structures can lead to runtime errors such as arbitrary m...

0 Gregory J. Duck, et al. ∙