164 search results - page 18 / 33 » Combining Algebraic and Model-Based Test Case Generation |
GECCO
2008
Springer
13 years 7 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...
FATES
2003
Springer
13 years 12 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
FORTE
1997
13 years 8 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
EPIA
2007
Springer
14 years 27 days ago
2007
Springer
Research in the field of examination timetabling has developed in two directions. The first looks at applying various methodologies to induce examination timetables. The second tak...
FLAIRS
2004
13 years 8 months ago
2004
We illustrate that Web searches can often be utilized to generate background text for use with text classification. This is the case because there are frequently many pages on the...