809 search results - page 30 / 162 » Requirements by Contracts allow Automated System Testing |
155
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
114
click to vote
CRV
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...
148
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
129
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
174
click to vote
TOOLS
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...