160 search results - page 5 / 32 » Automated Code Generation for Industrial-Strength Systems |
137
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
125
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
157
click to vote
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
167
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
171
click to vote
CBSE
2011
Springer
14 years 4 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...