Stijn de Gouw

Joint Papers

• Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
• Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study