682 search results - page 111 / 137 » Java Implementation Verification Using Reverse Engineering |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...