Sciweavers

164 search results - page 2 / 33
» Interaction Testing in Model-Based Development: Effect on Mo...
Sort
View
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
13 years 8 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
APSEC
2010
IEEE
12 years 11 months ago
Testing Inter-layer and Inter-task Interactions in RTES Applications
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel, T...
HRI
2006
ACM
13 years 10 months ago
Effective team-driven multi-model motion tracking
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
Yang Gu, Manuela M. Veloso
SIGSOFT
2010
ACM
13 years 2 months ago
Bridging gaps between developers and testers in globally-distributed software development
One of the main challenges in distributed development is ensuring effective communication and coordination among the distributed teams. In this context, little attention has been ...
Mark Grechanik, James A. Jones, Alessandro Orso, A...
AIED
2009
Springer
13 years 11 months ago
Interactive Paraphrase Training: The Development and Testing of an iSTART Module
Comprehension of science texts is challenging, particularly when the reader lacks the skills or knowledge necessary to fill in conceptual gaps in the text content. The iSTART syste...
Danielle S. McNamara, Chutima Boonthum, Christophe...