1554 search results - page 96 / 311 » Testing Polymorphic Behavior |
JIRS
2007
13 years 8 months ago
2007
The problem of developing local reactive obstacle-avoidance behaviors by a mobile robot through online real-time learning is considered. The robot operated in an unknown bounded 2...
ASWEC
2009
IEEE
13 years 6 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
ISSTA
2000
ACM
14 years 14 days ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
AMOST
2007
ACM
14 years 3 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
JSS
2011
12 years 11 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...