16725 search results - page 661 / 3345 » Engineering Software Correctness |
163
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Data reverse engineering is a rapidly growing field which is sometimes misunderstood. In our effort to promote the realization that data reverse engineering is a valuable and esse...
189
click to vote
EMSOFT
2008
Springer
15 years 9 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, ...
219
click to vote
WCET
2010
15 years 5 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
171
click to vote
CLEIEJ
2004
15 years 7 months ago
2004
Process integration in Software Engineering Environments (SEE) is very important to allow tool integration. In this paper, we present a knowledge-based approach to improve process...