Sciweavers

42 search results - page 4 / 9
» Erlang testing and tools survey
Sort
View
FORTEST
2008
15 years 7 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
IROS
2009
IEEE
230views Robotics» more  IROS 2009»
16 years 16 days ago
Stability and robustness analysis tools for marine robot localization and SLAM applications
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...
Brendan Englot, Franz Hover
XPU
2007
Springer
16 years 8 hour ago
FitClipse: A Fit-Based Eclipse Plug-In for Executable Acceptance Test Driven Development
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
Chengyao Deng, Patrick Wilson, Frank Maurer
BMCBI
2010
132views more  BMCBI 2010»
15 years 6 months ago
New statistical potential for quality assessment of protein models and a survey of energy functions
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
Dmitry Rykunov, András Fiser
ISI
2010
Springer
15 years 4 months ago
Testing perception of crime in a virtual environment
—Fear of crime is a central topic in the field of victimization. In particular, criminologists are interested in the environmental structures and cues that generate fear. Resear...
Andrew J. Park, Valerie Spicer, Monique Guterres, ...