[email protected]
@AMD Singapore Python static analysis, AST, SMT. Working on Klara - python test case generator.
Ho Guo Xian
Automatic test case generation for python and static analysis library
usagitoneko97