2026 search results - page 111 / 406 » Tools for Test Case Generation |
155
Voted
ICTAI
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper describes an approach being explored to improve the usefulness of machine learning techniques for generating classification rules for complex, real world data. The appr...
131
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
127
Voted
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
148
Voted
QNS
1996
15 years 5 months ago
1996
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...
129
Voted
FPL
2007
Springer
15 years 9 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...