Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs.

Yogesh Murarka Umesh Bellur

Published in: APSEC (2008)

Keyphrases

object oriented programs
specification languages
integration testing
concurrent execution
database transactions
object oriented
database
artificial intelligence
relational databases
data model
rough sets
impact analysis