Interview with Lionel C. Briand | ISSTA'16 https://issta2016.cispa.saarland/interview-with-lionel-c-briand/ 読んだ。 “Proving correctness (at least in the large) is an illusion” とか色々面白いことを言っている。

よく知らないのだけれど、ここで推されている研究は Search-based software engineering (SBSE) に分類されるのだろうか。
https://en.m.wikipedia.org/wiki/Search-based_software_engineering

実際の基調講演のスライドは https://issta2016.cispa.saarland/wp-content/uploads/2016/07/ISSTA16-briand.pdf

via https://twitter.com/issta_conf/status/739824406495678464