452 search results - page 15 / 91 » Symbolic Execution of Behavioral Requirements |
ISPASS
2005
IEEE
15 years 4 months ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed algorithms automatically group similar portions of a program’s execution ...
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
103
click to vote
IROS
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...
105
click to vote
AADEBUG
2005
Springer
15 years 4 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...