@conference {BHS11,
	title = {Towards rigorous analysis of Open Source Software},
	booktitle = {Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software - TTSS},
	year = {2011},
	month = {September},
	pages = {77-89},
	publisher = {University of Oslo, RR-409},
	organization = {University of Oslo, RR-409},
	address = {Oslo, Norway},
	abstract = {<p>This paper discusses the (often hidden) potential of Open Source Software development to resort to, benefit from and cross-fertilize formal engineering methods, whose role is indisputable in the production of trustworthy software components. A strategy addressing the incorporation of formal verification methods in the Open Source Software lifecycle, in a somewhat less conventional way {\textemdash} that of assisting the re-engineering process of running code {\textemdash} is proposed.</p>
},
	doi = {http://hdl.handle.net/10852/8998},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/originalbrs11.pdf},
	author = {Luis Soares Barbosa and Pedro Rangel Henriques and Alejandro Sanchez},
	editor = {Sun Meng and Volker Stolz}
}