16 search results - page 2 / 4 » Automated Analysis of Java Methods for Confidentiality |
KBSE
2006
IEEE
13 years 11 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
ASWEC
2006
IEEE
13 years 11 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...