944 search results - page 147 / 189 » Software model checking without source code |
SIGSOFT
2000
ACM
14 years 2 days ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
ICSM
2002
IEEE
14 years 19 days ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
AAMAS
2002
Springer
13 years 7 months ago
2002
Springer
We control a population of interacting software agents. The agents have a strategy, and receive a payoff for executing that strategy. Unsuccessful agents become extinct. We investi...
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
IPPS
1999
IEEE
14 years 9 hour ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...