commit 727d59b3adf86b166ed9b6c675e370f14ffdea4f
author Damian Gryski <dgryski@gmail.com> Sun Jul 03 11:18:59 2016 +0200
committer Damian Gryski <dgryski@gmail.com> Sun Jul 03 11:18:59 2016 +0200
tree cd28f1cb57a10b94ea1c9f9869efa7eb8f93dbb5
parent 55b76a3d51cef4ab38862e800224eadd3a4ccaea

Updated ResearchPapers (markdown)

ResearchPapers.md

diff --git a/ResearchPapers.md b/ResearchPapers.md
index 3d60cba..ac00cf2 100644
--- a/ResearchPapers.md
+++ b/ResearchPapers.md
@@ -73,8 +73,8 @@
   - [pdf](https://www.cs.ru.nl/bachelorscripties/2014/Jip_Dekker___4122100___Generating_Google_Go_framework_from_Uppaal_models.pdf)
 - Using the Go Programming Language in Practice (Westrup, Pettersson)
   - [pdf](http://users.student.lth.se/dt09ew6/files/thesis.pdf)
-
-
+- A Language Support for Exhaustive Fault-Injection in Message-Passing System Models (Suzuki, Watanabe)
+  - [arXiv:1411.3793 cs.SE](https://arxiv.org/abs/1411.3793)
 
 ## 2013
 - GoPar: Automatic Loop Parallelization of Go Programs (Wetherbee)