2774 search results - page 81 / 555 » Query-Driven Program Testing |
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
AGILEDC
2003
IEEE
14 years 3 months ago
2003
IEEE
The scientific method serves as a good metaphor for several practices in Extreme Programming (XP). We explore the commonalities and differences and show that the scientific method...
IOLTS
2000
IEEE
14 years 2 months ago
2000
IEEE
We propose a procedure for self-testing of an FPGA programmed to implement a user-defined function. The procedure is intended to improve the detectability of FPGA delay faults. Th...
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
ORL
2008
13 years 10 months ago
2008
A finite test set for an integer optimization problem enables us to verify whether a feasible point attains the global optimum. We establish in this paper several general results ...