637 search results - page 75 / 128 » Inconsistency-Tolerant Integrity Checking |
117
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
113
click to vote
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
110
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
GLVLSI
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
104
click to vote
ICMT
2010
Springer
15 years 6 months ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...