Testing concurrent programs to achieve high synchronization coverage.

Shin Hong Jaemin Ahn Sangmin Park Moonzoo Kim Mary Jean Harrold

Published in: ISSTA (2012)

Keyphrases

concurrent programs
process algebra
concurrent programming
concurrent processes
web applications
formal specification
databases
model checking
concurrent systems
programming language
fault tolerance
computer systems
web services composition
software engineering
expert systems
knowledge base
information systems