Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Overview of attention for article published in Automated Software Engineering, February 2013

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 128 Dimensions

Readers on

mendeley: 98 Mendeley

Summary X Dimensions citations

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

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis | SpringerLink https://t.co/IYc4CJcxwn

Reply Repost Favourite