[Title page i]

The following topics are dealt with: automated development support; formal verification; specification mining; search-based software testing; concurrency bugs; concurrency analysis; automatic test generation; mobile applications; program repair; program synthesis; software performance; product lines; configurable software systems; defect prediction; debugging; concurrent programming; parallel programming; program analysis; program translations; software evolution; data mining and tool demonstrations.