686 search results - page 17 / 138 » Automatic Model Generation Strategies for Model Transformati... |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
110
Voted
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
ADAEUROPE
2007
Springer
14 years 11 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...
WSCG
2003
14 years 10 months ago
2003
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
112
click to vote
ENTCS
2007
14 years 9 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...