@ARTICLE { AUTHOR = "Oscar Callau and Romain Robbes and {\'E}ric Tanter and David Roethlisberger and Alexandre Bergel", TITLE ="On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk", JOURNAL = "ACM SIGPLAN Notices (SIGPLAN)", VOLUME = "50", NUMBER = "2", PAGES = "135-146", MONTH = "Feb", YEAR = "2015", PUBLISHER = "ACM Press", ADDRESS = "New York, NY, USA", ISSN = "0362-1340" }