1541 search results - page 246 / 309 » Tools and Techniques for Model Checking Networked Programs |
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
110
click to vote
ISMB
1994
15 years 1 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
124
Voted
MICAI
2005
Springer
15 years 6 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
102
Voted
MSCS
2010
14 years 11 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...