Concepedia

Baohong Mu

BM

2

Publications

84

Citations

2

H-Index

2011

Active since

Affiliations

Swinburne University of Technology(Current)

University of Science and Technology Beijing

Baohong Mu is an author at Swinburne University of Technology specializing in formal verification, software engineering, and program analysis.

Top concepts

EngineeringVerificationSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSemantic Web

Publications per year

2011–2012

2

Publications

2

Metamorphic Testing for Web Services: Framework and a Case Study

Chang‐ai Sun, Guan Wang, Baohong Mu et al. · 2011 · 45 citations

Web Service Specification, Engineering, Verification +16

A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles

Chang‐ai Sun, Guan Wang, Baohong Mu et al. · International Journal of Web Services Research · 2012 · 39 citations · Full text

Web Service Specification, So-called Metamorphic Relations, Engineering +18

Rows per page

1–2 of 2