Sciweavers

905 search results - page 21 / 181
» Code Generator Testing in Practice
Sort
View
IOT
2010
13 years 7 months ago
Using web service gateways and code generation for sustainable IoT system development
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
Till Riedel, Nicolaie Fantana, Adrian Genaid, Dimi...
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
13 years 19 days ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
DAGSTUHL
1996
13 years 11 months ago
Practical Aspects of Specialization of Algol-like Programs
Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specializat...
Mikhail A. Bulyonkov, Dmitry V. Kochetov
DATE
2007
IEEE
138views Hardware» more  DATE 2007»
14 years 4 months ago
An ADC-BiST scheme using sequential code analysis
This paper presents a built-in self-test (BiST) scheme for analog to digital converters (ADC) based on a linear ramp generator and efficient output analysis. The proposed analysi...
Erdem Serkan Erdogan, Sule Ozev
AMOST
2007
ACM
14 years 1 months ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...