Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Fingerprint Dive into the research topics of 'Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study'. Together they form a unique fingerprint.

Engineering & Materials Science