Stories tagged as testing – Software testing
  1. 4
    Driller - Augmenting Fuzzing Through Selective Symbolic Execution (2016) pdf compsci programming testing cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 1 comment
  2. 19
    Property Tests + Contracts = Integration Tests python testing hillelwayne.com
    hwayne avatar authored by hwayne 8 months ago | cached | 9 comments
  3. 6
    Writing Testable GPU Code testing blog.esciencecenter.nl
    calvin avatar via calvin 8 months ago | cached | 1 comment
  4. 2
    Introducing Pointed: Mock backends as a service api javascript testing blog.pointed.io
    jfo avatar via jfo 8 months ago | cached | 4 comments
  5. 15
    Fuzzy Thinking: Fuzz Testing and Formal Grammar compsci elm testing maxhallinan.com
    maxhallinan avatar authored by maxhallinan 8 months ago | cached | 3 comments
  6. 10
    Don't blame the decaf: What really causes software failures (and successes) practices testing github.com
    fitzgen avatar via fitzgen 9 months ago | cached | no comments
  7. 1
    Testing Non-Interference, Quickly (2012) pdf compsci programming security testing cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  8. 7
    The New QuickCheck: Random, Exhaustive, and Symbolic Testing Under One Roof (2012) pdf compsci formalmethods programming testing citeseer.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 1 comment
  9. 3
    Model-Based Testing with Logical Properties vs State Machines (2011) compsci formalmethods programming testing researchgate.net
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  10. 2
    DIABLO: Datacenter-in-a-Box Simulator Using FPGA's (2013) compsci distributed hardware networking testing diablo.cs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  11. 2
    The COGENT Case for Property-Based Testing (2017) pdf compsci formalmethods programming testing ssrg.nicta.com.au
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  12. 18
    Unit Testing Doesn't Affect Codebases the Way You Would Think practices testing blog.ndepend.com
    calvin avatar via calvin 9 months ago | cached | 10 comments
  13. 10
    Design by Contract: A Missing Link [1998] formalmethods testing win.tue.nl
    hwayne avatar via hwayne 9 months ago | cached | 1 comment
  14. 8
    Retrospective: An Axiomatic Basis for Computer Programming historical practices testing cacm.acm.org
    calvin avatar via calvin 9 months ago | cached | no comments
  15. 3
    Teaching software testing concepts using a mutation testing game education games testing code-defenders.org
    sergeyb avatar via sergeyb 9 months ago | cached | 4 comments
  16. 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
  17. 2
    À la carte Entropy compsci math testing shape-of-code.coding-guidelines.com
    derek-jones avatar authored by derek-jones 9 months ago | cached | no comments
  18. 14
    OSH 0.2 - Parsing One Million Lines of Shell programming testing unix oilshell.org
    andyc avatar authored by andyc 9 months ago | cached | 1 comment
  19. 7
    KLOVER: A Symbolic Execution and Automatic, Test Generator for C++ Programs pdf c++ testing cs.utah.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 1 comment
  20. 12
    Haskell Theory Exploration show ai haskell testing chriswarbo.net
    chriswarbo avatar authored by chriswarbo 9 months ago | cached | 1 comment
  21. 3
    Docker-based utility for testing network failures and partitions in distributed applications testing github.com
    unbalancedparentheses avatar via unbalancedparentheses 10 months ago | cached | 1 comment
  22. 3
    Green tests and ham – Dr Seuss on the test pyramid testing medium.com
    0hjc avatar authored by 0hjc 10 months ago | cached | no comments
  23. 14
    A Survey of Symbolic Execution Techniques formalmethods testing arxiv.org
    pushcx avatar via pushcx 10 months ago | cached | 3 comments
  24. 2
    Episode 104 - Speeding Up Tests ruby testing driftingruby.com
    kobaltz avatar authored by kobaltz 10 months ago | cached | no comments
  25. 26
    Learn TLA formalmethods testing learntla.com
    unbalancedparentheses avatar via unbalancedparentheses 10 months ago | cached | 20 comments
<< Page 5 | Page 7 >>