703 search results - page 62 / 141 » Automatic Generation of Block-Recursive Codes |
101
click to vote
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
115
click to vote
TACAS
2012
Springer
13 years 5 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...