search chat play-circle-outline angle-down angle-right angle-left icon-menu
Skip to content
Michalis Famelis

Michalis Famelis

Université de Montréal

  • À propos / About
  • Enseignement / Teaching
  • Étudiants / Students
  • Recherche / Research
  • Publications
  • Logiciel / Software
  • Service
  • Contact
Search
  • Tag: concurrency

  • RaceFuzzer

    Posted by plagal on December 5, 2008December 5, 2008

    As a requirement of my Algorithmic Software Verification course, I prepared a presentation of Koushik Sen‘s paper “Race Directed Random Testing of Concurrent Programs“. The paper is basically introducing RaceFuzzer, an algorithm for determining real …

    paper, presentation
    0 0 comments on “RaceFuzzer”
Create a website or blog at WordPress.com
  • Follow Following
    • Michalis Famelis
    • Already have a WordPress.com account? Log in now.
    • Michalis Famelis
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar