Event-sequence testing using answer-set programming

Warning The system is temporarily closed to updates for reporting purpose.

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