811 search results - page 135 / 163 » Incremental Regression Testing |
CHARME
2003
Springer
14 years 24 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
DATE
2010
IEEE
14 years 20 days ago
2010
IEEE
—Systems based on satellite localization are enabling new scenarios for road charging schemes by offering the possibility to charge drivers as a function of their road usage. An ...
DESRIST
2010
Springer
14 years 11 days ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...
CEC
2009
IEEE
14 years 8 days ago
2009
IEEE
— The bootstrap problem is often recognized as one of the main challenges of evolutionary robotics: if all individuals from the first randomly generated population perform equal...
GPCE
2009
Springer
14 years 5 days ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...