|
[GTC15]
Simos Gerasimou, Giordano Tamburrelli and Radu Calinescu.
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering.
In Proc. 30th IEEE/ACM International Conference on Automated Software Engineering (ASE'15).
2015.
[Proposes search-based software engineering techniques using multi-objective optimisation, implemented in the EvoChecker tool which performs model analysis using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|