Towards a better collaboration of static and dynamic analyses for testing concurrent programs.

Jun Chen Steve MacDonald

Published in: PADTAD (2008)

Keyphrases

concurrent programs
concurrent programming
process algebra
collaborative learning
concurrent processes
web applications
concurrent systems
database
real time
formal specification
machine learning
temporal logic
web services composition