Chef: Prototyping Symbolic Execution Engines for Interpreted Languages

Chef: Prototyping Symbolic Execution Engines for InterpretedĀ Languages

66b2d5393e5e1a030eb52832855d9cbb?s=128

Stefan Bucur

March 03, 2014
Tweet