3281 search results - page 61 / 657 » An Approach to use Executable Models for Testing |
113
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
117
click to vote
ADAEUROPE
2007
Springer
15 years 4 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
142
Voted
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
160
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
141
Voted
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...