СТ |
Construction of Checking Sequences Based on UIO Sequences |
1994 |
Rezaki A., Ural H., White G. |
|
|
|
Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX |
23.05.1995 |
СТ |
A Temporal Logic Based Theory of Test Coverage and Generation |
2002 |
Hong H. S., Lee I., Sokolovsky O., Ural H. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
СТ |
Construction of Deadlock-free Designs of Communication Protocols from Observations |
2002 |
Chen X. J., Ural H. |
|
|
|
The Computer J. |
07.05.2002 |
СТ |
Concerning the Ordering of Adaptive Test Sequences |
2003 |
Hierons R. M., Ural H. |
|
|
|
Lecture Notes in Computer Science |
26.12.2003 |
СТ |
Generating Checking Sequences for a Distributed Test Architecture |
2003 |
Ural H., Williams C. |
|
|
|
Lecture Notes in Computer Science |
07.06.2003 |
СТ |
Automatic Generation of Test Purposes for Testing Distributed Systems |
2004 |
Henniger O., Lu M., Ural H. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
СТ |
Conditions for Resolving Observability Problems in Distributed Testing |
2004 |
Chen J., Hierons R. M., Ural H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
СТ |
Using Model Checking for Reducing the Cost of Test Generation |
2005 |
Hong H. S., Ural H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |