Hasan Ural

According to our database, Hasan Ural authored at least 107 papers between 1983 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Reducing locating sequences for testing from finite state machines.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Reduced checking sequences using unreliable reset.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Inf. Process. Lett., 2015

2013

Regression test suite selection using dependence analysis.

Hasan Ural, Hüsnü Yenigün

J. Softw. Evol. Process., 2013

2012

Regression test suite prioritization using system models.

Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural

Softw. Test. Verification Reliab., 2012

Detecting Offline Transaction Concurrency Problems.

Hao Luo, Mehedi Masud, Hasan Ural

J. Softw., 2012

On Capturing Effects of Modifications as Data Dependencies.

Hasan Ural, Hüsnü Yenigün

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Generating Preset Distinguishing Sequences Using SAT.

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences II, 2011

2010

Lower bounds on lengths of checking sequences.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang

Formal Aspects Comput., 2010

Generating a checking sequence with a minimum number of reset transitions.

Robert M. Hierons, Hasan Ural

Autom. Softw. Eng., 2010

Dependence Analysis for Regression Test Suite Selection and Augmentation.

Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2010

2009

Regression test suite reduction based on SDL models of system requirements.

Yanping Chen, Robert L. Probert, Hasan Ural

J. Softw. Maintenance Res. Pract., 2009

Update Processing in Instance-Mapped P2P Data Sharing Systems.

Mehedi Masud, Iluju Kiringa, Hasan Ural

Int. J. Cooperative Inf. Syst., 2009

Overcoming controllability problems with fewest channels between testers.

Robert M. Hierons, Hasan Ural

Comput. Networks, 2009

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.

Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Using a SAT solver to generate checking sequences.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008

Checking sequences for distributed test architectures.

Robert M. Hierons, Hasan Ural

Distributed Comput., 2008

The Effect of the Distributed Test Architecture on the Power of Testing.

Robert M. Hierons, Hasan Ural

Comput. J., 2008

Using adaptive distinguishing sequences in checking sequence constructions.

Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Testing in the Distributed Test Architecture.

Jessica Chen, Robert M. Hierons, Hasan Ural

Proceedings of the Formal Methods and Testing, 2008

2007

Reducing the cost of applying adaptive test cases.

Robert M. Hierons, Hasan Ural

Comput. Networks, 2007

Regression test suite reduction using extended dependence analysis.

Yanping Chen, Robert L. Probert, Hasan Ural

Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

An EFSM-Based Passive Fault Detection Approach.

Hasan Ural, Zhi Xu

Proceedings of the Testing of Software and Communicating Systems, 2007

An Improved Approach to Passive Testing of FSM-based Systems.

Hasan Ural, Zhi Xu, Fan Zhang

Proceedings of the Second International Workshop on Automation of Software Test, 2007

Recovering Repetitive Sub-functions from Observations.

Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Model-based regression test suite generation using dependence analysis.

Yanping Chen, Robert L. Probert, Hasan Ural

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Optimizing the Length of Checking Sequences.

Robert M. Hierons, Hasan Ural

IEEE Trans. Computers, 2006

Distributed delay constrained multicast routing algorithm with efficient fault recovery.

Hasan Ural, Keqin Zhu

Networks, 2006

Overcoming observability problems in distributed test architectures.

Jessica Chen, Robert M. Hierons, Hasan Ural

Inf. Process. Lett., 2006

Constructing checking sequences for distributed testing.

Hasan Ural, Craig Williams

Formal Aspects Comput., 2006

Improving Coverage in Functional Testing.

Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Reducing the Lengths of Checking Sequences by Overlapping.

Hasan Ural, Fan Zhang

Proceedings of the Testing of Communicating Systems, 2006

Detecting Observability Problems in Distributed Testing.

Jessica Chen, Hasan Ural

Proceedings of the Testing of Communicating Systems, 2006

Test Suite Reduction Based on Dependence Analysis.

Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural

Proceedings of the Computer and Information Sciences, 2006

Minimizing Coordination Channels in Distributed Testing.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Minimizing the number of inputs while applying adaptive test cases.

Guy-Vincent Jourdan, Hasan Ural, Nejib Zaguia

Inf. Process. Lett., 2005

Dependence Testing: Extending Data Flow Testing with Control Dependence.

Hyoung Seok Hong, Hasan Ural

