Carlo A. Furia 1 Software Institute Faculty of Informatics

First Page		Document Content
Date: 2018-08-20 10:44:31 Software engineering Computing Computer science Polytechnic University of Milan International Conference on Software Engineering Bertrand Meyer Software verification ETH Zurich Carlo Ghezzi		Carlo A. Furia 1 Software Institute Faculty of Informatics Add to Reading List Source URL: bugcounting.net Download Document from Source Website File Size: 225,39 KB Share Document on Facebook

	2009 IEEE/ACM International Conference on Automated Software Engineering Adding Examples into Java Documents Jinhan Kim, Sanghoon Lee, Seung-won Hwang Pohang University of Science and Technology Pohang, Korea DocID: 1v581 - View Document
	2016 IEEE International Conference on Software Science, Technology and Engineering Identifying Attack Propagation Patterns in Honeypots using Markov Chains Modeling and Complex Networks Analysis Ariel Bar, Bracha Shapi DocID: 1v095 - View Document
	2012 Ninth International Joint Conference on Computer Science and Software Engineering (JCSSE) Knowledge Discovery in Web Trafﬁc Log: A Case Study of Facebook Usage in Kasetsart University Chakkrit Tantithamthavorn, A DocID: 1uSMw - View Document
	ICSE 2001 F I N A L R E P O RT 23 R D IEEE/ACM INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING TORONTO, ONTARIO, CANADA DocID: 1uEtX - View Document
	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram DocID: 1ukEd - View Document