Items where Author is "Ural, Hasan"

Article

Jourdan, Guy Vincent and Ural, Hasan and Yenigün, Hüsnü (2015) Reduced checking sequences using unreliable reset. Information Processing Letters, 115 (5). pp. 532-535. ISSN 0020-0190 (Print) 1872-6119 (Online)

Ural, Hasan and Yenigün, Hüsnü (2013) Regression test suite selection using dependence analysis. Journal of Software: Evolution and Process, 25 (7). pp. 681-709. ISSN 2047-7481

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü and Zhang, Ji Chao (2010) Lower bounds on lengths of checking sequences. Formal Aspects of Computing, 22 (6). pp. 667-679. ISSN 0934-5043 (Print) 1433-299X (Online)

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2006) Minimizing coordination channels in distributed testing. Lecture Notes in Computer Science (Formal Techniques for Networked and Distributed Systems - Forte 2006), 4229 . pp. 451-466. ISSN 0302-9743 (Print) 1611-3349 (Online)

Tekle, Tuncay K. and Ural, Hasan and Yalçın, Cihan Mehmet and Yenigün, Hüsnü (2005) Generalizing redundancy elimination in checking sequences. Lecture notes in computer science, 3733 . 915 - 926. ISSN 0302-9743 (Print) 1611-3349 (Online)

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2005) Recovering the lattice of repetitive subfunctions. Lecture Notes in Computer Science, 3733 . 956 - 965. ISSN 0302-9743

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)

Ural, Hasan and Yenigün, Hüsnü (2004) Towards design recovery from observations. Lecture Notes in Computer Science (Formal Techniques for Networked and Distributed Systems - FORTE 2004, Proceedings), 3235 . pp. 133-149. ISSN 0302-9743 (Print) 1611-3349 (Online)

Papers in Conference Proceedings

Jourdan, Guy Vincent and Ural, Hasan and Yenigün, Hüsnü (2016) Reducing locating sequences for testing from finite state machines. In: 31st Annual ACM Symposium on Applied Computing (SAC'16), Pisa, Italy

Ural, Hasan and Yenigün, Hüsnü (2012) On capturing effects of modifications as data dependencies. In: 2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC), Izmir, Turkey

Güniçen, Canan and Türker, Uraz Cengiz and Ural, Hasan and Yenigün, Hüsnü (2011) Generating preset distinguishing sequences using SAT. In: 26th International Symposium on Computer and Information Sciences (ISCIS 2011), London, UK

Ural, Hasan and Yenigün, Hüsnü (2010) Dependence analysis for regression test suite selection and augmentation. In: 25th International Symposium on Computer and Information Sciences, London, UK

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü and Zhu, Dong (2009) Using a SAT solver to generate checking sequences. In: 24th International Symposium on Computer and Information Sciences, 2009 (ISCIS 2009), Güzelyurt, Kuzey Kıbrıs

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)

Ural, Hasan and Jourdan, Guy-Vincent and Yenigün, Hüsnü (2008) Combining Adaptive Tests. In: 23rd International Symposium on Computer and Information Sciences, Istanbul, TURKEY (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

Jourdan, Guy-Vincent and Ural, Hasan and Wang, Shen and Yenigün, Hüsnü (2007) Recovering repetitive sub-functions from observations. In: Formal Techniques for Networked and Distributed Systems – FORTE 2007, Tallinn, Estonia