This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002. The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.There are tools such as Bandera , Java Pathfinder  and Automation Extractor (AX)  that take source code of the ... 285, 294  Shawn Flisakowski: Parser and Abstract Syntax Tree Builder for the C Programming Language. ftp site atanbsp;...
|Title||:||Computer Safety, Reliability and Security|
|Author||:||Stuart Anderson, Sandro Bologna, Massimo Felici|
|Publisher||:||Springer - 2003-08-02|