{"version":"1.0","provider_name":"Microsoft Research","provider_url":"https:\/\/www.microsoft.com\/en-us\/research","author_name":"Nikolai Tillmann","author_url":"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/","title":"Demand-Driven Compositional Symbolic Execution - Microsoft Research","type":"rich","width":600,"height":338,"html":"
Demand-Driven Compositional Symbolic Execution<\/a><\/blockquote>