Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli. A Framework for Analyzing and Testing the Performance of Software Services. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 206-220, Springer, 2008. [doi]
Abstract is missing.