author    = {Frank S. de Boer and Stijn de Gouw and Einar Broch Johnsen and Andreas Kohn and Peter Y. H. Wong},
  title     = {Run-Time Assertion Checking of Data- and Protocol-Oriented
               Properties of Java Programs: An Industrial Case Study},
  journal   = {Transactions on Aspect-Oriented Software Development},
  volume    = {11},
  year      = {2014},
  pages     = {1--26},
  editor    = {Shigeru Chiba and {\'E}ric Tanter and Eric Bodden and Shahar Maoz and J{\"o}rg Kienzle},
  series    = {Lecture Notes in Computer Science},
  volume    = {8400},
  publisher = {Springer},