Search Results - "Symbolic execution."

  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    Generalizing symbolic execution to library classes. by Khurshid, Sarfraz

    Article


    Cover Image
  2. 2

    Using symbolic execution for verifying safety-critical systems. by Coen-Porisini, Alberto

    Article


    Cover Image
  3. 3

    Parameterized unit tests with unit meister. by Tillmann, Nikolai

    Article


    Cover Image
  4. 4

    Parameterized unit tests with unit meister. by Tillman, Nikolai

    Article


    Cover Image

Search Tools: