6274 search results - page 827 / 1255 » Proofs, Programs, Processes |
225
click to vote
SASP
2009
IEEE
16 years 1 months ago
2009
IEEE
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...
207
click to vote
NDSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
232
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
203
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
216
click to vote
ICSM
2005
IEEE
16 years 12 days ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...