| Publication | Date of Publication | Type |
|---|
Correction to "Reduced Length Checking Sequences" [Sep 02 93-99]
IEEE Transactions on Computers | 2017-08-08 | Paper |
Reduced checking sequences using unreliable reset
Information Processing Letters | 2015-04-02 | Paper |
Checking sequences for distributed test architectures
Distributed Computing | 2013-06-28 | Paper |
Lower bounds on lengths of checking sequences
Formal Aspects of Computing | 2010-12-17 | Paper |
Dependence analysis for regression test suite selection and augmentation
Lecture Notes in Electrical Engineering | 2010-10-06 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Lecture Notes in Computer Science | 2010-05-26 | Paper |
Overcoming observability problems in distributed test architectures
Information Processing Letters | 2010-01-18 | Paper |
Minimizing the number of inputs while applying adaptive test cases
Information Processing Letters | 2009-12-04 | Paper |
Distributed testing without encountering controllability and observability problems
Information Processing Letters | 2009-07-09 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2009-06-04 | Paper |
Overcoming controllability problems with fewest channels between testers
Computer Networks | 2009-04-17 | Paper |
Minimizing Coordination Channels in Distributed Testing
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Recovering Repetitive Sub-functions from Observations
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Reducing the Lengths of Checking Sequences by Overlapping
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Detecting Observability Problems in Distributed Testing
Lecture Notes in Computer Science | 2007-05-02 | Paper |
On minimizing the lengths of checking sequences
IEEE Transactions on Computers | 2007-01-09 | Paper |
Reduced length checking sequences
IEEE Transactions on Computers | 2007-01-09 | Paper |
Reducing the cost of applying adaptive test cases
Computer Networks | 2006-12-07 | Paper |
Constructing checking sequences for distributed testing
Formal Aspects of Computing | 2006-10-25 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Distributed delay constrained multicast routing algorithm with efficient fault recovery
Networks | 2006-03-24 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
scientific article; zbMATH DE number 2080058 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2013782 (Why is no real title available?)
| 2003-12-07 | Paper |
Lower bounds for the length of test sequences using UIOs
Networks | 1995-06-12 | Paper |
Exact solutions for the construction of optimal length test sequences
Information Processing Letters | 1994-09-25 | Paper |
scientific article; zbMATH DE number 88976 (Why is no real title available?)
| 1993-01-16 | Paper |
Three tutorial papers on protocol specification, validation, and design
Computer Networks and ISDN Systems | 1993-01-16 | Paper |
The synchronization problem in protocol testing and its complexity
Information Processing Letters | 1992-06-28 | Paper |
A structural test selection criterion
Information Processing Letters | 1988-01-01 | Paper |
