481 search results - page 34 / 97 » Differential symbolic execution |
95
Voted
TAP
2010
Springer
15 years 5 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 ...
101
click to vote
DELTA
2008
IEEE
15 years 7 months 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...
117
Voted
EDBT
2009
ACM
14 years 10 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 ...
127
Voted
IJCAI
2001
15 years 1 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...
100
click to vote
TAP
2008
Springer
15 years 15 days 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,...