1 Result(s)
within
Nishant Sinha
Computer Hardware
Mathematical Logic and Formal Languages
Software Engineering
Special Purpose and Application-Based Systems
-
Chapter and Conference Paper
Alternate and Learn: Finding Witnesses without Looking All over
Most symbolic bug detection techniques perform search over the program control flow graph based on either forward symbolic execution or backward weakest preconditions computation. The complexity of determining...
