3031 search results - page 428 / 607 » Model Driven Testing Based on Test History |
112
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
124
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an approach to combine competent crossover and mutation operators via probabilistic model building. Both operators are based on the probabilistic model buildin...
136
click to vote
JGS
2010
14 years 10 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
141
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
140
Voted
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Traditional intrusion detection systems (IDS) detect attacks by comparing current behavior to signatures of known attacks. One main drawback is the inability of detecting new atta...