Lei Bu

Dependable Software Engineering. Theories, Tools, and Applications

Software Analysis, Testing, and Evolution