CSC News
Xie Receives Army Research Office Award
Dr. Tao Xie has been awarded $50,000 by the Army Research Office to fund his research proposal titled “Improving Software Dependability Via Mining Properties For Software Verification.”
The award will run from June 18, 2007 through March 17, 2008.
Research Abstract - Most correctness, security, and robustness violations are caused by the incorrect usage of system or application programming interfaces (APIs). Although API properties or behaviors can be formally specified and statically verified against software by the current state-of-the-art static verification tools, API details and their usage properties are often not documented by the developers. We propose to develop new approaches for mining API properties for static verification from the API client call sites in existing code repositories.
The award will run from June 18, 2007 through March 17, 2008.
Research Abstract - Most correctness, security, and robustness violations are caused by the incorrect usage of system or application programming interfaces (APIs). Although API properties or behaviors can be formally specified and statically verified against software by the current state-of-the-art static verification tools, API details and their usage properties are often not documented by the developers. We propose to develop new approaches for mining API properties for static verification from the API client call sites in existing code repositories.
Return To News Homepage