1246 search results - page 8 / 250 » Online testing with model programs |
JUCS
2006
13 years 7 months ago
2006
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
ITC
2003
IEEE
14 years 27 days ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
Online virtual laboratory is important for online science education. CyberLab is a toolkit for online virtual experiments. It is able to handle the creation, exportation, and exec...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...