Xuandong Li Linzhang Wang Xiaokang Qiu Bin Lei Jiesong Yuan Jianhua Zhao Guoliang Zheng Runtime Verification of Java Programs for Scenario-Based Specifications. 94-105 2006 conf/adaEurope/2006 Ada-Europe http://dx.doi.org/10.1007/11767077_8 db/conf/adaEurope/adaEurope2006.html#LiWQLYZZ06