Using SPIN for automated debugging of infinite executions of Java programs (in press)

TitleUsing SPIN for automated debugging of infinite executions of Java programs (in press)
Publication TypeJournal Article
Year of Publication2013
AuthorsAdalid D, Salmeron A, Gallardo M-del-M, Merino P
JournalJournal of Systems and Software
Pagination15
Date Publishednov
ISSN0164-1212