Timm:: glossary
Glossary: O

new | hot | fun | blog
a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z

[Owen02a]:
D. Owen (2002) Random Search of AND-OR Graphs Representing Finite-State Models,

[Owen02b]:
D. Owen, T. Menzies, and B. Cukic (2002) Makes Finite-State Machines More (or less) Testable? In Proceedings of IEEE International Conference on Automated Software Engineering (ASE)

[Owen03a]:
D. Owen and T. Menzies (2003) Lurch: a Lightweight Alternative to Model Checking In Proceedings of International Conference on Software Engineering and Knowledge Engineering (SEKE'03)

  See who's visiting this page. bite::src ©2003::legal 
 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


keyword: [TImM'sPaGES]