31 search results - page 1 / 7 » Model-based Automatic Test Generation for Event-Driven Embed... |
DEPCOS
2006
IEEE
13 years 11 months ago
2006
IEEE
SAC
2003
ACM
13 years 10 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
PRDC
2007
IEEE
13 years 11 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
FORTE
2004
13 years 6 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...