Lisbon, Portugal Michael D. Ernst, Thomas P. Jensen (Eds.):
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005.
ACM 2005, ISBN 1-59593-239-9
Monitoring and testing
Security and state
- Andrew C. Myers:
Making distributed systems secure with program analysis and transformation.
- Dick Hamlet:
Invariants and state in testing and formal methods.
Reverse engineering and symbolic execution
Last update Thu May 23 02:57:28 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page