Techniques to facilitate probabilistic software analysis in real-world programs

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-19T17:42:17Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 864300 bytes, checksum: 624346f890c947cf26d691a5fc74d707 (MD5) === Made available in DSpace...

Full description

Bibliographic Details
Main Author: BORGES, Mateus Araújo
Other Authors: http://lattes.cnpq.br/3762670242328435
Language:Portuguese
Published: Universidade Federal de Pernambuco 2016
Subjects:
Online Access:https://repositorio.ufpe.br/handle/123456789/14932