1128 search results - page 136 / 226 » Little Engines of Proof |
178
click to vote
WER
2010
Springer
15 years 4 months ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...
208
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
223
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
160
click to vote
SIAMDM
2011
15 years 1 months ago
2011
Abstract. A generalized Davenport–Schinzel sequence is one over a finite alphabet that excludes subsequences isomorphic to a fixed forbidden subsequence. The fundamental proble...
258
click to vote
ICST
2011
IEEE
14 years 10 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...