Sciweavers

42 search results - page 4 / 9
» Erlang testing and tools survey
Sort
View
FORTEST
2008
13 years 9 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»
14 years 2 months 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
14 years 1 months 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»
13 years 7 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
13 years 6 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, ...