|
|
Dr.
Dianxiang Xu Madison, SD 57042 |
|
Research |
Interests: software security, software testing, applied formal methods, software agents. |
|
Projects: Software
Security: A Threat-Driven Approach |
|
|
Teaching |
Fall: INFA 719 Software Security Spring: INFA 792 Software Quality Assurance |
|
Misc. |
[Vita] [Activities] [Pictures] |
|
[IEEE Explorer] [ACM Portal] [Citeseer] |
|
Last update: June 2009