63 search results - page 4 / 13 » A State Exploration-Based Approach to Testing Java Monitors |
ADHOCNETS
2009
Springer
14 years 5 months ago
2009
Springer
We present a low-cost sensor buoy designed for unattended dissolved oxygen measurement in aquatic environment. We describe the buoy’s architectural design and three experiments ...
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...
FORTE
1997
14 years 6 days ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
ICST
2009
IEEE
14 years 5 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...