Sciweavers

2212 search results - page 43 / 443
» Automated software wrapping
Sort
View
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 25 days 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 ...
OOPSLA
2007
Springer
15 years 5 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...
ECOOPW
1999
Springer
15 years 3 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
GCC
2009
Springer
14 years 9 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
ISSRE
2008
IEEE
15 years 5 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