Sciweavers

2127 search results - page 34 / 426
» Software Automation
Sort
View
ISSRE
2008
IEEE
15 years 6 months ago
Automated Fix Generator for SQL Injection Attacks
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
Fred Dysart, Mark Sherriff
KBSE
2003
IEEE
15 years 5 months ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
ICSE
2000
IEEE-ACM
15 years 4 months ago
Automated refactoring to introduce design patterns
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
Mel Ó Cinnéide
129
Voted
VAMOS
2008
Springer
15 years 1 months ago
Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
Norbert Siegmund, Martin Kuhlemann, Marko Rosenm&u...
132
Voted
ASWEC
2004
IEEE
15 years 4 months ago
An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures
Assessing the likely run-time performance of applications using thin-client architectures during their design is very difficult. We describe SoftArch/Thin, a thin-client test-bed ...
John C. Grundy, Zhong Wei, Radu Nicolescu, Yuhong ...