| 0 | -- | 0 | Robert M. Hierons, Tao Xie 0001. Model checking, testing and debugging |
| 0 | -- | 0 | Vanya Yaneva, Ajitha Rajan, Christophe Dubach. GPU acceleration of finite state machine input execution: Improving scale and performance |
| 0 | -- | 0 | Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro. Model checking C++ programs |
| 0 | -- | 0 | Zahra Sadri-Moshkenani, Justin M. Bradley, Gregg Rothermel. Survey on test case generation, selection and prioritization for cyber-physical systems |
| 0 | -- | 0 | Justin Chu, Tingting Yu, Jane Huffman Hayes, Xue Han, Yu Zhao 0010. Effective fault localization and context-aware debugging for concurrent programs |