8398 search results - page 335 / 1680 » Optimal Software Testing |
197
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...
159
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We consider timed games extended with cost information, and prove computability of the optimal cost and of -optimal memoryless strategies in timed games with one clock. In contrast...
147
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then so...
197
click to vote
ISSRE
2003
IEEE
16 years 2 hour ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
290
Voted
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...