This shows you the differences between the selected revision and the current version of the page.
tools 2008/08/05 19:00 | tools 2008/11/06 11:50 current | ||
---|---|---|---|
Line 33: | Line 33: | ||
* [[lars.frantzen@isti.cnr.it|Lars Frantzen]] | * [[lars.frantzen@isti.cnr.it|Lars Frantzen]] | ||
+ | |||
Line 53: | Line 54: | ||
**Download** | **Download** | ||
- | * [[http://plastic.isti.cnr.it/download/tools/minerva/|Download area]] | + | * [[http://plastic.isti.cnr.it/download/tools/minerva/minerva-plastic.zip|Minerva Version "Plastic"]] |
**Licensing** | **Licensing** | ||
Line 85: | Line 86: | ||
* [[andrea.polini@unicam.it|Andrea Polini]] | * [[andrea.polini@unicam.it|Andrea Polini]] | ||
+ | |||
+ | |||
+ | |||
Line 110: | Line 114: | ||
* [[http://plastic.isti.cnr.it/download/tools/puppet/puppet-manual.pdf|User Manual]] | * [[http://plastic.isti.cnr.it/download/tools/puppet/puppet-manual.pdf|User Manual]] | ||
+ | |||
+ | **Publications** | ||
+ | * A. Bertolino, G. De Angelis, A. Polini: "//Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services//", in Proc. of the 6th International Workshop on Software and Performance (**WOSP 2007**) ,Buenos Aires, 5th to 8th February 2007, available [[http://portal.acm.org/citation.cfm?doid=1216993.1217017|here]] | ||
+ | * A. Bertolino, G. De Angelis, A. Polini: "//A QoS Test-bed Generator for Web S ervices//" in Proc. of 7th International Conference on Web Engineering (**ICWE 2007**), Como, Italy, July 16-20, available [[http://www.springerlink.com/content/h3686720434302l1/|here]] | ||
+ | * A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: "//Model-based Generation of Testbeds for Web Services//". In Proc. of the 20th IFIP Int. Conference on Testing of Communicating Systems (**TESTCOM 2008**). LNCS, Springer Verlag. Jun. 2008, Tokio, Japan, available [[http://www.springerlink.com/content/x1xp75r8t401n881/|here]] | ||
+ | * A. Bertolino, G. De Angelis, Lars Frantzen, A. Polini: "//The PLASTIC Framework and Tools for Testing Service-Oriented Applications//". Chapter in “Software Engineering – International Summer School, Tutorial Lectures”, A. De Lucia, F. Ferrucci, Ed.s, 2008, to appear. | ||
+ | * A. Bertolino, G. De Angelis, F. Lonetti, A. Sabetta: "//Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications//". In Proc. of the 34th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (**Em-SEAA 2008**). IEEE. Sept. 2008, Parma, Italy, available [[http://www1.isti.cnr.it/~antonia/popupBDALS08.htm|here]] | ||
+ | * A. Bertolino, G. De Angelis, A. Di Marco, P. Inverardi, A. Sabetta, M. Tivoli: "//A Framework for Analyzing and Testing the Performance of Software Services//", in Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (**ISOLA 2008**), 13-15 October 2008 - Porto Sani (Kassandra, Chalkidiki) – Greece. | ||
**Download** | **Download** | ||
- | * [[http://plastic.isti.cnr.it/download/tools/puppet/PuppetD4.4-20080805.zip|Puppet]] | + | * [[http://plastic.isti.cnr.it/download/tools/puppet/PuppetD4.4-20080805.zip|Puppet]] (Last Version) |
+ | * [[http://plastic.isti.cnr.it/download/tools/puppet/|Other Versions]] | ||
**Licensing** | **Licensing** |