Automatic dynamic generation of likely invariants for WS-BPEL compositions

  1. Palomo-Duarte, M.
  2. García-Domínguez, A.
  3. Medina-Bulo, I.
Journal:
Expert Systems with Applications

ISSN: 0957-4174

Year of publication: 2014

Volume: 41

Issue: 11

Pages: 5041-5055

Type: Article

DOI: 10.1016/J.ESWA.2014.01.037 GOOGLE SCHOLAR