21324 search results - page 150 / 4265 » Making the case for computing |
95
Voted
TCS
2011
14 years 10 months ago
2011
212
Voted
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
131
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...
122
Voted
SLOGICA
2008
15 years 1 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...