A novel LCD driver testing technique using logic test channels.
Chauchin SuWei-Juo WangChih-Hu WangI. S. TsengPublished in: ASP-DAC (2003)
Keyphrases
- test cases
- software testing
- test data
- test generation
- test sequences
- logic programming
- test data generation
- statistical tests
- modal logic
- test suite
- model based testing
- test set
- predicate logic
- testing process
- linear logic
- integration testing
- case study
- unit testing
- set of test cases
- test case generation
- classical logic
- multi valued
- communication channels