1722 search results - page 59 / 345 » Generating Tests from Counterexamples |
112
click to vote
FPGA
2000
ACM
15 years 1 months ago
2000
ACM
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Transparent-scan was proposed as an approach to test generation and test compaction for scan circuits. Its effectiveness was demonstrated earlier in reducing the test application ...
ERLANG
2008
ACM
14 years 11 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
101
click to vote
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
MPC
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with...