You are here

Verification and Validation of Choreographies

Documents

 

  • 2012

    • An exploratory study to assess (1) Rehearsal and (2) a TDD methodology for choreographies Felipe Besson link
    • Automated Scalability Testing Framework for Web Service Choroegraphies. Pedro Leal. Graduation project. Department of Computer Science, Institute of Mathematics and Statistics - University of São Paulo. January, 2012 PDF
  • 2011

    • A framework for automated testing of web service choreographies. Felipe BessonMasters Qualifying exam. October, 2011 PDF slides
    • Test-Driven Development Methodology Proposal for Web Service Choreographies Felipe Besson; Pedro Leal; Fabio Kon. December, 2011 PDF
    • Rehearsal: A framework for automated testing of web service choreographies Felipe Besson; Pedro Leal; Fabio Kon. Technical Report No: RT-MAC-2011-05. Department of Computer Science, Institute of Mathematics and Statistics - University of São Paulo. December, 2011 PDF
    • Assessment propostal for the Rehearal framework Felipe Besson; Fabio Kon. December, 2011 PDF
    • Annual Retrospective Results Felipe Besson; Pedro Leal. December, 2011 PDF
  • 2010

    • Towards Verification and Validation of Choreographies. Felipe Besson; Pedro Leal; Fabio Kon. Technical Report No: RT-MAC-2011-01. Department of Computer Science, Institute of Mathematics and Statistics - University of São Paulo. January, 2011 PDF

Software