2774 search results - page 291 / 555 » Query-Driven Program Testing |
CIRA
2007
IEEE
15 years 8 months ago
2007
IEEE
—This paper describes the development and testing of control of the OmniTread OT-4 robot by the Seventh Generation (7G) Control System. Control of OT-4 was developed in the Yobot...
141
click to vote
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
ACG
2006
Springer
15 years 8 months ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
DFT
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
117
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...