Debugging with dynamic slicing and backtracking
Security models for web-based applications
Communications of the ACM
Software: Practice and Experience
James B. D. Joshi
Hiralal Agrawal
Richard A DeMillo
Arif Ghafoor
Walid G. Aref
Tardis: Affordable Time-travel Debugging in Managed Runtimes
An agreement centric access control mechanism for business to business e-commerce