4299 search results - page 295 / 860 » Concurrent Test Generation |
142
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
142
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
133
Voted
VTS
2003
IEEE
15 years 9 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
130
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
156
Voted
AAAI
2000
15 years 5 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...