3544 search results - page 220 / 709 » Software Testing |
187
Voted
ICST
2008
IEEE
16 years 1 months 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...
170
Voted
KBSE
2007
IEEE
16 years 1 months 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 ...
204
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...
185
Voted
ISORC
2006
IEEE
16 years 1 months 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...
146
Voted
FATES
2003
Springer
16 years 6 days 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...