Hasan Ural

Publication Activity (10 Years)

Years Active: 1983-2016
Publications (10 Years): 1

Top Venues

SAC

Inf. Process. Lett.

Softw. Test. Verification Reliab.

J. Softw.

Publications

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Reducing locating sequences for testing from finite state machines. SAC (2016)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Reduced checking sequences using unreliable reset. Inf. Process. Lett. 115 (5) (2015)
Hasan Ural, Hüsnü Yenigün
Regression test suite selection using dependence analysis. J. Softw. Evol. Process. 25 (7) (2013)
Hasan Ural, Hüsnü Yenigün
On Capturing Effects of Modifications as Data Dependencies. COMPSAC (2012)
Hao Luo, Mehedi Masud, Hasan Ural
Detecting Offline Transaction Concurrency Problems. J. Softw. 7 (8) (2012)
Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural
Regression test suite prioritization using system models. Softw. Test. Verification Reliab. 22 (7) (2012)
Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün
Generating Preset Distinguishing Sequences Using SAT. ISCIS (2011)
Hasan Ural, Hüsnü Yenigün
Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS (2010)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang
Lower bounds on lengths of checking sequences. Formal Aspects Comput. 22 (6) (2010)
Robert M. Hierons, Hasan Ural
Generating a checking sequence with a minimum number of reset transitions. Autom. Softw. Eng. 17 (3) (2010)
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) (2009)
Mehedi Masud, Iluju Kiringa, Hasan Ural
Update Processing in Instance-Mapped P2P Data Sharing Systems. Int. J. Cooperative Inf. Syst. 18 (3-4) (2009)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu
Using a SAT solver to generate checking sequences. ISCIS (2009)
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM (2009)
Robert M. Hierons, Hasan Ural
Overcoming controllability problems with fewest channels between testers. Comput. Networks 53 (5) (2009)
Robert M. Hierons, Hasan Ural
The Effect of the Distributed Test Architecture on the Power of Testing. Comput. J. 51 (4) (2008)
Jessica Chen, Robert M. Hierons, Hasan Ural
Testing in the Distributed Test Architecture. Formal Methods and Testing (2008)
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Using adaptive distinguishing sequences in checking sequence constructions. SAC (2008)
Robert M. Hierons, Hasan Ural
Checking sequences for distributed test architectures. Distributed Comput. 21 (3) (2008)
Yanping Chen, Robert L. Probert, Hasan Ural
Regression test suite reduction using extended dependence analysis. SOQUA (2007)
Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
Recovering Repetitive Sub-functions from Observations. FORTE (2007)
Hasan Ural, Zhi Xu
An EFSM-Based Passive Fault Detection Approach. TestCom/FATES (2007)
Yanping Chen, Robert L. Probert, Hasan Ural
Model-based regression test suite generation using dependence analysis. A-MOST (2007)
Robert M. Hierons, Hasan Ural
Reducing the cost of applying adaptive test cases. Comput. Networks 51 (1) (2007)
Hasan Ural, Zhi Xu, Fan Zhang
An Improved Approach to Passive Testing of FSM-based Systems. AST (2007)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Minimizing Coordination Channels in Distributed Testing. FORTE (2006)
Hasan Ural, Fan Zhang
Reducing the Lengths of Checking Sequences by Overlapping. TestCom (2006)
Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural
Test Suite Reduction Based on Dependence Analysis. ISCIS (2006)
Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural
Improving Coverage in Functional Testing. QSIC (2006)
Robert M. Hierons, Hasan Ural
Optimizing the Length of Checking Sequences. IEEE Trans. Computers 55 (5) (2006)
Jessica Chen, Hasan Ural
Detecting Observability Problems in Distributed Testing. TestCom (2006)
Hasan Ural, Keqin Zhu
Distributed delay constrained multicast routing algorithm with efficient fault recovery. Networks 47 (1) (2006)
Jessica Chen, Robert M. Hierons, Hasan Ural
Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98 (5) (2006)
Hasan Ural, Craig Williams
Constructing checking sequences for distributed testing. Formal Aspects Comput. 18 (1) (2006)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Recovering the Lattice of Repetitive Sub-functions. ISCIS (2005)
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün
Generalizing Redundancy Elimination in Checking Sequences. ISCIS (2005)
Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
Eliminating Redundant Tests in a Checking Sequence. TestCom (2005)
Jessica Chen, Robert M. Hierons, Hasan Ural
Resolving Observability Problems in Distributed Test Architectures. FORTE (2005)
Hyoung Seok Hong, Hasan Ural
Dependence Testing: Extending Data Flow Testing with Control Dependence. TestCom (2005)
Guy-Vincent Jourdan, Hasan Ural, Nejib Zaguia
Minimizing the number of inputs while applying adaptive test cases. Inf. Process. Lett. 94 (4) (2005)
Hyoung Seok Hong, Hasan Ural
Using Model Checking for Reducing the Cost of Test Generation. FATES (2004)
Robert M. Hierons, T.-H. Kim, Hasan Ural
On the testability of SDL specifications. Comput. Networks 44 (5) (2004)
Hasan Ural, Hüsnü Yenigün
Towards Design Recovery from Observations. FORTE (2004)
Jessica Chen, Robert M. Hierons, Hasan Ural
Conditions for Resolving Observability Problems in Distributed Testing. FORTE (2004)
Olaf Henniger, Miao Lu, Hasan Ural
Automatic Generation of Test Purposes for Testing Distributed Systems. FATES (2003)
Robert M. Hierons, Hasan Ural
UIO sequence based checking sequences for distributed test architectures. Inf. Softw. Technol. 45 (12) (2003)
Hasan Ural, Craig Williams
Generating Checking Sequences for a Distributed Test Architecture. TestCom (2003)
Robert M. Hierons, Hasan Ural
Concerning the Ordering of Adaptive Test Sequences. FORTE (2003)
Hasan Ural, David Whittier
Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88 (3) (2003)
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
Data Flow Testing as Model Checking. ICSE (2003)
Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
A Temporal Logic Based Theory of Test Coverage and Generation. TACAS (2002)
Robert M. Hierons, T.-H. Kim, Hasan Ural
Expanding an Extended Finite State Machine to aid Testability. COMPSAC (2002)
Xiao Jun Chen, Hasan Ural
Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J. 45 (2) (2002)
Hasan Ural, Keqin Zhu
Fault Recovery for a Distributed SP-Based Delay Constrained Multicast Routing Algorithm. IPDPS (2002)
Robert M. Hierons, Hasan Ural
Reduced Length Checking Sequences. IEEE Trans. Computers 51 (9) (2002)
Robert L. Probert, Hasan Ural, Alan W. Williams
Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. 24 (3-4) (2001)
Hasan Ural, Kassem Saleh, Alan W. Williams
Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. 23 (7) (2000)
Olaf Henniger, Hasan Ural
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. SAM (2000)
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) (2000)
Kemal Inan, Hasan Ural
Efficient checking sequences for testing finite state machines. Inf. Softw. Technol. 41 (11-12) (1999)
Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural
Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics (1999)
Esfandiar Haghverdi, Hasan Ural
Submodule construction from concurrent system specifications. Inf. Softw. Technol. 41 (8) (1999)
Hans van der Schoot, Hasan Ural
An Improvement of Partial-Order Verification. Softw. Test. Verification Reliab. 8 (2) (1998)
Kadir Özdemir, Hasan Ural
Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788]. Comput. Commun. 21 (6) (1998)
Hans van der Schoot, Hasan Ural
On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. ICDCS (1998)
Ali Rezaki, Hasan Ural
Erratum to "Construction of checking sequences based on characterization sets" : [Computer Communications 18 (1995) 911-920]. Comput. Commun. 21 (5) (1998)
Hasan Ural, Xiaolin Wu, Fan Zhang
On Minimizing the Lengths of Checking Sequences. IEEE Trans. Computers 46 (1) (1997)
Kadir Özdemir, Hasan Ural
Protocol validation by simultaneous reachability analysis. Comput. Commun. 20 (9) (1997)
Hans van der Schoot, Hasan Ural
Data Flow Analysis of System Specifications in Lotos. Int. J. Softw. Eng. Knowl. Eng. 7 (1) (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)
Gang Luo, Robert L. Probert, Hasan Ural
Approach to constructing software unit testing tools. Softw. Eng. J. 10 (6) (1995)
Ali Rezaki, Hasan Ural
Construction of checking sequences based on characterization sets. Comput. Commun. 18 (12) (1995)
Hans van der Schoot, Hasan Ural
Data Flow Oriented Test Selection for Lotos. Comput. Networks ISDN Syst. 27 (7) (1995)
Wen-Huei Chen, Hasan Ural
Synchronizable test sequences based on multiple UIO sequences. IEEE/ACM Trans. Netw. 3 (2) (1995)
Hans van der Schoot, Hasan Ural
Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). PODC (1995)
Marion Rodrigues, Hasan Ural
Lower bounds for the length of test sequences using UIOs. Networks 25 (1) (1995)
Hasan Ural, Huaqing Zeng
Computer Aided Design of Protocol Converters. CAST (1994)
Kassem Saleh, Hasan Ural, Anjali Agarwal
Modified distributed snapshots algorithm for protocol stabilization. Comput. Commun. 17 (12) (1994)
Hasan Ural, Bo Yang
Modeling Software for Accurate Data Flow Representation. ICSE (1993)
Marion Rodrigues, Hasan Ural
Exact Solutions for the Construction of Optimal Length Test Sequences. Inf. Process. Lett. 48 (6) (1993)
Hasan Ural, Keqin Zhu
Optimal length test sequence generation using distinguishing sequences. IEEE/ACM Trans. Netw. 1 (3) (1993)
Wen-Huei Chen, Chuan Yi Tang, Hasan Ural
Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. INFOCOM (1993)
Hasan Ural, Alan W. Williams
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE (1993)
Hasan Ural, Zhiping Wang
Synchronizable test sequence generation using UIO sequences. Comput. Commun. 16 (10) (1993)
Jan Huus, Hasan Ural
Language-based analysis of communicating finite state machines. ICNP (1993)
Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural
A test generation algorithm for systems modelled as non-deterministic FSMs. Softw. Eng. J. 8 (4) (1993)
Hasan Ural
Formal methods for test sequence generation. Comput. Commun. 15 (5) (1992)
Hasan Ural, Bo Yang
A test sequence selection method for protocol testing. IEEE Trans. Commun. 39 (4) (1991)
Sylvia C. Boyd, Hasan Ural
On the Complexity of Generating Optimal Test Sequences. IEEE Trans. Software Eng. 17 (9) (1991)
Sylvia C. Boyd, Hasan Ural
The Synchronization Problem in Protocol Testing and its Complexity. Inf. Process. Lett. 40 (3) (1991)
Bo Yang, Hasan Ural
Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. SIGCOMM (1990)
G. H. Masapati, Hasan Ural
Electing a Leader in a Synchronous Scalable Network. ICCI (1990)
Hasan Ural
Specifications of distributed systems in prolog. J. Syst. Softw. 11 (2) (1990)
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) (1989)
Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural
Formalization of ISDN LAPD for Conformance Testing. INFOCOM (1989)
Cheryl Cleghorn, Hasan Ural
ASNST: an Abstract Syntax Notation-One support tool. Comput. Commun. 12 (5) (1989)
Hasan Ural, Bo Yang
A Structural Test Selection Criterion. Inf. Process. Lett. 28 (3) (1988)
Hasan Ural
Test sequence selection based on static data flow analysis. Comput. Commun. 10 (5) (1987)
Hasan Ural
A Test Derivation Method for Protocol Conformance Testing. PSTV (1987)
Hasan Ural, Robert L. Probert
Step-Wise Validation of Communication Protocols and Services. Comput. Networks 11 (1986)

Hasan Ural.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hasan Ural