Search
 
   

8 results for "domain:doc.ic.ac.uk"

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