4079 search results - page 312 / 816 » Differential Testing for Software |
123
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
134
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
GI
2004
Springer
15 years 10 months ago
2004
Springer
: Refactoring und Testen bilden wesentliche Bausteine des Extreme Programming. In diesem Beitrag wird der konzeptionelle Zusammenhang zwischen beiden Praktiken herausgearbeitet. In...
278
click to vote
FUIN
2011
14 years 8 months ago
2011
In this article, a novel concept is introduced by using both unsupervised and supervised learning. For unsupervised learning, the problem of fuzzy clustering in microarray data as ...
126
Voted
INFORMATICALT
2002
15 years 4 months ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...