S. M. E.

Suggest Changes
Learn More
  • OXAN, AFFAR, +7 authors ANTOSA
  • 2012
Recentlysymbolic execution ( SE) [15] has been successfully proven to be an alternative to CEGAR for program verification offering the following benefits amo ng others [12, 18]: (1) it does not(More)