4079 search results - page 462 / 816 » Differential Testing for Software |
144
click to vote
FLAIRS
2006
15 years 7 months ago
2006
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
152
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...
150
click to vote
TCIAIG
2010
15 years 25 days ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
166
Voted
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
157
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we present an information-theoretic approach to learning a Mahalanobis distance function. We formulate the problem as that of minimizing the differential relative e...