@inproceedings{CTT100682084,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {Sandal: A Modeling Language Supporting Exhaustive Fault-Injection},
  booktitle = {Theory and Practice of Computation},
  year = 2016,
}

@inproceedings{CTT100682080,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {A Language Support for Exhaustive Fault-Injection in Message-Passing System Models},
  booktitle = {Electronic Proceedings in Theoretical Computer Science},
  year = 2014,
}

@inproceedings{CTT100770946,
  author = {渡部卓雄 and 鈴木将哉},
  title = {Objective-Cによる文脈指向プログラミングの実現手法},
  booktitle = {電子情報通信学会技術研究報告},
  year = 2012,
}