631 search results - page 12 / 127 » An experimental evaluation of continuous testing during deve... |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
AIME
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. The paper proposes a learning approach to support medical researchers in the context of in-vivo cancer imaging, and specifically in the analysis of Dynamic Contrast-Enhan...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
ICRA
1993
IEEE
13 years 12 months ago
1993
IEEE
Successful control of contact transitions is an important capability of dextrous robotic manipulators. In this paper we examine several methods for controlling the transition from...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...