637 search results - page 72 / 128 » Inconsistency-Tolerant Integrity Checking |
104
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
144
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
108
click to vote
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...