Towards automated robustness testing of BPEL orchestrators.
Denitsa ManovaSylvia IlievaFrancesca LonettiAntonia BertolinoCesare BartoliniPublished in: CompSysTech (2011)
Keyphrases
- web services
- service oriented
- service composition
- formal methods
- composition of web services
- semi automated
- business processes
- business process
- search based testing
- web services composition
- test cases
- machine learning
- business process management
- petri net
- decision making
- test suite
- artificial intelligence
- automated analysis
- business process modeling
- colored petri nets
- neural network
- real time