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]]
 +  * 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**
tools.1217955604.txt.gz · Last modified: 2008/08/05 19:00 by gulyx
chimeric.de = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0