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...
Saved in:
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!
|
Similar Items
-
Misticismo e lógica/Bertrand Russel ; tradução de Wilson Velloso
by: Russel, Bertrand Arthur William
Published: (2018) -
Logica: o cálculo de predicados/Leônidas Hegenberg : o calculo de predicados
by: Hegenberg, Leônidas
Published: (1973) -
Les etapes de la logique Par marcel boll et jacques reinhart.
by: Boll, Marcel,1886
Published: (2018) -
Estudos de lógica simbólica/Galileu Galilei Medeiros de Souza; colaboração de Allysson Bruno de Araújo Rufino.-
by: Souza, Galileu Galilei Medeiros de
Published: (2018) -
Lógica e álgebra de boole/Jacob Daghlian
by: Daghlian, Jacob
Published: (2018)