3424 search results - page 52 / 685 » Automated Testing of Classes |
145
Voted
ADAEUROPE
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
109
Voted
TPHOL
1997
IEEE
15 years 6 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
126
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
126
Voted
SIGIR
1999
ACM
15 years 7 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
119
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Noisy or distorted video/audio training sets represent constant challenges in automated identification and verification tasks. We propose the method of Mutual Interdependence An...