Proceedings of the Testing of Communicating Systems, 2005

Eliminating Redundant Tests in a Checking Sequence.

Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün

Proceedings of the Testing of Communicating Systems, 2005

Generalizing Redundancy Elimination in Checking Sequences.

K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2005

Recovering the Lattice of Repetitive Sub-functions.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2005

Resolving Observability Problems in Distributed Test Architectures.

Jessica Chen, Robert M. Hierons, Hasan Ural

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

On the testability of SDL specifications.

Robert M. Hierons, T.-H. Kim, Hasan Ural

Comput. Networks, 2004

Towards Design Recovery from Observations.

Hasan Ural, Hüsnü Yenigün

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Conditions for Resolving Observability Problems in Distributed Testing.

Jessica Chen, Robert M. Hierons, Hasan Ural

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Using Model Checking for Reducing the Cost of Test Generation.

Hyoung Seok Hong, Hasan Ural

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Distributed testing without encountering controllability and observability problems.

Hasan Ural, David Whittier

Inf. Process. Lett., 2003

UIO sequence based checking sequences for distributed test architectures.

Robert M. Hierons, Hasan Ural

Inf. Softw. Technol., 2003

Generating Checking Sequences for a Distributed Test Architecture.

Hasan Ural, Craig Williams

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Data Flow Testing as Model Checking.

Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural

Proceedings of the 25th International Conference on Software Engineering, 2003

Concerning the Ordering of Adaptive Test Sequences.

Robert M. Hierons, Hasan Ural

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Automatic Generation of Test Purposes for Testing Distributed Systems.

Olaf Henniger, Miao Lu, Hasan Ural

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Reduced Length Checking Sequences.

Robert M. Hierons, Hasan Ural

IEEE Trans. Computers, 2002

Construction of Deadlock-free Designs of Communication Protocols from Observation.

Xiao Jun Chen, Hasan Ural

Comput. J., 2002

A Temporal Logic Based Theory of Test Coverage and Generation.

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Fault Recovery for a Distributed SP-Based Delay Constrained Multicast Routing Algorithm.

Hasan Ural, Keqin Zhu

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Expanding an Extended Finite State Machine to aid Testability.

Robert M. Hierons, T.-H. Kim, Hasan Ural

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Rapid generation of functional tests using MSCs, SDL and TTCN.

Robert L. Probert, Hasan Ural, Alan W. Williams

Comput. Commun., 2001

2000

A test sequence selection method for statecharts.

Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural

Softw. Test. Verification Reliab., 2000

Test generation based on control and data dependencies within system specifications in SDL.

Hasan Ural, Kassem Saleh, Alan W. Williams

Comput. Commun., 2000

Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.

Olaf Henniger, Hasan Ural

Proceedings of the SAM 2000, 2000

1999

Efficient checking sequences for testing finite state machines.

Kemal Inan, Hasan Ural

Inf. Softw. Technol., 1999

Submodule construction from concurrent system specifications.

Esfandiar Haghverdi, Hasan Ural

Inf. Softw. Technol., 1999

Corba-Based Telecom Application of Distributed Object Computing.

Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998

An Improvement of Partial-Order Verification.

Hans van der Schoot, Hasan Ural

Softw. Test. Verification Reliab., 1998

Erratum to "Construction of checking sequences based on characterization sets" : [Computer Communications 18 (1995) 911-920].

Ali Rezaki, Hasan Ural

Comput. Commun., 1998

Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788].

Kadir Özdemir, Hasan Ural

Comput. Commun., 1998

On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs.

Hans van der Schoot, Hasan Ural

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

On Minimizing the Lengths of Checking Sequences.

Hasan Ural, Xiaolin Wu, Fan Zhang

IEEE Trans. Computers, 1997

Data Flow Analysis of System Specifications in Lotos.

Hans van der Schoot, Hasan Ural

Int. J. Softw. Eng. Knowl. Eng., 1997

Protocol validation by simultaneous reachability analysis.

Kadir Özdemir, Hasan Ural

Comput. Commun., 1997

1996

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).

Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

Synchronizable test sequences based on multiple UIO sequences.

Wen-Huei Chen, Hasan Ural

IEEE/ACM Trans. Netw., 1995

Lower bounds for the length of test sequences using UIOs.

Marion Rodrigues, Hasan Ural

