2111 search results - page 138 / 423 » An Approach to Software Testing of Machine Learning Applicat... |
134
click to vote
FATES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
124
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
120
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
116
Voted
CIKM
2003
Springer
15 years 8 months ago
2003
Springer
In recent work we have developed a novel approach to the design and implementation of an online portal (ePortal) to help application engineers find replacements for electronic par...
144
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...