Event-sequence testing using answer-set programming

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/In Press)

Full text not available from this repository. (Request a copy)
Item Type: Article
Subjects: Q Science > Q Science (General)
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Cemal Yılmaz
Date Deposited: 01 Dec 2012 20:54
Last Modified: 01 Aug 2019 09:53
URI: https://research.sabanciuniv.edu/id/eprint/21048

Actions (login required)

View Item
View Item