Items where Author is "Hierons, Robert M."

Article

Chen, Jessica and Hierons, Robert M. and Ural, Hasan and Yenigün, Hüsnü (2005) Eliminating redundant tests in a checking sequence. Lecture notes in computer science, 3502 . pp. 146-158. ISSN 0302-9743 (Print) 1611-3349 (Online)

Papers in Conference Proceedings

Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2009) Checking sequence construction using adaptive and preset distinguishing sequences. In: 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam (Accepted)

Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2008) Using adaptive distinguishing sequences in checking sequence constructions. In: Proceedings of ACM Symposium on Applied Computing, Fortaleza, Ceara, Brazil