Kiran Lakhotia

Kiran Lakhotia

Research Associate, CREST, University College London
在 cs.ucl.ac.uk 的电子邮件经过验证
被引用次数：1297
SBSE Software Testing Dynamic Symbolic Execution
Robin David

Robin David

Software Security Engineer
在 quarkslab.com 的电子邮件经过验证
被引用次数：410
Binary analysis Dynamic symbolic execution Malware analysis
Sergey Vartanov

Sergey Vartanov

ISP RAS
在 ispras.ru 的电子邮件经过验证
被引用次数：130
dynamic symbolic execution Java analysis