We present Bixie, a tool to detect inconsistencies in
Java code. Bixie detects inconsistent code at a higher precision
than previous tools and provides novel fault localization 
techniques to explain why code is inconsistent. We demonstrate the
usefulness of Bixie on over one million lines of code, show that
it can detect inconsistencies at a low false alarm rate, and fix a
number of inconsistencies in popular open-source projects.
Watch our Demo at http://youtu.be/QpsoUBJMxhk.