default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHasan Ural
Person information
- affiliation: University of Ottawa, Ontario, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
[c52]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Reducing locating sequences for testing from finite state machines. SAC 2016: 1654-1659- 2015
- [j55]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
:
Reduced checking sequences using unreliable reset. Inf. Process. Lett. 115(5): 532-535 (2015) - 2013
- [j54]Hasan Ural, Hüsnü Yenigün:
Regression test suite selection using dependence analysis. J. Softw. Evol. Process. 25(7): 681-709 (2013) - 2012
- [j53]Hao Luo, Mehedi Masud, Hasan Ural:
Detecting Offline Transaction Concurrency Problems. J. Softw. 7(8): 1855-1860 (2012) - [j52]Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural:
Regression test suite prioritization using system models. Softw. Test. Verification Reliab. 22(7): 481-506 (2012) - [c51]Hasan Ural, Hüsnü Yenigün:
On Capturing Effects of Modifications as Data Dependencies. COMPSAC 2012: 350-351 - 2011
- [c50]Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün:
Generating Preset Distinguishing Sequences Using SAT. ISCIS 2011: 487-493 - 2010
- [j51]Robert M. Hierons, Hasan Ural:
Generating a checking sequence with a minimum number of reset transitions. Autom. Softw. Eng. 17(3): 217-250 (2010) - [j50]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang:
Lower bounds on lengths of checking sequences. Formal Aspects Comput. 22(6): 667-679 (2010) - [c49]Hasan Ural, Hüsnü Yenigün:
Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS 2010: 143-148
2000 – 2009
- 2009
- [j49]Robert M. Hierons, Hasan Ural:
Overcoming controllability problems with fewest channels between testers. Comput. Networks 53(5): 680-690 (2009) - [j48]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) - [j47]Yanping Chen, Robert L. Probert, Hasan Ural:
Regression test suite reduction based on SDL models of system requirements. J. Softw. Maintenance Res. Pract. 21(6): 379-405 (2009) - [c48]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu:
Using a SAT solver to generate checking sequences. ISCIS 2009: 549-554 - [c47]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 - 2008
- [j46]Robert M. Hierons, Hasan Ural:
The Effect of the Distributed Test Architecture on the Power of Testing. Comput. J. 51(4): 497-510 (2008) - [j45]Robert M. Hierons, Hasan Ural:
Checking sequences for distributed test architectures. Distributed Comput. 21(3): 223-238 (2008) - [c46]Jessica Chen, Robert M. Hierons, Hasan Ural:
Testing in the Distributed Test Architecture. Formal Methods and Testing 2008: 157-183 - [c45]Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687 - 2007
- [j44]Robert M. Hierons, Hasan Ural:
Reducing the cost of applying adaptive test cases. Comput. Networks 51(1): 224-238 (2007) - [c44]Yanping Chen, Robert L. Probert, Hasan Ural:
Model-based regression test suite generation using dependence analysis. A-MOST 2007: 54-62 - [c43]Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün:
Recovering Repetitive Sub-functions from Observations. FORTE 2007: 35-49 - [c42]Hasan Ural, Zhi Xu, Fan Zhang:
An Improved Approach to Passive Testing of FSM-based Systems. AST 2007: 24-30 - [c41]Hasan Ural, Zhi Xu:
An EFSM-Based Passive Fault Detection Approach. TestCom/FATES 2007: 335-350 - [c40]Yanping Chen, Robert L. Probert, Hasan Ural:
Regression test suite reduction using extended dependence analysis. SOQUA 2007: 62-69 - 2006
- [j43]Hasan Ural, Craig Williams:
Constructing checking sequences for distributed testing. Formal Aspects Comput. 18(1): 84-101 (2006) - [j42]Jessica Chen, Robert M. Hierons, Hasan Ural:
Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98(5): 177-182 (2006) - [j41]Hasan Ural, Keqin Zhu:
Distributed delay constrained multicast routing algorithm with efficient fault recovery. Networks 47(1): 37-51 (2006) - [j40]Robert M. Hierons, Hasan Ural:
Optimizing the Length of Checking Sequences. IEEE Trans. Computers 55(5): 618-629 (2006) - [c39]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Minimizing Coordination Channels in Distributed Testing. FORTE 2006: 451-466 - [c38]Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural:
Test Suite Reduction Based on Dependence Analysis. ISCIS 2006: 1021-1030 - [c37]Jessica Chen, Hasan Ural:
Detecting Observability Problems in Distributed Testing. TestCom 2006: 213-226 - [c36]Hasan Ural, Fan Zhang:
Reducing the Lengths of Checking Sequences by Overlapping. TestCom 2006: 274-288 - [c35]Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural:
Improving Coverage in Functional Testing. QSIC 2006: 99-106 - 2005
- [j39]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) - [c34]Jessica Chen, Robert M. Hierons, Hasan Ural:
Resolving Observability Problems in Distributed Test Architectures. FORTE 2005: 219-232 - [c33]K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün:
Generalizing Redundancy Elimination in Checking Sequences. ISCIS 2005: 915-926 - [c32]Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Recovering the Lattice of Repetitive Sub-functions. ISCIS 2005: 956-965 - [c31]Hyoung Seok Hong, Hasan Ural:
Dependence Testing: Extending Data Flow Testing with Control Dependence. TestCom 2005: 23-39 - [c30]Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün:
Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158 - 2004
- [j38]Robert M. Hierons, T.-H. Kim, Hasan Ural:
On the testability of SDL specifications. Comput. Networks 44(5): 681-700 (2004) - [c29]Hyoung Seok Hong, Hasan Ural:
Using Model Checking for Reducing the Cost of Test Generation. FATES 2004: 110-124 - [c28]Hasan Ural, Hüsnü Yenigün:
Towards Design Recovery from Observations. FORTE 2004: 133-149 - [c27]Jessica Chen, Robert M. Hierons, Hasan Ural:
Conditions for Resolving Observability Problems in Distributed Testing. FORTE 2004: 229-242 - 2003
- [j37]Robert M. Hierons, Hasan Ural:
UIO sequence based checking sequences for distributed test architectures. Inf. Softw. Technol. 45(12): 793-803 (2003) - [j36]Hasan Ural, David Whittier:
Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3): 133-141 (2003) - [c26]Olaf Henniger, Miao Lu, Hasan Ural:
Automatic Generation of Test Purposes for Testing Distributed Systems. FATES 2003: 178-191 - [c25]Robert M. Hierons, Hasan Ural:
Concerning the Ordering of Adaptive Test Sequences. FORTE 2003: 289-302 - [c24]Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural:
Data Flow Testing as Model Checking. ICSE 2003: 232-243 - [c23]Hasan Ural, Craig Williams:
Generating Checking Sequences for a Distributed Test Architecture. TestCom 2003: 146-162 - 2002
- [j35]Xiao Jun Chen, Hasan Ural:
Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J. 45(2): 162-173 (2002) - [j34]Robert M. Hierons, Hasan Ural:
Reduced Length Checking Sequences. IEEE Trans. Computers 51(9): 1111-1117 (2002) - [c22]Robert M. Hierons, T.-H. Kim, Hasan Ural:
Expanding an Extended Finite State Machine to aid Testability. COMPSAC 2002: 334-342 - [c21]Hasan Ural, Keqin Zhu:
Fault Recovery for a Distributed SP-Based Delay Constrained Multicast Routing Algorithm. IPDPS 2002 - [c20]Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341 - 2001
- [j33]Robert L. Probert, Hasan Ural, Alan W. Williams:
Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. 24(3-4): 374-393 (2001) - 2000
- [j32]Hasan Ural, Kassem Saleh, Alan W. Williams:
Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. 23(7): 609-627 (2000) - [j31]Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural:
A test sequence selection method for statecharts. Softw. Test. Verification Reliab. 10(4): 203-227 (2000) - [c19]Olaf Henniger, Hasan Ural:
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. SAM 2000: 189-202 - [e2]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. IFIP Conference Proceedings 176, Kluwer 2000, ISBN 0-7923-7921-7 [contents]
1990 – 1999
- 1999
- [j30]Esfandiar Haghverdi, Hasan Ural:
Submodule construction from concurrent system specifications. Inf. Softw. Technol. 41(8): 499-506 (1999) - [j29]Kemal Inan, Hasan Ural:
Efficient checking sequences for testing finite state machines. Inf. Softw. Technol. 41(11-12): 799-812 (1999) - [c18]Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural:
Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics 1999: 58-60 - 1998
- [j28]Ali Rezaki, Hasan Ural:
Erratum to "Construction of checking sequences based on characterization sets" : [Computer Communications 18 (1995) 911-920]. Comput. Commun. 21(5): 499-500 (1998) - [j27]Kadir Özdemir, Hasan Ural:
Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788]. Comput. Commun. 21(6): 591 (1998) - [j26]Hans van der Schoot, Hasan Ural:
An Improvement of Partial-Order Verification. Softw. Test. Verification Reliab. 8(2): 83-102 (1998) - [c17]Hans van der Schoot, Hasan Ural:
On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. ICDCS 1998: 130-137 - 1997
- [j25]Kadir Özdemir, Hasan Ural:
Protocol validation by simultaneous reachability analysis. Comput. Commun. 20(9): 772-788 (1997) - [j24]Hans van der Schoot, Hasan Ural:
Data Flow Analysis of System Specifications in Lotos. Int. J. Softw. Eng. Knowl. Eng. 7(1): 43-68 (1997) - [j23]Hasan Ural, Xiaolin Wu, Fan Zhang:
On Minimizing the Lengths of Checking Sequences. IEEE Trans. Computers 46(1): 93-99 (1997) - 1996
- [c16]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
- [j22]Hans van der Schoot, Hasan Ural:
Data Flow Oriented Test Selection for Lotos. Comput. Networks ISDN Syst. 27(7): 1111-1136 (1995) - [j21]Ali Rezaki, Hasan Ural:
Construction of checking sequences based on characterization sets. Comput. Commun. 18(12): 911-920 (1995) - [j20]Gang Luo, Robert L. Probert, Hasan Ural:
Approach to constructing software unit testing tools. Softw. Eng. J. 10(6): 245-252 (1995) - [j19]Marion Rodrigues, Hasan Ural:
Lower bounds for the length of test sequences using UIOs. Networks 25(1): 31-39 (1995) - [j18]Wen-Huei Chen, Hasan Ural:
Synchronizable test sequences based on multiple UIO sequences. IEEE/ACM Trans. Netw. 3(2): 152-157 (1995) - [c15]Hans van der Schoot, Hasan Ural:
Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). PODC 1995: 267 - 1994
- [j17]Kassem Saleh, Hasan Ural, Anjali Agarwal:
Modified distributed snapshots algorithm for protocol stabilization. Comput. Commun. 17(12): 863-870 (1994) - [c14]Hasan Ural, Huaqing Zeng:
Computer Aided Design of Protocol Converters. CAST 1994: 225-238 - 1993
- [j16]Hasan Ural, Zhiping Wang:
Synchronizable test sequence generation using UIO sequences. Comput. Commun. 16(10): 653-661 (1993) - [j15]Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural:
A test generation algorithm for systems modelled as non-deterministic FSMs. Softw. Eng. J. 8(4): 184-188 (1993) - [j14]Marion Rodrigues, Hasan Ural:
Exact Solutions for the Construction of Optimal Length Test Sequences. Inf. Process. Lett. 48(6): 275-280 (1993) - [j13]Hasan Ural, Keqin Zhu:
Optimal length test sequence generation using distinguishing sequences. IEEE/ACM Trans. Netw. 1(3): 358-371 (1993) - [c13]Hasan Ural, Alan W. Williams:
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE 1993: 335-350 - [c12]Jan Huus, Hasan Ural:
Language-based analysis of communicating finite state machines. ICNP 1993: 384-393 - [c11]Hasan Ural, Bo Yang:
Modeling Software for Accurate Data Flow Representation. ICSE 1993: 277-286 - [c10]Wen-Huei Chen, Chuan Yi Tang, Hasan Ural:
Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. INFOCOM 1993: 128-135 - 1992
- [j12]Hasan Ural:
Formal methods for test sequence generation. Comput. Commun. 15(5): 311-325 (1992) - 1991
- [j11]Sylvia C. Boyd, Hasan Ural:
The Synchronization Problem in Protocol Testing and its Complexity. Inf. Process. Lett. 40(3): 131-136 (1991) - [j10]Hasan Ural, Bo Yang:
A test sequence selection method for protocol testing. IEEE Trans. Commun. 39(4): 514-523 (1991) - [j9]Sylvia C. Boyd, Hasan Ural:
On the Complexity of Generating Optimal Test Sequences. IEEE Trans. Software Eng. 17(9): 976-978 (1991) - 1990
- [j8]Hasan Ural:
Specifications of distributed systems in prolog. J. Syst. Softw. 11(2): 143-154 (1990) - [c9]G. H. Masapati, Hasan Ural:
Electing a Leader in a Synchronous Scalable Network. ICCI 1990: 463-472 - [c8]Bo Yang, Hasan Ural:
Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. SIGCOMM 1990: 118-125 - [e1]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, ISBN 0-444-88810-1 [contents]
1980 – 1989
- 1989
- [j7]Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek:
A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. Comput. Networks ISDN Syst. 18(1): 19-29 (1989) - [j6]Cheryl Cleghorn, Hasan Ural:
ASNST: an Abstract Syntax Notation-One support tool. Comput. Commun. 12(5): 259-265 (1989) - [c7]Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural:
Formalization of ISDN LAPD for Conformance Testing. INFOCOM 1989: 234-246 - 1988
- [j5]Hasan Ural, Bo Yang:
A Structural Test Selection Criterion. Inf. Process. Lett. 28(3): 157-163 (1988) - 1987
- [j4]Hasan Ural:
Test sequence selection based on static data flow analysis. Comput. Commun. 10(5): 234-242 (1987) - [c6]Hasan Ural:
A Test Derivation Method for Protocol Conformance Testing. PSTV 1987: 347-358 - 1986
- [j3]Hasan Ural, Robert L. Probert:
Step-Wise Validation of Communication Protocols and Services. Comput. Networks 11: 183-202 (1986) - [c5]Hasan Ural, R. Short:
An interactive test sequence generator. SIGCOMM 1986: 541-550 - 1985
- [c4]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
- [j2]Hasan Ural, Robert L. Probert:
Automated testing of protocol specifications and their implementations. Comput. Commun. Rev. 14(2): 149-155 (1984) - [j1]Robert L. Probert, Hasan Ural:
High-level testing and example-directed development of software specifications. J. Syst. Softw. 4(4): 317-325 (1984) - [c3]Luigi Logrippo, Didier Simon, Hasan Ural:
Executable Description of the OSI Transport Service in Prolog. PSTV 1984: 279-293 - 1983
- [c2]Hasan Ural, Robert L. Probert:
User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification 1983: 421-436 - [c1]Robert L. Probert, Hasan Ural:
Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification 1983: 437-443
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
