Hasan Ural

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