4107 search results - page 83 / 822 » The Generalized Lambda Test |
117
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
101
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
134
click to vote
ASE
2006
15 years 1 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
140
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...