Department of Information Technology

Recent Advances in Checking Sequence Construction


Husnu Yenigun, Sabanci University, Istanbul

Date and Time

Wednesday, May 12th, 2010 at 13:30


Polacksbaken, room 1113


In the context of finite state machine based testing, where the specifications are given in the form of a Mealy machine, Checking Sequences are special test sequences with full fault coverage guarantee under certain assumptions on specifications and implementations. The problem of generating checking sequences and finding short ones has an history of about half a century.

In this talk, we will go over some of the relatively new methods for generating checking sequences.

Back to the seminar page

Updated  2010-05-04 12:09:32 by Frédéric Haziza.