Requirements for a Test Specification Language for Protocol Implementation Testing. - Robert L. Probert; Hasan Ural (Protocol Specification, Testing, and Verification, 1983)

User-Guided Test Sequence Generation. - Hasan Ural; Robert L. Probert (Protocol Specification, Testing, and Verification, 1983)

Executable Description of the OSI Transport Service in Prolog. - Luigi Logrippo; Didier Simon; Hasan Ural (PSTV, 1984)

Automated testing of protocol specifications and their implementations. - Hasan Ural; Robert L. Probert (Comput. Commun. Rev., 1984)

High-level testing and example-directed development of software specifications. - Robert L. Probert; Hasan Ural (J. Syst. Softw., 1984)

Use of Prolog for building protocol design tools. - Gregor von Bochmann; Rachida Dssouli; Wanderley Lopes de Souza; Behçet Sarikaya; Hasan Ural (PSTV, 1985)

An interactive test sequence generator. - Hasan Ural; R. Short (SIGCOMM, 1986)

Step-Wise Validation of Communication Protocols and Services. - Hasan Ural; Robert L. Probert (Comput. Networks, 1986)

A Test Derivation Method for Protocol Conformance Testing. - Hasan Ural (PSTV, 1987)

Test sequence selection based on static data flow analysis. - Hasan Ural (Comput. Commun., 1987)

A Structural Test Selection Criterion. - Hasan Ural; Bo Yang (Inf. Process. Lett., 1988)

Formalization of ISDN LAPD for Conformance Testing. - Teddy Boyce; T. Grenier; Robert L. Probert; Hasan Ural (INFOCOM, 1989)

A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. - Robert L. Probert; Hasan Ural; Marc W. A. Hornbeek (Comput. Networks ISDN Syst., 1989)

ASNST: an Abstract Syntax Notation-One support tool. - Cheryl Cleghorn; Hasan Ural (Comput. Commun., 1989)

Electing a Leader in a Synchronous Scalable Network. - G. H. Masapati; Hasan Ural (ICCI, 1990)

Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. - Bo Yang; Hasan Ural (SIGCOMM, 1990)

Specifications of distributed systems in prolog. - Hasan Ural (J. Syst. Softw., 1990)

The Synchronization Problem in Protocol Testing and its Complexity. - Sylvia C. Boyd; Hasan Ural (Inf. Process. Lett., 1991)

A test sequence selection method for protocol testing. - Hasan Ural; Bo Yang (IEEE Trans. Commun., 1991)

On the Complexity of Generating Optimal Test Sequences. - Sylvia C. Boyd; Hasan Ural (IEEE Trans. Software Eng., 1991)

Formal methods for test sequence generation. - Hasan Ural (Comput. Commun., 1992)

Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. - Hasan Ural; Alan W. Williams (FORTE, 1993)

Language-based analysis of communicating finite state machines. - Jan Huus; Hasan Ural (ICNP, 1993)

Modeling Software for Accurate Data Flow Representation. - Hasan Ural; Bo Yang (ICSE, 1993)

Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. - Wen-Huei Chen; Chuan Yi Tang; Hasan Ural (INFOCOM, 1993)

Synchronizable test sequence generation using UIO sequences. - Hasan Ural; Zhiping Wang (Comput. Commun., 1993)

A test generation algorithm for systems modelled as non-deterministic FSMs. - Hosam AboElFotoh; Osman Abou-Rabia; Hasan Ural (Softw. Eng. J., 1993)

Exact Solutions for the Construction of Optimal Length Test Sequences. - Marion Rodrigues; Hasan Ural (Inf. Process. Lett., 1993)

Optimal length test sequence generation using distinguishing sequences. - Hasan Ural; Keqin Zhu (IEEE/ACM Trans. Netw., 1993)

Computer Aided Design of Protocol Converters. - Hasan Ural; Huaqing Zeng (CAST, 1994)

Modified distributed snapshots algorithm for protocol stabilization. - Kassem Saleh; Hasan Ural; Anjali Agarwal (Comput. Commun., 1994)

Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). - Hans van der Schoot; Hasan Ural (PODC, 1995)

Data Flow Oriented Test Selection for Lotos. - Hans van der Schoot; Hasan Ural (Comput. Networks ISDN Syst., 1995)

Construction of checking sequences based on characterization sets. - Ali Rezaki; Hasan Ural (Comput. Commun., 1995)

Approach to constructing software unit testing tools. - Gang Luo; Robert L. Probert; Hasan Ural (Softw. Eng. J., 1995)

Lower bounds for the length of test sequences using UIOs. - Marion Rodrigues; Hasan Ural (Networks, 1995)

Synchronizable test sequences based on multiple UIO sequences. - Wen-Huei Chen; Hasan Ural (IEEE/ACM Trans. Netw., 1995)

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). - Hong Liu 004; Raymond E. Miller; Hans van der Schoot; Hasan Ural (ICDCS, 1996)

Protocol validation by simultaneous reachability analysis. - Kadir Özdemir; Hasan Ural (Comput. Commun., 1997)

Data Flow Analysis of System Specifications in Lotos. - Hans van der Schoot; Hasan Ural (Int. J. Softw. Eng. Knowl. Eng., 1997)

On Minimizing the Lengths of Checking Sequences. - Hasan Ural; Xiaolin Wu 001; Fan Zhang 001 (IEEE Trans. Computers, 1997)

On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. - Hans van der Schoot; Hasan Ural (ICDCS, 1998)

Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788]. - Kadir Özdemir; Hasan Ural (Comput. Commun., 1998)

Erratum to "Construction of checking sequences based on characterization sets" : [Computer Communications 18 (1995) 911-920]. - Ali Rezaki; Hasan Ural (Comput. Commun., 1998)

An Improvement of Partial-Order Verification. - Hans van der Schoot; Hasan Ural (Softw. Test. Verification Reliab., 1998)

Corba-Based Telecom Application of Distributed Object Computing. - Kassem Saleh; Hassib Khanafer; Robert L. Probert; Hasan Ural (Applied Informatics, 1999)

Submodule construction from concurrent system specifications. - Esfandiar Haghverdi; Hasan Ural (Inf. Softw. Technol., 1999)

Efficient checking sequences for testing finite state machines. - Kemal Inan; Hasan Ural (Inf. Softw. Technol., 1999)

Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. - Olaf Henniger; Hasan Ural (SAM, 2000)

Test generation based on control and data dependencies within system specifications in SDL. - Hasan Ural; Kassem Saleh; Alan W. Williams (Comput. Commun., 2000)

A test sequence selection method for statecharts. - Hyoung Seok Hong; Young Gon Kim; Sung Deok Cha; Doo-Hwan Bae; Hasan Ural (Softw. Test. Verification Reliab., 2000)

Rapid generation of functional tests using MSCs, SDL and TTCN. - Robert L. Probert; Hasan Ural; Alan W. Williams (Comput. Commun., 2001)

Expanding an Extended Finite State Machine to aid Testability. - Robert M. Hierons; T.-H. Kim; Hasan Ural (COMPSAC, 2002)

Fault Recovery for a Distributed SP-Based Delay Constrained Multicast Routing Algorithm. - Hasan Ural; Keqin Zhu (IPDPS, 2002)

A Temporal Logic Based Theory of Test Coverage and Generation. - Hyoung Seok Hong; Insup Lee 001; Oleg Sokolsky; Hasan Ural (TACAS, 2002)

Construction of Deadlock-free Designs of Communication Protocols from Observation. - Xiao Jun Chen; Hasan Ural (Comput. J., 2002)

Reduced Length Checking Sequences. - Robert M. Hierons; Hasan Ural (IEEE Trans. Computers, 2002)

Automatic Generation of Test Purposes for Testing Distributed Systems. - Olaf Henniger; Miao Lu; Hasan Ural (FATES, 2003)

Concerning the Ordering of Adaptive Test Sequences. - Robert M. Hierons; Hasan Ural (FORTE, 2003)

Data Flow Testing as Model Checking. - Hyoung Seok Hong; Sung Deok Cha; Insup Lee 001; Oleg Sokolsky; Hasan Ural (ICSE, 2003)

Generating Checking Sequences for a Distributed Test Architecture. - Hasan Ural; Craig Williams (TestCom, 2003)

UIO sequence based checking sequences for distributed test architectures. - Robert M. Hierons; Hasan Ural (Inf. Softw. Technol., 2003)

Distributed testing without encountering controllability and observability problems. - Hasan Ural; David Whittier (Inf. Process. Lett., 2003)

Using Model Checking for Reducing the Cost of Test Generation. - Hyoung Seok Hong; Hasan Ural (FATES, 2004)

Conditions for Resolving Observability Problems in Distributed Testing. - Jessica Chen; Robert M. Hierons; Hasan Ural (FORTE, 2004)

Towards Design Recovery from Observations. - Hasan Ural; Hüsnü Yenigün (FORTE, 2004)

On the testability of SDL specifications. - Robert M. Hierons; T.-H. Kim; Hasan Ural (Comput. Networks, 2004)

Resolving Observability Problems in Distributed Test Architectures. - Jessica Chen; Robert M. Hierons; Hasan Ural (FORTE, 2005)

Recovering the Lattice of Repetitive Sub-functions. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (ISCIS, 2005)

Generalizing Redundancy Elimination in Checking Sequences. - K. Tuncay Tekle; Hasan Ural; M. Cihan Yalcin; Hüsnü Yenigün (ISCIS, 2005)

Eliminating Redundant Tests in a Checking Sequence. - Jessica Chen; Robert M. Hierons; Hasan Ural; Hüsnü Yenigün (TestCom, 2005)

Dependence Testing: Extending Data Flow Testing with Control Dependence. - Hyoung Seok Hong; Hasan Ural (TestCom, 2005)

Minimizing the number of inputs while applying adaptive test cases. - Guy-Vincent Jourdan; Hasan Ural; Nejib Zaguia (Inf. Process. Lett., 2005)

Minimizing Coordination Channels in Distributed Testing. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (FORTE, 2006)

Test Suite Reduction Based on Dependence Analysis. - Guy-Vincent Jourdan; Panitee Ritthiruangdech; Hasan Ural (ISCIS, 2006)

Detecting Observability Problems in Distributed Testing. - Jessica Chen; Hasan Ural (TestCom, 2006)

Reducing the Lengths of Checking Sequences by Overlapping. - Hasan Ural; Fan Zhang 001 (TestCom, 2006)

Improving Coverage in Functional Testing. - Jessica Chen; Guy-Vincent Jourdan; Wenxin Ma; Hasan Ural (QSIC, 2006)

Constructing checking sequences for distributed testing. - Hasan Ural; Craig Williams (Formal Aspects Comput., 2006)

Overcoming observability problems in distributed test architectures. - Jessica Chen; Robert M. Hierons; Hasan Ural (Inf. Process. Lett., 2006)

Distributed delay constrained multicast routing algorithm with efficient fault recovery. - Hasan Ural; Keqin Zhu (Networks, 2006)

Optimizing the Length of Checking Sequences. - Robert M. Hierons; Hasan Ural (IEEE Trans. Computers, 2006)

Model-based regression test suite generation using dependence analysis. - Yanping Chen 004; Robert L. Probert; Hasan Ural (A-MOST, 2007)

Recovering Repetitive Sub-functions from Observations. - Guy-Vincent Jourdan; Hasan Ural; Shen Wang; Hüsnü Yenigün (FORTE, 2007)

An Improved Approach to Passive Testing of FSM-based Systems. - Hasan Ural; Zhi Xu; Fan Zhang 001 (AST, 2007)

An EFSM-Based Passive Fault Detection Approach. - Hasan Ural; Zhi Xu (TestCom/FATES, 2007)

Regression test suite reduction using extended dependence analysis. - Yanping Chen 004; Robert L. Probert; Hasan Ural (SOQUA, 2007)

Reducing the cost of applying adaptive test cases. - Robert M. Hierons; Hasan Ural (Comput. Networks, 2007)

Testing in the Distributed Test Architecture. - Jessica Chen; Robert M. Hierons; Hasan Ural (Formal Methods and Testing, 2008)

Using adaptive distinguishing sequences in checking sequence constructions. - Robert M. Hierons; Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (SAC, 2008)

The Effect of the Distributed Test Architecture on the Power of Testing. - Robert M. Hierons; Hasan Ural (Comput. J., 2008)

Checking sequences for distributed test architectures. - Robert M. Hierons; Hasan Ural (Distributed Comput., 2008)

Using a SAT solver to generate checking sequences. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün; Dong Zhu (ISCIS, 2009)

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. - Robert M. Hierons; Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (SEFM, 2009)

Overcoming controllability problems with fewest channels between testers. - Robert M. Hierons; Hasan Ural (Comput. Networks, 2009)

Update Processing in Instance-Mapped P2P Data Sharing Systems. - Mehedi Masud; Iluju Kiringa; Hasan Ural (Int. J. Cooperative Inf. Syst., 2009)

Regression test suite reduction based on SDL models of system requirements. - Yanping Chen 004; Robert L. Probert; Hasan Ural (J. Softw. Maintenance Res. Pract., 2009)

Dependence Analysis for Regression Test Suite Selection and Augmentation. - Hasan Ural; Hüsnü Yenigün (ISCIS, 2010)

Generating a checking sequence with a minimum number of reset transitions. - Robert M. Hierons; Hasan Ural (Autom. Softw. Eng., 2010)

Lower bounds on lengths of checking sequences. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün; Ji Chao Zhang (Formal Aspects Comput., 2010)

Generating Preset Distinguishing Sequences Using SAT. - Canan Güniçen; Uraz Cengiz Türker; Hasan Ural; Hüsnü Yenigün (ISCIS, 2011)

On Capturing Effects of Modifications as Data Dependencies. - Hasan Ural; Hüsnü Yenigün (COMPSAC, 2012)

Detecting Offline Transaction Concurrency Problems. - Hao Luo; Mehedi Masud; Hasan Ural (J. Softw., 2012)

Regression test suite prioritization using system models. - Luay Ho Tahat; Bogdan Korel; Mark Harman; Hasan Ural (Softw. Test. Verification Reliab., 2012)

Regression test suite selection using dependence analysis. - Hasan Ural; Hüsnü Yenigün (J. Softw. Evol. Process., 2013)

Reduced checking sequences using unreliable reset. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (Inf. Process. Lett., 2015)

Reducing locating sequences for testing from finite state machines. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (SAC, 2016)