944 search results - page 67 / 189 » Software model checking without source code |
ERSHOV
2009
Springer
13 years 7 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...