Showing 1 - 1 results of 1 for search '"Assertion differencing"', query time: 1.24s Refine Results
  1. 1
    Enhancing symbolic execution using memoization and incremental techniques
    by Yang, Guowei, active 2013
    Published 2013
    Subjects: “...Assertion differencing...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search