Sequential circuit verification using symbolic model checking
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Exploring Unknown Environments
SIAM Journal on Computing
A Calculus of Communicating Systems
A Calculus of Communicating Systems
IEEE Transactions on Software Engineering
Enhancing FSM Traversal by Temporary Re-Encoding
ICCD '96 Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
UniTesK Test Suite Architecture
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Testing Non-Deterministic State Machines with Fault Coverage
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
Programming and Computing Software
Traversal of an Unknown Directed Graph by a Finite Robot
Programming and Computing Software
Formalization of test experiments
Programming and Computing Software
Bug localization by constructing reduced traces
Programming and Computing Software
Complete open-state testing of limitedly nondeterministic systems
Programming and Computing Software
Developing test systems for multi-modules hardware designs
Programming and Computing Software
| Hi-index | 0.00 |