Name: Dejan BacaTopic: Software Security Defect Detection and Avoidance?PhD start: ? 2007 Licentitate: Planned for 2009 ?Company contacts: Ericsson ABResearch description: ....