A lightweight code analysis and its role in evaluation of a dependability case.

Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson

Browse the full ICSE paper archive.