944 search results - page 7 / 189 » Software model checking without source code |
112
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
134
click to vote
ASPLOS
1996
ACM
15 years 5 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
AOSD
2003
ACM
15 years 6 months ago
2003
ACM
A development task related to a crosscutting concern is challenging because a developer can easily get lost when exploring scattered elements of code and the complex tangle of rel...
100
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
101
click to vote
CSMR
2008
IEEE
15 years 7 months ago
2008
IEEE
In this demonstration, we present an Eclipse plug-in that automatically identifies Type-Checking bad smells in Java source code, and resolves them by applying the “Replace Condi...