Speaker Deck

Chef: Prototyping Symbolic Execution Engines for Interpreted Languages

by Stefan Bucur

Published March 3, 2014 in Research