Hasan Ural

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Correction to "Reduced Length Checking Sequences" [Sep 02 93-99]	2017-08-08	Paper
Reduced checking sequences using unreliable reset	2015-04-02	Paper
Checking sequences for distributed test architectures	2013-06-28	Paper
Lower bounds on lengths of checking sequences	2010-12-17	Paper
Dependence Analysis for Regression Test Suite Selection and Augmentation	2010-10-06	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Overcoming observability problems in distributed test architectures	2010-01-18	Paper
Minimizing the number of inputs while applying adaptive test cases	2009-12-04	Paper
Distributed testing without encountering controllability and observability problems	2009-07-09	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Overcoming controllability problems with fewest channels between testers	2009-04-17	Paper
Minimizing Coordination Channels in Distributed Testing	2009-03-11	Paper
Recovering Repetitive Sub-functions from Observations	2009-03-10	Paper
Reducing the Lengths of Checking Sequences by Overlapping	2007-05-02	Paper
Detecting Observability Problems in Distributed Testing	2007-05-02	Paper
On minimizing the lengths of checking sequences	2007-01-09	Paper
Reduced length checking sequences	2007-01-09	Paper
Reducing the cost of applying adaptive test cases	2006-12-07	Paper
Constructing checking sequences for distributed testing	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Distributed delay constrained multicast routing algorithm with efficient fault recovery	2006-03-24	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4472251	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4437060	2003-12-07	Paper
Lower bounds for the length of test sequences using UIOs	1995-06-12	Paper
Exact solutions for the construction of optimal length test sequences	1994-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4016536	1993-01-16	Paper
Three tutorial papers on protocol specification, validation, and design	1993-01-16	Paper
The synchronization problem in protocol testing and its complexity	1992-06-28	Paper
A structural test selection criterion	1988-01-01	Paper

Research outcomes over time

This page was built for person: Hasan Ural