Sciweavers

2212 search results - page 43 / 443
» Automated software wrapping
Sort
View
128
Voted
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 5 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
141
Voted
OOPSLA
2007
Springer
15 years 9 months ago
CodeGenie: : a tool for test-driven source code search
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
Otávio Augusto Lazzarini Lemos, Sushil Kris...
115
Voted
ECOOPW
1999
Springer
15 years 8 months ago
Piccola - A Small Composition Language
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
Oscar Nierstrasz
109
Voted
GCC
2009
Springer
15 years 1 months ago
On HLA-Based Collaborative Simulation Techniques
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
Fan Miao Miao, Fan Yu Shun
126
Voted
ISSRE
2008
IEEE
15 years 10 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