Matthias P. Krieger, Alexander Knapp, Burkhart Wolff. Automatic and efficient simulation of operation contracts. In Eelco Visser, Jaakko Järvi, editors, Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010. pages 53-62, ACM, 2010. [doi]
Abstract is missing.