No photo of Hana Chockler
  • Phone82928
  • 1114
    Citations
Filter
Chapter

Search results

  • 2016

    Probabilistic Fault Localisation

    Landsberg, D., Chockler, H. & Kroening, D., 1 Nov 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Hardware and Software: Verification and Testing. Springer‐Verlag Berlin Heidelberg, Vol. 10028 LNCS. p. 65-81 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10028 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    File
    2 Citations (Scopus)
    200 Downloads (Pure)
  • 2015

    Challenges of existing technology

    Chockler, H., Kroening, D., Mariani, L. & Sharygina, N., 1 Jan 2015, Validation of Evolving Software. Springer International Publishing Switzerland, p. 7-17 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Complementarities among the technologies presented in the book

    Chockler, H., Kroening, D., Mariani, L. & Sharygina, N., 1 Jan 2015, Validation of Evolving Software. Springer International Publishing Switzerland, p. 19-21 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Lightweight static analysis check of upgrades in c/c++ software

    Chockler, H. & Ruah, S., 1 Jan 2015, Validation of Evolving Software. Springer International Publishing Switzerland, p. 25-36 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2011

    Variants of LTL Query Checking

    Chockler, H., Gurfinkel, A. & Strichman, O., 2011, Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Barner, S., Harris, Kroening, D. & Raz, O. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 76-92 17 p. (Lecture Notes in Computer Science; vol. 6504).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    8 Citations (Scopus)
  • 2009

    Cross-Entropy-Based Replay of Concurrent Programs

    Chockler, H., Farchi, E., Godlin, B. & Novikov, S., 2009, Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Chechik, M. & Wirsing, M. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 201-215 15 p. (Lecture Notes in Computer Science; vol. 5503).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)
  • 2008

    Beyond Vacuity: Towards the Strongest Passing Formula

    Chockler, H., Gurfinkel, A. & Strichman, O., 2008, 2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN. Cimatti, A. & Jones, RB. (eds.). NEW YORK: IEEE, p. 188-195 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    10 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.