Login / Signup
A transformation-based approach to testing concurrent programs using UML activity diagrams.
Chang-Ai Sun
Yan Zhao
Lin Pan
Xiao He
Dave Towey
Published in:
Softw. Pract. Exp. (2016)
Keyphrases
</>
concurrent programs
uml activity diagrams
process algebra
concurrent programming
business process models
web applications
graphical representation
formal methods
data driven
business process
concurrent systems
databases
case study
business processes
communication protocols
web services composition