1134 search results - page 48 / 227 » Composing Tests from Examples |
122
click to vote
KDD
2003
ACM
15 years 11 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
103
click to vote
AMMA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present Turing Trade, a web-based game that is a hybrid of a Turing test and a prediction market. In this game, there is a mystery conversation partner, the “target,...
121
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
QSIC
2005
IEEE
15 years 4 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...