Items where Author is "Inoue, Katsumi"
The system is temporarily closed to updates for reporting purpose. |
Group by: Item Type | No Grouping
Jump to: Article | Papers in Conference Proceedings
Number of items: 2.
Article
Barin, Martin and Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Puhrer, Jorg and Tompits, Hans and Yılmaz, Cemal (2012) Event-sequence testing using answer-set programming. (Accepted)
Papers in Conference Proceedings
Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Pührer, Jörg and Tompits, Hans and Yılmaz, Cemal (2011) Answer-set programming as a new approach to event-sequence testing. In: International Conference on Advances in System Testing and Validation Lifecycle, (Accepted)