3544 search results - page 220 / 709 » Software Testing |
173
click to vote
ICST
2008
IEEE
16 years 28 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
154
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
187
click to vote
APCCM
2008
15 years 8 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
172
click to vote
ISORC
2006
IEEE
16 years 15 days ago
2006
IEEE
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
137
click to vote
FATES
2003
Springer
15 years 11 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...