Verification of synchronous sequential machines based on symbolic execution
Proceedings of the international workshop on Automatic verification methods for finite state systems
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Unified Methods for VLSI Simulation and Test Generation
Unified Methods for VLSI Simulation and Test Generation
Design Verfication and Reachability Analysis Using Algebraic Manipulation
ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Fast Sequential ATPG Based on Implicit State Enumeration
Proceedings of the IEEE International Test Conference on Test: Faster, Better, Sooner
EBT: A comprehensive test generation technique for highly sequential circuits
DAC '78 Proceedings of the 15th Design Automation Conference
HITEC: a test generation package for sequential circuits
EURO-DAC '91 Proceedings of the conference on European design automation
Sequential Machines: Selected Papers
Sequential Machines: Selected Papers
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
On the computation of the set of reachable states of hybrid models
DAC '94 Proceedings of the 31st annual Design Automation Conference
Toward formalizing a validation methodology using simulation coverage
DAC '97 Proceedings of the 34th annual Design Automation Conference
Abstraction Techniques for Validation Coverage Analysis and Test Generation
IEEE Transactions on Computers
DAC '98 Proceedings of the 35th annual Design Automation Conference
Functional vector generation for HDL models using linear programming and 3-satisfiability
DAC '98 Proceedings of the 35th annual Design Automation Conference
RTL Test Justification and Propagation Analysis for Modular Designs
Journal of Electronic Testing: Theory and Applications - special issue on high-level test synthesis
Coverage estimation for symbolic model checking
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Simulation vector generation from HDL descriptions for observability-enhanced statement coverage
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal
IEEE Transactions on Computers
Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification
An efficient design-for-verification technique for HDLs
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
On speeding up extended finite state machines using catalyst circuitry
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Software synthesis from synchronous specifications using logic simulation techniques
Proceedings of the 39th annual Design Automation Conference
Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
On Design Validation Using Verification Technology
Journal of Electronic Testing: Theory and Applications
Coverage Metrics for Temporal Logic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Design-for-Verification Technique for Functional Pattern Reduction
IEEE Design & Test
How to Avoid Random Walks in Hierarchical Test Path Identification
ETW '00 Proceedings of the IEEE European Test Workshop
12.1 Using Verification Technology for Validation Coverage Analysis and Test Generation
VTS '98 Proceedings of the 16th IEEE VLSI Test Symposium
Automatic Functional Vector Generation Using the Interacting FSM Model
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Don't cares in logic minimization of extended finite state machines
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Coverage metrics for temporal logic model checking
Formal Methods in System Design
Complete Testing from a Stream X-Machine Specification
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Model-based test prioritization heuristic methods and their evaluation
Proceedings of the 3rd international workshop on Advances in model-based testing
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Design, Implementation and Deployment of State Machines Using a Generative Approach
Architecting Dependable Systems V
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Generating test programs to cover pipeline interactions
Proceedings of the 46th Annual Design Automation Conference
Model-Based Testing of GUI-Driven Applications
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
On identification of input/output extended automata with finite bisimilar quotients
ACC'09 Proceedings of the 2009 conference on American Control Conference
Defining and Providing Coverage for Assertion-Based Dynamic Verification
Journal of Electronic Testing: Theory and Applications
Testing from X-machine specifications
Formal methods and testing
Superstate identification for state machines using search-based clustering
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Incrementally discovering testable specifications from program executions
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
Virtual knowledge communities for semantic agents
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Improving testbench evaluation using normalized formal properties
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Complete Testing from a Stream X-Machine Specification
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
Automated construction of a cycle-approximate transaction level model of a memory controller
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
ACM Computing Surveys (CSUR)
| Hi-index | 0.01 |