3742 search results - page 256 / 749 » On the Use of Formal Techniques for Validation |
187
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
176
click to vote
ICSM
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
170
click to vote
IWIA
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
145
click to vote
SEC
2007
15 years 8 months ago
2007
This paper deals with a joint use of a trust evaluation approach and access control mechanisms for improving security in Web-usage. Trust evaluation is achieved by means of both be...
184
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...