182 search results - page 29 / 37 » Static program transformations for efficient software model ... |
100
click to vote
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
CODES
2006
IEEE
15 years 1 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
110
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
OSDI
2008
ACM
15 years 12 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
117
click to vote
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...