dblp.uni-trier.dewww.uni-trier.de

Sezer Gören

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EESezer Gören, F. Joel Ferguson: On state reduction of incompletely specified finite state machines. Computers & Electrical Engineering 33(1): 58-69 (2007)
2006
4EESezer Gören, F. Joel Ferguson: Test sequence generation for controller verification and test with high coverage. ACM Trans. Design Autom. Electr. Syst. 11(4): 916-938 (2006)
2002
3EESezer Gören, F. Joel Ferguson: CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines. DATE 2002: 248-254
2EESezer Gören, F. Joel Ferguson: Testing Finite State Machines Based on a Structural Coverage Metric . ITC 2002: 773-780
1999
1 Sezer Gören, F. Joel Ferguson: Checking sequence generation for asynchronous sequential elements. ITC 1999: 406-413

Coauthor Index

1F. Joel Ferguson [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)