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
Rehearsal (Testing Framework) - 2011-2012