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

Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson. A lightweight code analysis and its role in evaluation of a dependability case. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 31-40, ACM, 2011. [doi]

Authors

Joseph P. Near

This author has not been identified. Look up 'Joseph P. Near' in Google

Aleksandar Milicevic

This author has not been identified. Look up 'Aleksandar Milicevic' in Google

Eunsuk Kang

This author has not been identified. Look up 'Eunsuk Kang' in Google

Daniel Jackson

This author has not been identified. Look up 'Daniel Jackson' in Google