944 search results - page 29 / 189 » Software model checking without source code |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The stigmergy collaboration approach provides a hypothesized explanation about how online groups work together. In this research, we presented a stigmergy approach for building ...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
ECMDAFA
2009
Springer
13 years 11 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
MSR
2005
ACM
14 years 1 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...