Runtime Verification of Java Programs for Scenario-Based Specifications.
Proceedings of the Reliable Software Technologies, 2006
Generating Test Cases from UML Activity Diagram based on Gray-Box Method.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004