• DocumentCode
    3561760
  • Title

    Bixie: Finding and Understanding Inconsistent Code

  • Author

    McCarthy, Tim ; Rummer, Philipp ; Schaf, Martin

  • Volume
    2
  • fYear
    2015
  • Firstpage
    645
  • Lastpage
    648
  • Abstract
    We present Bixie, a tool to detect inconsistencies in Java code. Bixie detectsinconsistent code at a higher precision than previous tools and provides novelfault localization techniques to explain why code is inconsistent. Wedemonstrate the usefulness of Bixie on over one million lines of code, showthat it can detect inconsistencies at a low false alarm rate, and fix a numberof inconsistencies in popular open-source projects. Watch our Demo at http://youtu.be/QpsoUBJMxhk.
  • Keywords
    Java; program compilers; program diagnostics; software fault tolerance; Bixie; Java code; fault localization technique; inconsistent code finding; inconsistent code understanding; open-source projects; Arrays; Benchmark testing; Computer bugs; Java; Open source software; Runtime; Unsolicited electronic mail;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
  • Type

    conf

  • DOI
    10.1109/ICSE.2015.213
  • Filename
    7203033