Networks, 1995

Approach to constructing software unit testing tools.

Gang Luo, Robert L. Probert, Hasan Ural

Softw. Eng. J., 1995

Construction of checking sequences based on characterization sets.

Ali Rezaki, Hasan Ural

Comput. Commun., 1995

Data Flow Oriented Test Selection for Lotos.

Hans van der Schoot, Hasan Ural

Comput. Networks ISDN Syst., 1995

Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract).

Hans van der Schoot, Hasan Ural

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994

Modified distributed snapshots algorithm for protocol stabilization.

Kassem Saleh, Hasan Ural, Anjali Agarwal

Comput. Commun., 1994

Computer Aided Design of Protocol Converters.

Hasan Ural, Huaqing Zeng

Proceedings of the Computer Aided System Theory, 1994

1993

Optimal length test sequence generation using distinguishing sequences.

Hasan Ural, Keqin Zhu

IEEE/ACM Trans. Netw., 1993

Exact Solutions for the Construction of Optimal Length Test Sequences.

Marion Rodrigues, Hasan Ural

Inf. Process. Lett., 1993

A test generation algorithm for systems modelled as non-deterministic FSMs.

Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural

Softw. Eng. J., 1993

Synchronizable test sequence generation using UIO sequences.

Hasan Ural, Zhiping Wang

Comput. Commun., 1993

Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph.

Wen-Huei Chen, Chuan Yi Tang, Hasan Ural

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Modeling Software for Accurate Data Flow Representation.

Hasan Ural, Bo Yang

Proceedings of the 15th International Conference on Software Engineering, 1993

Language-based analysis of communicating finite state machines.

Jan Huus, Hasan Ural

Proceedings of the 1993 International Conference on Network Protocols, 1993

Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL.

Hasan Ural, Alan W. Williams

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Formal methods for test sequence generation.

Hasan Ural

Comput. Commun., 1992

1991

On the Complexity of Generating Optimal Test Sequences.

Sylvia C. Boyd, Hasan Ural

IEEE Trans. Software Eng., 1991

A test sequence selection method for protocol testing.

Hasan Ural, Bo Yang

IEEE Trans. Commun., 1991

The Synchronization Problem in Protocol Testing and its Complexity.

Sylvia C. Boyd, Hasan Ural

Inf. Process. Lett., 1991

1990

Specifications of distributed systems in prolog.

Hasan Ural

J. Syst. Softw., 1990

Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping.

Bo Yang, Hasan Ural

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1990

Electing a Leader in a Synchronous Scalable Network.

G. H. Masapati, Hasan Ural

Proceedings of the Advances in Computing and Information, 1990

1989

ASNST: an Abstract Syntax Notation-One support tool.

Cheryl Cleghorn, Hasan Ural

Comput. Commun., 1989

A Comprehensive Software Environment for Developing Standardized Conformance Test Suites.

Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek

Comput. Networks ISDN Syst., 1989

Formalization of ISDN LAPD for Conformance Testing.

Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1988

A Structural Test Selection Criterion.

Hasan Ural, Bo Yang

Inf. Process. Lett., 1988

1987

Test sequence selection based on static data flow analysis.

Hasan Ural

Comput. Commun., 1987

A Test Derivation Method for Protocol Conformance Testing.

Hasan Ural

Proceedings of the Protocol Specification, 1987

1986

Step-Wise Validation of Communication Protocols and Services.

Hasan Ural, Robert L. Probert

Comput. Networks, 1986

An interactive test sequence generator.

Hasan Ural, R. Short

Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

1985

Use of Prolog for building protocol design tools.

Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural

Proceedings of the Protocol Specification, 1985

1984

High-level testing and example-directed development of software specifications.

Robert L. Probert, Hasan Ural

J. Syst. Softw., 1984

Automated testing of protocol specifications and their implementations.

Hasan Ural, Robert L. Probert

Comput. Commun. Rev., 1984

Executable Description of the OSI Transport Service in Prolog.

Luigi Logrippo, Didier Simon, Hasan Ural

Proceedings of the Protocol Specification, 1984

1983

User-Guided Test Sequence Generation.

Hasan Ural, Robert L. Probert

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

Requirements for a Test Specification Language for Protocol Implementation Testing.

Robert L. Probert, Hasan Ural

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983