2520 search results - page 67 / 504 » Model-checking behavioral programs |
87
Voted
PLDI
1991
ACM
15 years 4 months ago
1991
ACM
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
66
Voted
TOOLS
1998
IEEE
15 years 4 months ago
1998
IEEE
82
Voted
TOOLS
1992
IEEE
15 years 4 months ago
1992
IEEE
126
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...