Guolong Zheng | DeepAI

DeepAI

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

Featured Co-authors

ThanhVu Nguyen
12 publications
Ton Chanh Le
9 publications
Nazareno Aguirre
9 publications
Hamid Bagheri
3 publications
Marcelo F. Frias
3 publications
Simón Gutiérrez Brida
3 publications
Germán Regis
2 publications

research

∙ 02/19/2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models

Fault localization is a practical research topic that helps developers i...

0 Guolong Zheng, et al. ∙

research

∙ 03/22/2019

SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

We introduce a new dynamic analysis technique to discover invariants in ...

0 Ton Chanh Le, et al. ∙