Refine Results
People
  1. Krishnendu Chatterjee (30)
  2. Jiří Friml (19)
  3. Thomas Henzinger (17)
  4. Jan Kretínský (9)
  5. Krzysztof Pietrzak (9)

More People

Years
  1. 2015 (301)
Publications
  1. PNAS (12)
  2. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (8)
  3. Computational Geometry: Theory and Applications (6)
  4. Nature Communications (6)
  5. CRYPTO: International Cryptology Conference (5)

More Publications

Publishers
  1. Springer (58)
  2. Elsevier (34)
  3. ACM (22)
  4. IEEE (21)
  5. Nature Publishing Group (21)

More Publishers

Affiliation
  1. IST Austria (273)
Peer reviewed
  1. yes (291)
  2. no (10)
Invited
  1. no (297)
  2. yes (4)

Results (301)

  • Abstraction-driven concolic testing
    Conference paper