3424 search results - page 115 / 685 » Automated Testing of Classes |
319
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
192
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
161
click to vote
IANDC
2006
15 years 6 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
126
click to vote
VTS
1998
IEEE
15 years 10 months ago
1998
IEEE
An experimental test chip was designed and manufactured to evaluate different test techniques. Based on the results presented in the wafer probe, 309 out of 5491 dies that passed ...
197
click to vote
FGR
2008
IEEE
16 years 24 days ago
2008
IEEE
Partial occlusions in face images pose a great problem for most face recognition algorithms. Several solutions to this problem have been proposed over the years – ranging from d...