A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller.

Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta

Browse the full DSN paper archive.