379 search results - page 3 / 76 » The AGEDIS Tools for Model Based Testing |
133
click to vote
FORTEST
2008
15 years 6 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...
131
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
117
click to vote
FATES
2003
Springer
15 years 10 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...
111
Voted
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
169
Voted
ENTCS
2007
15 years 4 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...