Hasan Ural

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Reducing locating sequences for testing from finite state machines.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
Reduced checking sequences using unreliable reset.
Inf. Process. Lett., 2015

2013
Regression test suite selection using dependence analysis.
J. Softw. Evol. Process., 2013

2012
Regression test suite prioritization using system models.
Softw. Test. Verification Reliab., 2012

Detecting Offline Transaction Concurrency Problems.
J. Softw., 2012

On Capturing Effects of Modifications as Data Dependencies.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
Generating Preset Distinguishing Sequences Using SAT.
Proceedings of the Computer and Information Sciences II, 2011

2010
Lower bounds on lengths of checking sequences.
Formal Aspects Comput., 2010

Generating a checking sequence with a minimum number of reset transitions.
Autom. Softw. Eng., 2010

Dependence Analysis for Regression Test Suite Selection and Augmentation.
Proceedings of the Computer and Information Sciences, 2010

2009
Regression test suite reduction based on SDL models of system requirements.
J. Softw. Maintenance Res. Pract., 2009

Update Processing in Instance-Mapped P2P Data Sharing Systems.
Int. J. Cooperative Inf. Syst., 2009

Overcoming controllability problems with fewest channels between testers.
Comput. Networks, 2009

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Using a SAT solver to generate checking sequences.
Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008
Checking sequences for distributed test architectures.
Distributed Comput., 2008

The Effect of the Distributed Test Architecture on the Power of Testing.
Comput. J., 2008

Using adaptive distinguishing sequences in checking sequence constructions.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Testing in the Distributed Test Architecture.
Proceedings of the Formal Methods and Testing, 2008

2007
Reducing the cost of applying adaptive test cases.
Comput. Networks, 2007

Regression test suite reduction using extended dependence analysis.
Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

An EFSM-Based Passive Fault Detection Approach.
Proceedings of the Testing of Software and Communicating Systems, 2007

An Improved Approach to Passive Testing of FSM-based Systems.
Proceedings of the Second International Workshop on Automation of Software Test, 2007

Recovering Repetitive Sub-functions from Observations.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Model-based regression test suite generation using dependence analysis.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006
Optimizing the Length of Checking Sequences.
IEEE Trans. Computers, 2006

Distributed delay constrained multicast routing algorithm with efficient fault recovery.
Networks, 2006

Overcoming observability problems in distributed test architectures.
Inf. Process. Lett., 2006

Constructing checking sequences for distributed testing.
Formal Aspects Comput., 2006

Improving Coverage in Functional Testing.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Reducing the Lengths of Checking Sequences by Overlapping.
Proceedings of the Testing of Communicating Systems, 2006

Detecting Observability Problems in Distributed Testing.
Proceedings of the Testing of Communicating Systems, 2006

Test Suite Reduction Based on Dependence Analysis.
Proceedings of the Computer and Information Sciences, 2006

Minimizing Coordination Channels in Distributed Testing.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
Minimizing the number of inputs while applying adaptive test cases.
Inf. Process. Lett., 2005

Dependence Testing: Extending Data Flow Testing with Control Dependence.
Proceedings of the Testing of Communicating Systems, 2005

Eliminating Redundant Tests in a Checking Sequence.
Proceedings of the Testing of Communicating Systems, 2005

Generalizing Redundancy Elimination in Checking Sequences.
Proceedings of the Computer and Information Sciences, 2005

Recovering the Lattice of Repetitive Sub-functions.
Proceedings of the Computer and Information Sciences, 2005

Resolving Observability Problems in Distributed Test Architectures.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
On the testability of SDL specifications.
Comput. Networks, 2004

Towards Design Recovery from Observations.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Conditions for Resolving Observability Problems in Distributed Testing.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Using Model Checking for Reducing the Cost of Test Generation.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
Distributed testing without encountering controllability and observability problems.
Inf. Process. Lett., 2003

UIO sequence based checking sequences for distributed test architectures.
Inf. Softw. Technol., 2003

Generating Checking Sequences for a Distributed Test Architecture.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Data Flow Testing as Model Checking.
Proceedings of the 25th International Conference on Software Engineering, 2003

Concerning the Ordering of Adaptive Test Sequences.
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.
Proceedings of the Formal Approaches to Software Testing, 2003

