900 search results - page 61 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
106
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
143
click to vote
FECS
2008
15 years 2 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
108
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we report some on-going focused research, but are further keen to set it in the context of a proposed bigger picture, as follows. There is a certain depressing patt...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...