2016-10-10 自動テスト関係のメモ test memo そのうちちゃんと調べたいので忘れないようにメモ EvoSuite github.com JUnitのテストケースの自動生成. [シンボリック実行を活用した 網羅的テストケース生成 - Fujitsu] シンボリック実行に入門しようとした ntddk.github.io 用語とか基本知識の解説 coq-chick-blog github.com 証明支援システムCoqで作られたブログ。Webアプリの証明。
2016-10-10 Sparkメモ memo spark メモというかブックマーク的な www.sigmoid.com https://www.quora.com/What-exactly-is-Apache-Spark-and-how-does-it-work/answer/Prithiviraj-Damodaranwww.quora.com