31 search results - page 3 / 7 » Model-based Automatic Test Generation for Event-Driven Embed... |
SEUS
2008
IEEE
14 years 4 days ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
AMOST
2007
ACM
13 years 9 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
ICST
2008
IEEE
14 years 5 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
USS
2008
13 years 8 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
CL
2008
Springer
13 years 5 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...