2009 | ||
---|---|---|
89 | EE | Robert M. Hierons, Hasan Ural: Overcoming controllability problems with fewest channels between testers. Computer Networks 53(5): 680-690 (2009) |
2008 | ||
88 | EE | Jessica Chen, Robert M. Hierons, Hasan Ural: Testing in the Distributed Test Architecture. Formal Methods and Testing 2008: 157-183 |
87 | EE | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687 |
86 | EE | Robert M. Hierons, Hasan Ural: The Effect of the Distributed Test Architecture on the Power of Testing. Comput. J. 51(4): 497-510 (2008) |
85 | EE | Robert M. Hierons, Hasan Ural: Checking sequences for distributed test architectures. Distributed Computing 21(3): 223-238 (2008) |
2007 | ||
84 | EE | Yanping Chen, Robert L. Probert, Hasan Ural: Model-based regression test suite generation using dependence analysis. A-MOST 2007: 54-62 |
83 | EE | Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün: Recovering Repetitive Sub-functions from Observations. FORTE 2007: 35-49 |
82 | EE | Yanping Chen, Robert L. Probert, Hasan Ural: Regression test suite reduction using extended dependence analysis. SOQUA 2007: 62-69 |
81 | EE | Hasan Ural, Zhi Xu: An EFSM-Based Passive Fault Detection Approach. TestCom/FATES 2007: 335-350 |
80 | EE | Robert M. Hierons, Hasan Ural: Reducing the cost of applying adaptive test cases. Computer Networks 51(1): 224-238 (2007) |
2006 | ||
79 | EE | Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Minimizing Coordination Channels in Distributed Testing. FORTE 2006: 451-466 |
78 | EE | Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural: Test Suite Reduction Based on Dependence Analysis. ISCIS 2006: 1021-1030 |
77 | EE | Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural: Improving Coverage in Functional Testing. QSIC 2006: 99-106 |
76 | EE | Jessica Chen, Hasan Ural: Detecting Observability Problems in Distributed Testing. TestCom 2006: 213-226 |
75 | EE | Hasan Ural, Fan Zhang: Reducing the Lengths of Checking Sequences by Overlapping. TestCom 2006: 274-288 |
74 | EE | Hasan Ural, Craig Williams: Constructing checking sequences for distributed testing. Formal Asp. Comput. 18(1): 84-101 (2006) |
73 | EE | Robert M. Hierons, Hasan Ural: Optimizing the Length of Checking Sequences. IEEE Trans. Computers 55(5): 618-629 (2006) |
72 | EE | Jessica Chen, Robert M. Hierons, Hasan Ural: Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98(5): 177-182 (2006) |
71 | EE | Hasan Ural, Keqin Zhu: Distributed delay constrained multicast routing algorithm with efficient fault recovery. Networks 47(1): 37-51 (2006) |
2005 | ||
70 | EE | Jessica Chen, Robert M. Hierons, Hasan Ural: Resolving Observability Problems in Distributed Test Architectures. FORTE 2005: 219-232 |
69 | EE | K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün: Generalizing Redundancy Elimination in Checking Sequences. ISCIS 2005: 915-926 |
68 | EE | Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Recovering the Lattice of Repetitive Sub-functions. ISCIS 2005: 956-965 |
67 | EE | Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün: Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158 |
66 | EE | Hyoung Seok Hong, Hasan Ural: Dependence Testing: Extending Data Flow Testing with Control Dependence. TestCom 2005: 23-39 |
65 | EE | 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) |
2004 | ||
64 | EE | Hyoung Seok Hong, Hasan Ural: Using Model Checking for Reducing the Cost of Test Generation. FATES 2004: 110-124 |
63 | EE | Hasan Ural, Hüsnü Yenigün: Towards Design Recovery from Observations. FORTE 2004: 133-149 |
62 | EE | Jessica Chen, Robert M. Hierons, Hasan Ural: Conditions for Resolving Observability Problems in Distributed Testing. FORTE 2004: 229-242 |
61 | EE | Robert M. Hierons, T.-H. Kim, Hasan Ural: On the testability of SDL specifications. Computer Networks 44(5): 681-700 (2004) |
2003 | ||
60 | EE | Olaf Henniger, Miao Lu, Hasan Ural: Automatic Generation of Test Purposes for Testing Distributed Systems. FATES 2003: 178-191 |
59 | EE | Robert M. Hierons, Hasan Ural: Concerning the Ordering of Adaptive Test Sequences. FORTE 2003: 289-302 |
58 | EE | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243 |
57 | EE | Hasan Ural, Craig Williams: Generating Checking Sequences for a Distributed Test Architecture. TestCom 2003: 146-162 |
56 | EE | Hasan Ural, David Whittier: Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3): 133-141 (2003) |
55 | EE | Robert M. Hierons, Hasan Ural: UIO sequence based checking sequences for distributed test architectures. Information & Software Technology 45(12): 793-803 (2003) |
2002 | ||
54 | EE | Robert M. Hierons, T.-H. Kim, Hasan Ural: Expanding an Extended Finite State Machine to aid Testability. COMPSAC 2002: 334-342 |
53 | EE | Hasan Ural, Keqin Zhu: Fault Recovery for a Distributed SP-Based Delay Constrained Multicast Routing Algorithm. IPDPS 2002 |
52 | EE | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural: A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341 |
51 | EE | Xiao Jun Chen, Hasan Ural: Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J. 45(2): 162-173 (2002) |
50 | EE | Robert M. Hierons, Hasan Ural: Reduced Length Checking Sequences. IEEE Trans. Computers 51(9): 1111-1117 (2002) |
2001 | ||
49 | 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) | |
2000 | ||
48 | Hasan Ural, Robert L. Probert, Gregor von Bochmann: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada Kluwer 2000 | |
47 | Olaf Henniger, Hasan Ural: Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. SAM 2000: 189-202 | |
46 | EE | 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) |
45 | 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) | |
1999 | ||
44 | Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural: Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics 1999: 58-60 | |
43 | EE | K. Inan, Hasan Ural: Efficient checking sequences for testing finite state machines. Information & Software Technology 41(11-12): 799-812 (1999) |
42 | EE | Esfandiar Haghverdi, Hasan Ural: Submodule construction from concurrent system specifications. Information & Software Technology 41(8): 499-506 (1999) |
1998 | ||
41 | EE | Hans van der Schoot, Hasan Ural: On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. ICDCS 1998: 130-137 |
40 | EE | 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) |
39 | EE | Kadir Özdemir, Hasan Ural: Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788]. Computer Communications 21(6): 591 (1998) |
38 | Hans van der Schoot, Hasan Ural: An Improvement of Partial-Order Verification. Softw. Test., Verif. Reliab. 8(2): 83-102 (1998) | |
1997 | ||
37 | EE | Kadir Özdemir, Hasan Ural: Protocol validation by simultaneous reachability analysis. Computer Communications 20(9): 772-788 (1997) |
36 | Hasan Ural, Xiaolin Wu, Fan Zhang: On Minimizing the Lengths of Checking Sequences. IEEE Trans. Computers 46(1): 93-99 (1997) | |
35 | EE | 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) |
1996 | ||
34 | 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 | |
1995 | ||
33 | Hans van der Schoot, Hasan Ural: Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). PODC 1995: 267 | |
32 | EE | Ali Rezaki, Hasan Ural: Construction of checking sequences based on characterization sets. Computer Communications 18(12): 911-920 (1995) |
31 | EE | Hans van der Schoot, Hasan Ural: Data Flow Oriented Test Selection for Lotos. Computer Networks and ISDN Systems 27(7): 1111-1136 (1995) |
30 | EE | Wen-Huei Chen, Hasan Ural: Synchronizable test sequences based on multiple UIO sequences. IEEE/ACM Trans. Netw. 3(2): 152-157 (1995) |
1994 | ||
29 | Hasan Ural, Huaqing Zeng: Computer Aided Design of Protocol Converters. CAST 1994: 225-238 | |
28 | EE | Kassem Saleh, Hasan Ural, Anjali Agarwal: Modified distributed snapshots algorithm for protocol stabilization. Computer Communications 17(12): 863-870 (1994) |
1993 | ||
27 | Hasan Ural, Alan W. Williams: Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE 1993: 335-350 | |
26 | EE | Hasan Ural, Bo Yang: Modeling Software for Accurate Data Flow Representation. ICSE 1993: 277-286 |
25 | Wen-Huei Chen, Chuan Yi Tang, Hasan Ural: Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. INFOCOM 1993: 128-135 | |
24 | EE | Hasan Ural, Zhiping Wang: Synchronizable test sequence generation using UIO sequences. Computer Communications 16(10): 653-661 (1993) |
23 | EE | Hasan Ural, Keqin Zhu: Optimal length test sequence generation using distinguishing sequences. IEEE/ACM Trans. Netw. 1(3): 358-371 (1993) |
22 | Marion Rodrigues, Hasan Ural: Exact Solutions for the Construction of Optimal Length Test Sequences. Inf. Process. Lett. 48(6): 275-280 (1993) | |
1992 | ||
21 | EE | Hasan Ural: Formal methods for test sequence generation. Computer Communications 15(5): 311-325 (1992) |
1991 | ||
20 | EE | Sylvia C. Boyd, Hasan Ural: On the Complexity of Generating Optimal Test Sequences. IEEE Trans. Software Eng. 17(9): 976-978 (1991) |
19 | Sylvia C. Boyd, Hasan Ural: The Synchronization Problem in Protocol Testing and its Complexity. Inf. Process. Lett. 40(3): 131-136 (1991) | |
1990 | ||
18 | Luigi Logrippo, Robert L. Probert, Hasan Ural: 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 | |
17 | G. H. Masapati, Hasan Ural: Electing a Leader in a Synchronous Scalable Network. ICCI 1990: 463-472 | |
16 | EE | Bo Yang, Hasan Ural: Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. SIGCOMM 1990: 118-125 |
15 | EE | Hasan Ural: Specifications of distributed systems in prolog. Journal of Systems and Software 11(2): 143-154 (1990) |
1989 | ||
14 | Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural: Formalization of ISDN LAPD for Conformance Testing. INFOCOM 1989: 234-246 | |
13 | EE | Cheryl Cleghorn, Hasan Ural: ASNST: an Abstract Syntax Notation-One support tool. Computer Communications 12(5): 259-265 (1989) |
12 | 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) | |
1988 | ||
11 | Hasan Ural, Bo Yang: A Structural Test Selection Criterion. Inf. Process. Lett. 28(3): 157-163 (1988) | |
1987 | ||
10 | Hasan Ural: A Test Derivation Method for Protocol Conformance Testing. PSTV 1987: 347-358 | |
9 | EE | Hasan Ural: Test sequence selection based on static data flow analysis. Computer Communications 10(5): 234-242 (1987) |
1986 | ||
8 | EE | Hasan Ural, R. Short: An interactive test sequence generator. SIGCOMM 1986: 541-550 |
7 | Hasan Ural, Robert L. Probert: Step-Wise Validation of Communication Protocols and Services. Computer Networks 11: 183-202 (1986) | |
1985 | ||
6 | 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 | |
1984 | ||
5 | Luigi Logrippo, Didier Simon, Hasan Ural: Executable Description of the OSI Transport Service in Prolog. PSTV 1984: 279-293 | |
4 | EE | Hasan Ural, Robert L. Probert: Automated testing of protocol specifications and their implementations. Computer Communication Review 14(2): 149-155 (1984) |
3 | EE | 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) |
1983 | ||
2 | Hasan Ural, Robert L. Probert: User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification 1983: 421-436 | |
1 | Robert L. Probert, Hasan Ural: Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification 1983: 437-443 |