Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.
Frank S. de BoerStijn de GouwEinar Broch JohnsenAndreas KohnPeter Y. H. WongPublished in: LNCS Trans. Aspect Oriented Softw. Dev. (2014)