14 search results - page 2 / 3 » Design and evaluation of birthmarks for detecting theft of j... |
122
Voted
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
138
Voted
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
204
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
151
Voted
PADL
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
140
Voted
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...