Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
8 results for "domain:doc.ic.ac.uk"
2
Automatic Testing of Symbolic Execution Engines via Program Generation and Testing (2017)
☶
pdf
formalmethods
testing
srg.doc.ic.ac.uk
via
nickpsecurity
4 months ago
|
cached
|
no comments
0
2
Orca: GC and Type System Co-Design for Actor Languages (2017)
☶
pdf
distributed
plt
programming
doc.ic.ac.uk
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
6
Automated Testing of Graphics Shader Compilers (2017)
pdf
compilers
compsci
graphics
programming
testing
doc.ic.ac.uk
via
nickpsecurity
9 months ago
|
cached
|
no comments
0
2
A Guide to Alloy (2007)
pdf
compsci
formalmethods
programming
doc.ic.ac.uk
via
nickpsecurity
9 months ago
|
cached
|
1 comment
1
11
KLEE - Unassisted, Automatic Generation of High-Coverage Tests for System Programs (2008)
pdf
compilers
compsci
programming
testing
doc.ic.ac.uk
via
nickpsecurity
1 year ago
|
cached
|
3 comments
3
2
CLsmith
testing
multicore.doc.ic.ac.uk
via
sanxiyn
2 years ago
|
cached
|
no comments
0
10
History of logic programming
☶
pdf
compsci
programming
doc.ic.ac.uk
via
mjn
3 years ago
|
cached
|
5 comments
5
3
Reasoned Programming (paper)
pdf
programming
doc.ic.ac.uk
via
robin
3 years ago
|
cached
|
1 comment
1