發送短信: Conformance testing object-oriented frameworks using JAVA / Kevin G. Brady, James St. Pierre.