18 search results - page 2 / 4 » Towards Deploying Model-Based Testing with a Domain-Specific... |
FORTEST
2008
14 years 11 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
VLSID
2007
IEEE
15 years 9 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
ECBS
2007
IEEE
15 years 3 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
AICT
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
122
click to vote
DMS
2008
14 years 11 months ago
2008
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...