2002
Reduced Length Checking Sequences.
IEEE Trans. Computers, 2002

Construction of Deadlock-free Designs of Communication Protocols from Observation.
Comput. J., 2002

A Temporal Logic Based Theory of Test Coverage and Generation.
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.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Expanding an Extended Finite State Machine to aid Testability.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

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

2000
A test sequence selection method for statecharts.
Softw. Test. Verification Reliab., 2000

Test generation based on control and data dependencies within system specifications in SDL.
Comput. Commun., 2000

Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.
Proceedings of the SAM 2000, 2000

1999
Efficient checking sequences for testing finite state machines.
Inf. Softw. Technol., 1999

Submodule construction from concurrent system specifications.
Inf. Softw. Technol., 1999

Corba-Based Telecom Application of Distributed Object Computing.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998
An Improvement of Partial-Order Verification.
Softw. Test. Verification Reliab., 1998

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

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

On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997
On Minimizing the Lengths of Checking Sequences.
IEEE Trans. Computers, 1997

Data Flow Analysis of System Specifications in Lotos.
Int. J. Softw. Eng. Knowl. Eng., 1997

Protocol validation by simultaneous reachability analysis.
Comput. Commun., 1997

1996
Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
Synchronizable test sequences based on multiple UIO sequences.
IEEE/ACM Trans. Netw., 1995

Lower bounds for the length of test sequences using UIOs.
Networks, 1995

Approach to constructing software unit testing tools.
Softw. Eng. J., 1995

Construction of checking sequences based on characterization sets.
Comput. Commun., 1995

Data Flow Oriented Test Selection for Lotos.
Comput. Networks ISDN Syst., 1995

Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994
Modified distributed snapshots algorithm for protocol stabilization.
Comput. Commun., 1994

Computer Aided Design of Protocol Converters.
Proceedings of the Computer Aided System Theory, 1994

1993
Optimal length test sequence generation using distinguishing sequences.
IEEE/ACM Trans. Netw., 1993

Exact Solutions for the Construction of Optimal Length Test Sequences.
Inf. Process. Lett., 1993

A test generation algorithm for systems modelled as non-deterministic FSMs.
Softw. Eng. J., 1993

Synchronizable test sequence generation using UIO sequences.
Comput. Commun., 1993

Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph.
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.
Proceedings of the 15th International Conference on Software Engineering, 1993

Language-based analysis of communicating finite state machines.
Proceedings of the 1993 International Conference on Network Protocols, 1993

Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL.
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.
Comput. Commun., 1992

1991
On the Complexity of Generating Optimal Test Sequences.
IEEE Trans. Software Eng., 1991

A test sequence selection method for protocol testing.
IEEE Trans. Commun., 1991

The Synchronization Problem in Protocol Testing and its Complexity.
Inf. Process. Lett., 1991

1990
Specifications of distributed systems in prolog.
J. Syst. Softw., 1990

Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping.
Proceedings of the SIGCOMM '90, 1990

Electing a Leader in a Synchronous Scalable Network.
Proceedings of the Advances in Computing and Information, 1990

1989
ASNST: an Abstract Syntax Notation-One support tool.
Comput. Commun., 1989

A Comprehensive Software Environment for Developing Standardized Conformance Test Suites.
Comput. Networks ISDN Syst., 1989

Formalization of ISDN LAPD for Conformance Testing.
Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1988
A Structural Test Selection Criterion.
Inf. Process. Lett., 1988

1987
Test sequence selection based on static data flow analysis.
Comput. Commun., 1987

A Test Derivation Method for Protocol Conformance Testing.
Proceedings of the Protocol Specification, 1987

1986
Step-Wise Validation of Communication Protocols and Services.
Comput. Networks, 1986

An interactive test sequence generator.
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

1985
Use of Prolog for building protocol design tools.
Proceedings of the Protocol Specification, 1985

1984
High-level testing and example-directed development of software specifications.
J. Syst. Softw., 1984

Automated testing of protocol specifications and their implementations.
Computer Communication Review, 1984

Executable Description of the OSI Transport Service in Prolog.
Proceedings of the Protocol Specification, 1984

1983
User-Guided Test Sequence Generation.
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.
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


  Loading...