3 search results - page 1 / 1 » Harvesting verifiable challenges from oblivious online sourc... |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
VSTTE
2010
Springer
13 years 2 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
ELPUB
2007
ACM
13 years 8 months ago
2007
ACM
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...