If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Karine Even Mendoza



The Cross-Entropy based Testing
Speaker: Karine Even Mendoza
King's College London
Date: Thursday, October 20, 2016
Place: USI Lugano Campus, room SI-015, Informatics building (Via G. Buffi 13)
Time: 13:30



Large concurrent programs present a challenge for all testing approaches due to the sheer number of possible executions and difficulty to direct the scheduler to interesting (potentially buggy) executions. Exhaustive testing is clearly infeasible for even medium-size programs, since the number of possible threads-interleaving makes the state space of the program prohibitively large. Other testing techniques, which combine systematic exploration, program analysis techniques and/or heuristics for guiding a dynamic exploration, can fail to find rare faults in the code due to lack of space or time. 
In this talk, I will review the cross-entropy based testing approach of concurrent programs. The cross-entropy (CE) method is a widely used approach to estimating probabilities of rare events (Rubinstein); the CE-based testing approach uses the cross-entropy method for graph optimization problems to direct a dynamic search throw interesting and potentially buggy parts of the code via a goal function.

I will present implementations of the approach, including: performance (goal/heuristic) functions for finding rare faults of different classes of bugs, and experimental results of Java code with several up to hundreds of threads, in which the tools were able to find rare bugs successfully.



Karine Even Mendoza: currently a PhD student at King's College London, in the Software Modelling and Applied Logic group under the supervision of Dr Hana Chockler, worked in research at eBay, Netanya, Israel and at IBM Research Labs, Haifa, Israel for several years and obtained her M.Sc. in Computer Science from the Technion(2013) in the field of software verification and testing, software engineering and learning; the results of the M.Sc. thesis were presented at ISSTA 2013.


Host: Prof. Natasha Sharygina


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube