Hasan Ural

Hao Luo, Mehedi Masud, Hasan Ural: Detecting Offline Transaction Concurrency Problems. JSW 7(8): 1855-1860 (2012)

Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural: Regression test suite prioritization using system models. Softw. Test., Verif. Reliab. 22(7): 481-506 (2012)

Hasan Ural, Hüsnü Yenigün: On Capturing Effects of Modifications as Data Dependencies. COMPSAC 2012: 350-351

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

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

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang: Lower bounds on lengths of checking sequences. Formal Asp. Comput. 22(6): 667-679 (2010)

Hasan Ural, Hüsnü Yenigün: Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS 2010: 143-148

Robert M. Hierons, Hasan Ural: Overcoming controllability problems with fewest channels between testers. Computer Networks 53(5): 680-690 (2009)

Mehedi Masud, Iluju Kiringa, Hasan Ural: Update Processing in Instance-Mapped P2P Data Sharing Systems. Int. J. Cooperative Inf. Syst. 18(3-4): 339-379 (2009)

Yanping Chen, Robert L. Probert, Hasan Ural: Regression test suite reduction based on SDL models of system requirements. Journal of Software Maintenance 21(6): 379-405 (2009)

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

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

Robert M. Hierons, Hasan Ural: The Effect of the Distributed Test Architecture on the Power of Testing. Comput. J. 51(4): 497-510 (2008)

Robert M. Hierons, Hasan Ural: Checking sequences for distributed test architectures. Distributed Computing 21(3): 223-238 (2008)

Jessica Chen, Robert M. Hierons, Hasan Ural: Testing in the Distributed Test Architecture. Formal Methods and Testing 2008: 157-183

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

Robert M. Hierons, Hasan Ural: Reducing the cost of applying adaptive test cases. Computer Networks 51(1): 224-238 (2007)

Yanping Chen, Robert L. Probert, Hasan Ural: Model-based regression test suite generation using dependence analysis. A-MOST 2007: 54-62

Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün: Recovering Repetitive Sub-functions from Observations. FORTE 2007: 35-49

Hasan Ural, Zhi Xu, Fan Zhang: An Improved Approach to Passive Testing of FSM-based Systems. AST 2007: 24-30

Hasan Ural, Zhi Xu: An EFSM-Based Passive Fault Detection Approach. TestCom/FATES 2007: 335-350

Yanping Chen, Robert L. Probert, Hasan Ural: Regression test suite reduction using extended dependence analysis. SOQUA 2007: 62-69

Hasan Ural, Craig Williams: Constructing checking sequences for distributed testing. Formal Asp. Comput. 18(1): 84-101 (2006)

Jessica Chen, Robert M. Hierons, Hasan Ural: Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98(5): 177-182 (2006)

Hasan Ural, Keqin Zhu: Distributed delay constrained multicast routing algorithm with efficient fault recovery. Networks 47(1): 37-51 (2006)

Robert M. Hierons, Hasan Ural: Optimizing the Length of Checking Sequences. IEEE Trans. Computers 55(5): 618-629 (2006)

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Minimizing Coordination Channels in Distributed Testing. FORTE 2006: 451-466

Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural: Test Suite Reduction Based on Dependence Analysis. ISCIS 2006: 1021-1030

Jessica Chen, Hasan Ural: Detecting Observability Problems in Distributed Testing. TestCom 2006: 213-226

Hasan Ural, Fan Zhang: Reducing the Lengths of Checking Sequences by Overlapping. TestCom 2006: 274-288

Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural: Improving Coverage in Functional Testing. QSIC 2006: 99-106

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

Jessica Chen, Robert M. Hierons, Hasan Ural: Resolving Observability Problems in Distributed Test Architectures. FORTE 2005: 219-232

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

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Recovering the Lattice of Repetitive Sub-functions. ISCIS 2005: 956-965

Hyoung Seok Hong, Hasan Ural: Dependence Testing: Extending Data Flow Testing with Control Dependence. TestCom 2005: 23-39

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

Robert M. Hierons, T.-H. Kim, Hasan Ural: On the testability of SDL specifications. Computer Networks 44(5): 681-700 (2004)

Hyoung Seok Hong, Hasan Ural: Using Model Checking for Reducing the Cost of Test Generation. FATES 2004: 110-124

Hasan Ural, Hüsnü Yenigün: Towards Design Recovery from Observations. FORTE 2004: 133-149

Jessica Chen, Robert M. Hierons, Hasan Ural: Conditions for Resolving Observability Problems in Distributed Testing. FORTE 2004: 229-242

Robert M. Hierons, Hasan Ural: UIO sequence based checking sequences for distributed test architectures. Information & Software Technology 45(12): 793-803 (2003)

Hasan Ural, David Whittier: Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3): 133-141 (2003)

Olaf Henniger, Miao Lu, Hasan Ural: Automatic Generation of Test Purposes for Testing Distributed Systems. FATES 2003: 178-191

Robert M. Hierons, Hasan Ural: Concerning the Ordering of Adaptive Test Sequences. FORTE 2003: 289-302

Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243

Hasan Ural, Craig Williams: Generating Checking Sequences for a Distributed Test Architecture. TestCom 2003: 146-162

Xiao Jun Chen, Hasan Ural: Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J. 45(2): 162-173 (2002)

Robert M. Hierons, Hasan Ural: Reduced Length Checking Sequences. IEEE Trans. Computers 51(9): 1111-1117 (2002)

Robert M. Hierons, T.-H. Kim, Hasan Ural: Expanding an Extended Finite State Machine to aid Testability. COMPSAC 2002: 334-342

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

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural: A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341

Robert L. Probert, Hasan Ural, Alan W. Williams: Rapid generation of functional tests using MSCs, SDL and TTCN. Computer Communications 24(3-4): 374-393 (2001)

Hasan Ural, Kassem Saleh, Alan W. Williams: Test generation based on control and data dependencies within system specifications in SDL. Computer Communications 23(7): 609-627 (2000)

Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural: A test sequence selection method for statecharts. Softw. Test., Verif. Reliab. 10(4): 203-227 (2000)

Olaf Henniger, Hasan Ural: Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. SAM 2000: 189-202

Hasan Ural, Robert L. Probert, Gregor von Bochmann (Eds.): Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. IFIP Conference Proceedings 176, Kluwer 2000, isbn 0-7923-7921-7

Esfandiar Haghverdi, Hasan Ural: Submodule construction from concurrent system specifications. Information & Software Technology 41(8): 499-506 (1999)

K. Inan, Hasan Ural: Efficient checking sequences for testing finite state machines. Information & Software Technology 41(11-12): 799-812 (1999)

Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural: Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics 1999: 58-60

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

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

Hans van der Schoot, Hasan Ural: An Improvement of Partial-Order Verification. Softw. Test., Verif. Reliab. 8(2): 83-102 (1998)

Hans van der Schoot, Hasan Ural: On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. ICDCS 1998: 130-137

Kadir Özdemir, Hasan Ural: Protocol validation by simultaneous reachability analysis. Computer Communications 20(9): 772-788 (1997)

Hans van der Schoot, Hasan Ural: Data Flow Analysis of System Specifications in Lotos. International Journal of Software Engineering and Knowledge Engineering 7(1): 43-68 (1997)

Hasan Ural, Xiaolin Wu, Fan Zhang: On Minimizing the Lengths of Checking Sequences. IEEE Trans. Computers 46(1): 93-99 (1997)

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

Hans van der Schoot, Hasan Ural: Data Flow Oriented Test Selection for Lotos. Computer Networks and ISDN Systems 27(7): 1111-1136 (1995)

Ali Rezaki, Hasan Ural: Construction of checking sequences based on characterization sets. Computer Communications 18(12): 911-920 (1995)

Marion Rodrigues, Hasan Ural: Lower bounds for the length of test sequences using UIOs. Networks 25(1): 31-39 (1995)

Wen-Huei Chen, Hasan Ural: Synchronizable test sequences based on multiple UIO sequences. IEEE/ACM Trans. Netw. 3(2): 152-157 (1995)

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

Kassem Saleh, Hasan Ural, Anjali Agarwal: Modified distributed snapshots algorithm for protocol stabilization. Computer Communications 17(12): 863-870 (1994)

Hasan Ural, Huaqing Zeng: Computer Aided Design of Protocol Converters. CAST 1994: 225-238

Hasan Ural, Zhiping Wang: Synchronizable test sequence generation using UIO sequences. Computer Communications 16(10): 653-661 (1993)

Marion Rodrigues, Hasan Ural: Exact Solutions for the Construction of Optimal Length Test Sequences. Inf. Process. Lett. 48(6): 275-280 (1993)

Hasan Ural, Keqin Zhu: Optimal length test sequence generation using distinguishing sequences. IEEE/ACM Trans. Netw. 1(3): 358-371 (1993)

Hasan Ural, Alan W. Williams: Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE 1993: 335-350

Hasan Ural, Bo Yang: Modeling Software for Accurate Data Flow Representation. ICSE 1993: 277-286

Wen-Huei Chen, Chuan Yi Tang, Hasan Ural: Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. INFOCOM 1993: 128-135

Hasan Ural: Formal methods for test sequence generation. Computer Communications 15(5): 311-325 (1992)

Sylvia C. Boyd, Hasan Ural: The Synchronization Problem in Protocol Testing and its Complexity. Inf. Process. Lett. 40(3): 131-136 (1991)

Hasan Ural, Bo Yang: A test sequence selection method for protocol testing. IEEE Transactions on Communications 39(4): 514-523 (1991)

Sylvia C. Boyd, Hasan Ural: On the Complexity of Generating Optimal Test Sequences. IEEE Trans. Software Eng. 17(9): 976-978 (1991)

Hasan Ural: Specifications of distributed systems in prolog. Journal of Systems and Software 11(2): 143-154 (1990)

G. H. Masapati, Hasan Ural: Electing a Leader in a Synchronous Scalable Network. ICCI 1990: 463-472

Bo Yang, Hasan Ural: Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. SIGCOMM 1990: 118-125

Luigi Logrippo, Robert L. Probert, Hasan Ural (Eds.): Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. North-Holland 1990, isbn 0-444-88810-1

Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek: A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. Computer Networks and ISDN Systems 18(1): 19-29 (1989)

Cheryl Cleghorn, Hasan Ural: ASNST: an Abstract Syntax Notation-One support tool. Computer Communications 12(5): 259-265 (1989)

Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural: Formalization of ISDN LAPD for Conformance Testing. INFOCOM 1989: 234-246

Hasan Ural, Bo Yang: A Structural Test Selection Criterion. Inf. Process. Lett. 28(3): 157-163 (1988)

Hasan Ural: Test sequence selection based on static data flow analysis. Computer Communications 10(5): 234-242 (1987)

Hasan Ural: A Test Derivation Method for Protocol Conformance Testing. PSTV 1987: 347-358

Hasan Ural, Robert L. Probert: Step-Wise Validation of Communication Protocols and Services. Computer Networks 11: 183-202 (1986)

Hasan Ural, R. Short: An interactive test sequence generator. SIGCOMM 1986: 541-550

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

Hasan Ural, Robert L. Probert: Automated testing of protocol specifications and their implementations. Computer Communication Review 14(2): 149-155 (1984)

Robert L. Probert, Hasan Ural: High-level testing and example-directed development of software specifications. Journal of Systems and Software 4(4): 317-325 (1984)

Luigi Logrippo, Didier Simon, Hasan Ural: Executable Description of the OSI Transport Service in Prolog. PSTV 1984: 279-293

Hasan Ural, Robert L. Probert: User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification 1983: 421-436

Robert L. Probert, Hasan Ural: Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification 1983: 437-443