452 search results - page 8 / 91 » Symbolic Execution of Behavioral Requirements |
108
click to vote
SPIN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
103
click to vote
MASCOTS
2010
15 years 4 days ago
2010
Execution and communication traces are central to performance modeling and analysis. Since the traces can be very long, meaningful compression and extraction of representative beha...
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
Applications in mobile manipulation require sophisticated motion execution skills to address issues like redundancy resolution, reactive obstacle avoidance, and transitioning betw...
ANSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...
TAP
2008
Springer
14 years 10 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,...