Skip to main content

Software Testing, Verification and Review Methodology (STAR)

Overview

Software Testing, Verification and Review Methodology are essential for attaining a high degree of functional correctness and reliability in software products. As software systems and applications become increasingly more complex, it becomes ever more challenging to maintain a high quality using the existing testing practices. We aim at making significant contributions in the area of Software Testing & Verification by developing new technologies, practices, and tools. Several activities have already been seeded based on existing verification technologies. Functional Coverage (FoCus) has been recognized for its value to software testing quality both inside and outside IBM. We are now working on a tool for testing concurrent and distributed Java applications (ConTest), and we also see an opportunity for applying Formal Verification techniques to various types of software.

Activities

Publications

List of recent selected papers

  • Shady Copty, Shai Fine, Shmuel Ur, and Avi Ziv, "Probabilistic Alternative to Regression Suites", Theoretical Computer Science, Volume 404, Issue 3, 28 September 2008, pages 219-234.
  • Yarden Nir-Buchbinder, Rachel Tzoref, and Shmuel Ur. Deadlocks: From Exhibiting to Healing, Proceedings of the 2008 Runtime Verification Workshop, Springer, 2008.
  • Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, and Shlomo Hoory. Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections, Proceedings of ASE 2008: The 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008.
  • Eitan Farchi, Shachar Fienblit, Yakov Filiarsky, Shay Gammer, Gad Haber, Moshe Klausner, Nitzan Peleg, Sergey Novikov, and Orna Raz. The Advantages of Post-Link Code Coverage Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, October 2007.
  • Rachel Tzoref, Shmuel Ur, and Elad Yom-Tov. Instrumenting Where It Hurts: An Automatic Concurrent Debugging Technique, ISSTA 2007: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2007.
  • Alan Hartman, Mika Katara, Sergey Olvovsky. Choosing a Test Modeling Language: A Survey. Haifa Verification Conference 2006: 204-218.
  • Alan Hartman, Andrei Kirshin, and Sergey Olvovsky. Model-Driven Testing as an Infrastructure for Custom-Made Solutions. System Testing and Validation Workshop 2006: 9–18.
  • Hezi Azatchi, Eitan Marcus, Laurent Fournier, Shmuel Ur, Avi Ziv, and Keren Zohar, "Advanced Analysis Techniques for Cross-Product Coverage", IEEE Transactions on Computers, Volume 55, No. 11, pages 1367-1379, November 2006.
  • Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, and Shmuel Ur. Applications of Synchronization Coverage, PPOPP 2005: 206-212.
  • Eitan Farchi, Yoel Krasny, and Yarden Nir: Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004.

Manager

Eitan Farchi,