10 search results - page 2 / 2 » Model-Based Testing of a WAP Gateway: An Industrial Case-Stu... |
SEW
2003
IEEE
13 years 10 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
ICST
2008
IEEE
13 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...
TAP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
COMPSAC
2009
IEEE
13 years 9 months ago
2009
IEEE
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...