Recent Advances in Checking Sequence Construction
- Speaker
Husnu Yenigun
, Sabanci University, Istanbul
- Date and Time
Wednesday, May 12th, 2010 at 13:30
- Location
Polacksbaken, room 1113
- Abstract
-
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.