Research Highlights
-
Master Project: Specification Squeezing
-
Submitted TSE'05 Paper: Software Assurance by Bounded Exhaustive Testing
-
Middleware Seminar Presentation: C# and .NET
|
|
Research Highlights
|
| Home | Research | Writing | Gallery |
| |
||||
|
|
||||
|
Research Interests Publications Professional News
|
I am interested in software engineering, program analysis and software security. My research focuses on analyzing and modeling software behavior, and testing and verifying software qualities of correctness, security and robustness. Specifically, I have done some research in specification-based testing: bounded exhaustive testing.
Copyright 2005. All rights reserved. |
|||
