3281 search results - page 20 / 657 » An Approach to use Executable Models for Testing |
FUIN
2007
13 years 7 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
PTS
2010
13 years 6 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
IMCSIT
2010
13 years 5 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
PRDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...