161 search results - page 3 / 33 » Ontology Model-Based Static Analysis on Java Programs |
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
ENTCS
2006
13 years 4 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
ICSM
2005
IEEE
13 years 10 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
SCAM
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...