@proceedings{SETTA20,
  editor        = {J. Pang and L. Zhang},
  title         = {Proc.\ 6th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA'20)},
  year          = {2020},
  series        = {Lecture Notes in Computer Science},
  volume        = {12153},
  publisher     = {Springer-Verlag}
}