6274 search results - page 1028 / 1255 » Proofs, Programs, Processes |
122
click to vote
SAC
2005
ACM
15 years 6 months ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
144
Voted
VEE
2005
ACM
15 years 6 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
204
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
120
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
133
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
Cyber attacks against networked computers have become relentless in recent years. The most common attack method is to exploit memory corruption vulnerabilities such as buffer ove...