 | Up a level |
Renggli, Lukas; Ducasse, Stéphane; Girba, Tudor; Nierstrasz, Oscar (2010). Domain-Specific Program Checking. In: Vitek, Jan (ed.) Objects, Models, Components, Patterns. 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 6141 (pp. 213-232). Heidelberg: Springer Verlag 10.1007/978-3-642-13953-6_12
Lienhard, Adrian; Gîrba, Tudor; Nierstrasz, Oscar (2008). Practical Object-Oriented Back-in-Time Debugging. In: Vitek, Jan (ed.) ECOOP 2008 - Object-Oriented Programming. 22nd European Conference, Paphos, Cyprus, July 7-11, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5142 (pp. 592-615). Heidelberg: Springer Verlag 10.1007/978-3-540-70592-5_25
