1890 search results - page 116 / 378 » Model-Based Testing in Practice |
150
click to vote
LEGE
2003
15 years 7 months ago
2003
Testing theories through practice is an important approach to teaching, especially in scientific and technical curricula. Often, lack of resources and logistics problems makes pra...
148
click to vote
JCIT
2008
15 years 6 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
148
click to vote
POLICY
2007
Springer
16 years 13 days ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
178
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
165
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A key goal of drug discovery is to increase the throughput of small molecule screens without sacrificing screening accuracy. High-throughput screening (HTS) in drug di...