1116 search results - page 43 / 224 » Applying Predicate Abstraction to Abstract State Machines |
172
click to vote
WCRE
1995
IEEE
15 years 9 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
127
click to vote
ANLP
1997
15 years 6 months ago
1997
rietary Semantico-Syntactic Abstraction Language (SAL) the parser is able to achieve better results than syntactic analysis alone would allow. This comprehensive analysis permits t...
182
click to vote
CBSE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
122
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
180
click to vote
KBSE
2005
IEEE
15 years 11 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...