862 search results - page 92 / 173 » Model Checking Interrupt-Dependent Software |
122
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
115
click to vote
WSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
109
click to vote
ICST
2009
IEEE
15 years 6 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...