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.