Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
A Fortran language system for mutation-based software testing
Software—Practice & Experience
Efficient algorithms for interface timing verification
EURO-DAC '94 Proceedings of the conference on European design automation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
An observability-based code coverage metric for functional simulation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Toward formalizing a validation methodology using simulation coverage
DAC '97 Proceedings of the 34th annual Design Automation Conference
Approximate algorithms for time separation of events
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
User defined coverage—a tool supported methodology for design verification
DAC '98 Proceedings of the 35th annual Design Automation Conference
Rate derivation and its applications to reactive, real-time embedded systems
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
Fault-simulation based design error diagnosis for sequential circuits
DAC '98 Proceedings of the 35th annual Design Automation Conference
A timing-driven design and validation methodology for embedded real-time systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Simulation vector generation from HDL descriptions for observability-enhanced statement coverage
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Computers as components: principles of embedded computing system design
Computers as components: principles of embedded computing system design
A data flow fault coverage metric for validation of behavioral HDL descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
Algorithms for Interface Timing Verification
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
From Specification Validation to Hardware Testing: A Unified Method
Proceedings of the IEEE International Test Conference on Test and Design Validity
A Domain Coverage Metric for the Validation of Behavioral VHDL Descriptions
ITC '00 Proceedings of the 2000 IEEE International Test Conference
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The violation of timing constraints on signals withina complex system can create timing-induced functionalerrors which alter the value of output signals. Theseerrors are not detected by traditional functionalvalidation approaches because functional validationdoes not consider signal timing. Timing-inducedfunctional errors are also not detected by traditionaltiming analysis approaches because the errors mayaffect output data values without affecting output signaltiming. A timing fault model, the Mis-Timed Event(MTE) fault model, is proposed to model timing-inducedfunctional errors. The MTE fault modelformulates timing errors in terms of their effects onthe lifespans of the signal values associated with thefault. We use several examples to evaluate the MTEfault model. MTE fault coverage results shows that itefficiently captures an important class of errors whichare not targeted by other metrics.