1518 search results - page 65 / 304 » Cryptographic Test Correction |
113
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
90
Voted
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
125
Voted
AADEBUG
2005
Springer
15 years 2 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
112
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
124
click to vote
TAP
2010
Springer
14 years 10 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...