481 search results - page 27 / 97 » Differential symbolic execution |
123
Voted
ISSTA
2012
ACM
13 years 20 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
103
Voted
EDBT
2010
ACM
15 years 7 days ago
2010
ACM
The availability of indoor positioning renders it possible to deploy location-based services in indoor spaces. Many such services will benefit from the efficient support for k n...
91
Voted
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...
104
Voted
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
AIIDE
2007
15 years 16 days ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...