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

More People

Years
  1. 2015 (316)
Publications
  1. PNAS (13)
  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 (60)
  2. Elsevier (36)
  3. ACM (31)
  4. Nature Publishing Group (22)
  5. IEEE (21)

More Publishers

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

Results (316)

  • Abstraction-driven concolic testing
    Conference paper