Scaling symbolic execution using staged analysis

Overview of attention for article published in Innovations in Systems and Software Engineering, March 2013

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 4 Dimensions

Readers on

mendeley: 10 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 301 followers.

Scaling Symbolic Execution Using #StagedAnalysis via http://t.co/eKpWdvxtU2 #AbstractSymbolicInputs http://t.co/JO7ewPEI4p

Reply Repost Favourite