|
|
Dr.
Dianxiang Xu |
[CV]
[Activities] [Pictures] |
|
Research |
Interests: software testing, software
security, aspect-oriented software development, applied formal methods, software agents. |
|
Projects:
Aspect-Oriented Software:
Modeling, Verification, and Testing |
|
|
Teaching |
Spring
2008: CSci 717 Software Construction CSci 718 Software Testing and Debugging Fall
2007: CSci 413 Principles of Software
Engineering CSci
790/Sem Aspect-Oriented Software Development |
|
Links |
[IEEE Explorer]
[ACM Portal] [Citeseer] [Software
Engineering Conferences] |
Last
update:
October 2006