5330 search results - page 969 / 1066 » The Performability Tool P'ility |
173
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
175
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
169
click to vote
ITICSE
2009
ACM
16 years 28 days ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
214
click to vote
BIBM
2008
IEEE
16 years 27 days ago
2008
IEEE
The study of gene function is critical in various genomic and proteomic fields. Due to the availability of tremendous amounts of different types of protein data, integrating thes...
178
click to vote
ETFA
2008
IEEE
16 years 26 days ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...