“A Software Flaw Taxonomy: Aiming Tools at Security”
Presented at Software Engineering for Secure Systems (SESS) Workshop at International Conference on Software Engineering (ICSE 2005).
“Comparison of Fault Detection Effectiveness of Model-Based Test Generation Techniques”
Presented at Advances in Model Based Software Testing (AMOST) Workshop at International Conference on Software Engineering (ICSE 2005).
An extended version of this paper was invited for submission to Journal of Information and Software Technology.
“Chicken & Egg: Test Dependencies in Security Testing and Common Criteria Evaluations”
Presented at International Symposium on Secure Software Engineering (ISSSE 2006).
“The Case for Analysis Preserving Language Transformation”
Accepted at International Symposium on Software Testing and Analysis (ISSTA 2006).
“The Feasibility of Automated Feedback-Directed Test Generation: A Case Study of a High-Assurance Operating System”
RC 24547, May 2, 2008, IBM Research Division, T. J. Watson Research Center: Yorktown Heights, NY.