Software Testing, Verification and Review Methodology is 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. The group I lead aim at making significant contributions in the area of Software Quality by developing new technologies, practices, and tools, working in close collaboration with development and testing groups.
My new interest is the quality of cognitive system. See http://cs.biu.ac.il/en/node/3762 for details. Also see http://eitanfarchiml.blogspot.co.il/ and http://www.research.ibm.com/haifa/dept/vst/ML-studygroup.shtml