Sciweavers

42 search results - page 4 / 9
» Erlang testing and tools survey
Sort
View
FORTEST
2008
15 years 1 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,...
111
Voted
IROS
2009
IEEE
230views Robotics» more  IROS 2009»
15 years 7 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
102
Voted
XPU
2007
Springer
15 years 6 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»
15 years 15 days 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
91
Voted
ISI
2010
Springer
14 years 11 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, ...