All Git Users → pietrobraione

2 open source projects by pietrobraione

[ Open user page on Github ]

A symbolic Java virtual machine for program analysis, verification and test generation

✭ 73

java symbolic-execution-engine java-virtual-machine

The SUSHI test case generator

✭ 19

java Dockerfile test testing-tools test-generation

1-2 of 2 user projects