476 search results - page 96 / 96 » Software Architecture Visualization: An Evaluation Framework... |
176
click to vote
PLDI
2009
ACM
16 years 22 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...