7766 search results - page 79 / 1554 » Testing Nondeterminate Systems |
SE
2007
13 years 10 months ago
2007
: Die konventionelle, benutzungsorientierte Prüfung der Qualität von Software konzentriert sich aufs Testen des Systemverhaltens unter regulären Bedingungen. Der vorliegende Bei...
PTS
2007
13 years 10 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
CCECE
2011
IEEE
12 years 9 months ago
2011
IEEE
We present a readily portable, memory-efficient performance test system (PTS) for Tasers. The proposed PTS has been developped for the most widely used Conducted Energy Weapons (...
ISCAS
1999
IEEE
14 years 1 months ago
1999
IEEE
An FPGA-based reconfigurable system may contain boards of FPGAs which are reconfigured for different applications and must work correctly. This paper presents a novel approach for...