lin-check

Page tree

Title: Smart concurrent test scenarios generation  
Author: Nikita Koval Nov 08, 2017
Last Changed by: Nikita Koval Nov 08, 2017
Tiny Link: (useful for email) https://opensource.devexperts.com/x/DIAVAQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Home page: About lin-check
Labels
There are no labels assigned to this page.
Recent Changes
Time Editor  
Nov 08, 2017 22:16 Nikita Koval View Changes
Nov 08, 2017 21:19 Nikita Koval  
Outgoing Links
External Links (5)
    mp.binaervarianz.de/pldi2012.pdf
    https://pdfs.semanticscholar.org/b4a8/e794a4056e6d71d9b2e8c…
    https://www.slideserve.com/Pat_Xavi/colt-effective-testing-…
    www.cse.ust.hk/~vterragni/files/Terragni_ICSE2016.pdf
    theory.stanford.edu/~aiken/publications/papers/oopsla11b.pd…