1116 search results - page 43 / 224 » Applying Predicate Abstraction to Abstract State Machines |
112
click to vote
WCRE
1995
IEEE
15 years 2 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...
ANLP
1997
15 years 14 days 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...
120
click to vote
CBSE
2008
Springer
15 years 1 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...
FATES
2003
Springer
15 years 4 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...
103
click to vote
KBSE
2005
IEEE
15 years 4 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...