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 |