Keijo Heljanko
Testing of multithreaded programs using dynamic symbolic execution is a technique that automatically tests the source code of a multithreade...
Home » Heljanko
Showing posts with label Heljanko. Show all posts
Showing posts with label Heljanko. Show all posts
Subscribe to:
Posts (Atom)