Techniques to facilitate probabilistic software analysis in real-world programs

Probabilistic software analysis aims at quantifying how likely a target event is to occur, given a probabilistic characterization of the behavior of a program or of its execution environment. Examples of target events may include an uncaught exception, the invocation of a certain method, or the a...

Full description

Main Author: BORGES, Mateus Araújo
Other Authors: D'AMORIM, Marcelo Bezerra
Format: masterThesis
Language: por
Published: Universidade Federal de Pernambuco 2016
Subjects:
Online Access: https://repositorio.ufpe.br/handle/123456789/14932
Tags: Add Tag
No Tags, Be the first to tag this record!