group :: ist_spl | BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)2
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1STSimulator - A Library to Simulate Symbolic Transition Systems
L. Frantzen. (Oct 27, 2007)
15 years ago by @davef
show all tags
ioco
java
sts
formal
library
testing
mbt
iocojavastsformallibrarytestingmbt
copydeleteadd this publication to your clipboard
2Generalized Symbolic Execution for Model Checking and Testing.
S. Khurshid, C. Pasareanu, and W. Visser. TACAS, volume 2619 of Lecture Notes in Computer Science, page 553-568. Springer, (2003)
16 years ago by @davef
show all tags
java
formal
symbolic
model_checking
mbt
javaformalsymbolicmodel_checkingmbt
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