944 search results - page 7 / 189 » Software model checking without source code |
OOPSLA
2007
Springer
14 years 1 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...
ASPLOS
1996
ACM
13 years 11 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
14 years 26 days 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...
ENTCS
2006
13 years 7 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...
CSMR
2008
IEEE
14 years 2 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...