1192 search results - page 16 / 239 » Symbolic Query Exploration |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
CORR
2002
Springer
15 years 1 months ago
2002
Springer
CIKM
2010
Springer
15 years 9 days ago
2010
Springer
106
click to vote
ISSTA
2009
ACM
15 years 8 months 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...
128
click to vote
ICRA
2010
IEEE
15 years 7 days ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...