1. 5
    How Verified (or Tested) is My Code? Falsification-Driven Verification and Testing pdf formalmethods testing agroce.github.io
    pushcx avatar via pushcx 4 days ago | cached | no comments
  2. 18
    Ask: Do you use generative testing? How would you improve your use of it? ☶ ask formalmethods testing
    rs86 avatar authored by rs86 6 days ago | 20 comments
  3. 3
    PerfFuzz: Automatically Generating Pathological Inputs ☶ pdf testing carolemieux.com
    ceh avatar via ceh 8 days ago | cached | no comments
  4. 3
    Compiler Fuzzing through Deep Learning ☶ pdf testing homepages.inf.ed.ac.uk
    ceh avatar via ceh 8 days ago | cached | no comments
  5. 4
    Badger: Complexity Analysis with Fuzzing and Symbolic Execution ☶ testing arxiv.org
    ceh avatar via ceh 8 days ago | cached | no comments
  6. 15
    Engineering a Safer World ☶ pdf book practices testing mitpress.mit.edu
    hwayne avatar via hwayne 9 days ago | cached | 2 comments
  7. 5
    An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions ☶ pdf testing people.cs.umass.edu
    ceh avatar via ceh 9 days ago | cached | no comments
  8. 4
    Testing with Autotools, Valgrind, and Gcov debugging testing ansuz.sooke.bc.ca
    calvin avatar via calvin 10 days ago | cached | no comments
  9. 12
    State of Mutation Testing at Google testing ai.google
    ceh avatar via ceh 10 days ago | cached | 1 comment
  10. 3
    An Industrial Application of Mutation Testing testing emil.hessman.se
    ceh avatar authored by ceh 12 days ago | cached | no comments
  11. 20
    Looking at TDD: An Academic Survey compsci practices testing tedmyoung.com
    jitterted avatar authored by jitterted 15 days ago | cached | 5 comments
  12. 1
    TestProf: a good doctor for slow Ruby tests ruby testing evilmartians.com
    soulcutter avatar via soulcutter 17 days ago | cached | no comments
  13. 6
    Call for testers - Audio improvements for NetBSD 8.1 netbsd testing mail-index.netbsd.org
    sevan avatar via sevan 29 days ago | cached | no comments
  14. 2
    Equivalence Testing for JavaScript Transformations ☶ pdf slides javascript testing people.mpi-sws.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  15. 2
    How Unit Testing Improves Code Quality in TDD dotnet testing simform.com
    dkalpesh avatar via dkalpesh 1 month ago | cached | no comments
  16. 8
    A Trick For Test Maintenance rust testing matklad.github.io
    Screwtape avatar via Screwtape 1 month ago | cached | 1 comment
  17. 4
    Making Tests Go Faster performance ruby testing ryanbigg.com
    pushcx avatar via pushcx 1 month ago | cached | 3 comments
  18. 15
    Beyond Unit Tests ☶ video python testing hillelwayne.com
    hwayne avatar authored by hwayne 1 month ago | cached | 2 comments
  19. 11
    The true meaning of unit testing testing codewithoutrules.com
    itamarst avatar authored by itamarst 1 month ago | cached | 6 comments
  20. 4
    On Unit Tests testing blog.bloomca.me
    bloomca avatar authored by bloomca 1 month ago | cached | 2 comments
  21. 4
    Applying Combinatorial Testing to Systems with a Complex, Input Space (2013) ☶ programming testing uta-ir.tdl.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  22. 21
    Sketch.systems design formalmethods testing sketch.systems
    brendan avatar via brendan 1 month ago | cached | 8 comments
  23. 38
    Building Reliable Infrastructure in Rust ☶ video formalmethods rust testing youtube.com
    icefall avatar authored by icefall 1 month ago | cached | 9 comments
  24. 5
    Empirical Study Comparing Pairwise, Automated Testing to Hand-Crafted Tests (2017) ☶ pdf practices testing arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  25. 4
    My Personal Source Code: Books to Learn Analysis science testing satisfice.com
    mpron avatar via mpron 2 months ago | cached | no comments
Page 2 >>