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 proceeding › Chapter › peer-review

  Open Access

  File

  • Fault Localization 100%
  • User 7%
  • Formal Framework 7%
  2 Citations (Scopus)

  222 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 proceeding › Chapter › peer-review

  • Complex Environment 100%
  • Static Program Analysis 100%
  • Methodologies and Framework 100%
  • Development Effort 100%
  • Testing Effort 100%

• 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 proceeding › Chapter › peer-review

  • Static Analysis 100%
  • Static Program Analysis 33%

• 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 proceeding › Chapter › peer-review

  • Algorithms 100%
  • Control-Flow Graph 100%
  • Static Program Analysis 100%
  • Formal Verification 33%
  • Control Flow 33%
• 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 proceeding › Chapter

  • Modulo 100%
  • Temporal Logic 50%
  • Booleans 50%
  • Logical Equivalence 50%
  • Propositional Formula 50%
  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 proceeding › Chapter

  • Concurrent Program 100%
  • Concurrent Event 33%
  • Scheduler 16%
  • Debugging 16%
  • Replay Method 16%
  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, R. (eds.). NEW YORK: IEEE, p. 188-195 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  10 Citations (Scopus)