|
[PBU13]
Esteban Pavese, Víctor Braberman and Sebastián Uchitel.
Automated reliability estimation over partial systematic explorations.
In Proc. 35th International Conference on Software Engineering (ICSE'13).
2013.
[Presents a method for formal reliability estimation using simulation, invariant inference and probabilistic model checking, and building upon PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|