1. 4
    Compiler Fuzzing through Deep Learning ☶ pdf testing homepages.inf.ed.ac.uk
    ceh avatar via ceh 1 month ago | cached | no comments
  2. 4
    Badger: Complexity Analysis with Fuzzing and Symbolic Execution ☶ testing arxiv.org
    ceh avatar via ceh 1 month ago | cached | no comments
  3. 8
    Nagini: A Static Verifier for Python ☶ pdf formalmethods python pm.inf.ethz.ch
    ceh avatar via ceh 1 month ago | cached | 2 comments
  4. 6
    Formal reasoning about the security of AWS pdf formalmethods cs.ucl.ac.uk
    ceh avatar via ceh 1 month ago | cached | no comments
  5. 13
    XARs: An efficient system for self-contained executables python code.fb.com
    ceh avatar via ceh 1 month ago | cached | 1 comment
  6. 4
    FASTER: A Concurrent Key-Value Store with In-Place Updates databases microsoft.com
    ceh avatar via ceh 1 month ago | cached | no comments
  7. 5
    An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions ☶ pdf testing people.cs.umass.edu
    ceh avatar via ceh 1 month ago | cached | no comments
  8. 7
    From Corp to Cloud: Google's Virtual Desktops virtualization ai.google
    ceh avatar via ceh 1 month ago | cached | no comments
  9. 12
    State of Mutation Testing at Google testing ai.google
    ceh avatar via ceh 1 month ago | cached | 1 comment
  10. 3
    An Industrial Application of Mutation Testing testing emil.hessman.se
    ceh avatar authored by ceh 1 month ago | cached | no comments
<< Page 1