Fault localisation for WS-BPEL programs based on predicate switching and program slicing.
Chang-Ai SunYufeng RanCaiyun ZhengHuai LiuDave ToweyXiangyu ZhangPublished in: J. Syst. Softw. (2018)
Keyphrases
- software systems
- program slicing
- source code
- ws bpel
- software metrics
- business process
- software maintenance
- fault localization
- business processes
- software testing
- fault detection
- fault diagnosis
- service composition
- software evolution
- description languages
- formal verification
- asynchronous communication
- reverse engineering
- web services
- information systems
- description language
- distributed systems
- relational databases