682 search results - page 51 / 137 » Java Implementation Verification Using Reverse Engineering |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
PPPJ
2004
ACM
14 years 1 months ago
2004
ACM
A new acceleration technology for Java embedded virtual machines is presented in this paper. Based on the selective dynamic compilation technique, this technology addresses the J2...
ICOODB
2010
13 years 5 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...