A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams

  • Authors:
  • Sun Meng;Luís S. Barbosa

  • Affiliations:
  • -;-

  • Venue:
  • QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Machine learning techniques have long been used for various purposes in software engineering. This paper provides a brief overview of the state of the art and reports on a number of novel applications I was involved with in the area of software testing. ...