Upload
Featured Recent Articles Topics Login Upload

Search Results for 'thread bug'

thread bug published presentations and documents on DocSlides.

Random Testing CS 6340 Random Testing (Fuzzing)
Random Testing CS 6340 Random Testing (Fuzzing)
by mitsue-stanley
Feed random inputs to a program. Observe whether ...
Lazy Diagnosis of In-Production Concurrency Bugs
Lazy Diagnosis of In-Production Concurrency Bugs
by briana-ranney
Baris Kasikci, . Weidong. Cui, Xinyang Ge, Ben ....
Lazy Diagnosis of In-Production Concurrency Bugs
Lazy Diagnosis of In-Production Concurrency Bugs
by marina-yarberry
Baris Kasikci, . Weidong. Cui, Xinyang Ge, Ben ....
A Randomized Scheduler with Probabilistic Guarantees
A Randomized Scheduler with Probabilistic Guarantees
by eleanor
of Finding Bugs. Sebastian Burckhardt. Microsoft R...
Automated Atomicity-Violation
Automated Atomicity-Violation
by trish-goza
Automated Atomicity-Violation Fixing Guoliang Ji...
Maple: A Coverage-Driven Testing
Maple: A Coverage-Driven Testing
by stefany-barnette
Tool for Multithreaded Programs. Chunkun. . Bo. ...
Deadlock Bug Detection Techniques
Deadlock Bug Detection Techniques
by freya
Prof. . Moonzoo. Kim. CS KAIST. CS492B Analysis o...
C ooperative
C ooperative
by pamella-moone
C. oncurrency Bug . I. solation. Guoliang. Jin,....
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
by olivia-moreira
Michael D. Bond. University of Texas at Austin. G...
Learning from Mistakes: A Comprehensive Study on Real-World
Learning from Mistakes: A Comprehensive Study on Real-World
by cheryl-pisano
Ben Shelton. Motivation. Concurrent programming i...
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug
by briana-ranney
Michael D. Bond. University of Texas at Austin. G...
What Change History Tells Us about Thread Synchronization
What Change History Tells Us about Thread Synchronization
by alexa-scheidler
Rui. . Gu. , . Guoliang. . Jin. , . Linhai. So...