Rewriting-Based Techniques for Runtime Verification
Reuse-Conducive Development Environments
Interactive and Probabilistic Proof of Mobile Code Safety*
Web Application Slicing in Presence of Dynamic Code Generation