cesaro
I develop automated program analysis techniques for formal verification, bug finding, and test generation.
Cadence & University Paris 13, Sorbonne Paris CitéOxford, UK
cesaro's Stars
cesaro/cunf
A model checker for safe Petri nets based on partial-order semantics
mcmd/CGEspLondresBot
season-lab/survey-symbolic-execution
A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
cdelmas/microservices-comparison
A sample project to compare Microservices libraries.
vusec/vuzzer
CENSUS/choronzon
An evolutionary knowledge-based fuzzer