Ana Petrovska | DeepAI

DeepAI

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

Featured Co-authors

Kristian Beckers
8 publications
Saahil Ognawala
6 publications
Diego Marmsoler
4 publications

research

∙ 09/12/2019

Detecting Architectural Erosion using Runtime Verification

The architecture of a system captures important design decisions for the...

0 Diego Marmsoler, et al. ∙

research

∙ 12/19/2017

An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing

Recent efforts in practical symbolic execution have successfully mitigat...

0 Saahil Ognawala, et al. ∙