Verifying Object-Oriented Software: Lessons and Challenges.

K. Rustan M. Leino

Published in: TACAS (2007)

Keyphrases

object oriented software
lessons learned
data flow
design patterns
software architecture
object oriented
software development
key issues
regression testing
real world
databases
database systems
open issues
distributed systems
model checking
expert systems
feature space
information systems
genetic algorithm