732 search results - page 51 / 147 » Automated Test Generation from Models Based on Functional So... |
ACSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
We present and evaluate various methods for purely automated attacks against click-based graphical passwords. Our purely automated methods combine click-order heuristics with focu...
ASWEC
2007
IEEE
14 years 24 days ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
CSMR
1998
IEEE
14 years 1 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
INFSOF
2006
13 years 8 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...