481 search results - page 34 / 97 » Differential symbolic execution |
151
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
150
click to vote
DELTA
2008
IEEE
16 years 20 days ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...
182
click to vote
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
A typical online Business Intelligence (BI) workload consists of a combination of short, less intensive queries, along with long, resource intensive queries. As such, the longest ...
190
click to vote
IJCAI
2001
15 years 7 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
165
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...