Tidbits Gleaned Over Nine Years of Concurrent Software Testing Research

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=woubLQA3qiY


Duration: 1:21:57
36 views
0

In this talk, I will share our experiences with creating tools and a methodology for testing concurrent software during the last nine years. I will start by explaining why the problem is troublesome. Then, I will cover these topics: Using tools that increase the likelihood of test failure Unit and system test methodology Evaluating concurrent coverage Finding potential deadlocks Debugging aids for concurrent software Discovering bug location in code automatically Healing concurrent programs



Other Videos By Microsoft Research


2016-09-06Edge-Preserving Decomposition for Multi-Scale Tone and Detail Manipulation
2016-09-06Brain in a Bottle, Structure and Algorithms
2016-09-06Building Mashups by Example
2016-09-06Analyzing Metabolomics Data for Automated Prediction of Underlying Biological Mechanisms
2016-09-06Examining Bugs to Improve Static Analysis
2016-09-06Towards Programmable Matter
2016-09-06Automated Assume-guarantee Verification
2016-09-06EUCALYPTUS: An Open Source Service Infrastructure for Elastic Computing Research
2016-09-06Donnybrook: Enabling Large-Scale, High-Speed, Peer-to-Peer Games
2016-09-06Model Compression
2016-09-06Tidbits Gleaned Over Nine Years of Concurrent Software Testing Research
2016-09-06Pig: Dataflow Programming for Map-Reduce Clusters
2016-09-06Symbolic (Java) PathFinder - Symbolic Execution of Java bytecodes
2016-09-06Understanding the Productivity Gridlock in Scientific Computing (and can Software Engineering Help)
2016-09-06Compressive Sensing
2016-09-06Releasing Human Adaptive Power through Design Innovation [1/3]
2016-09-06Enhancing the Musical Experience - From the Acoustic to the Digital... and Back.
2016-09-06A Marriage of Rely/Guarantee and Separation Logic
2016-09-06Standard-Compliant Multiple Description Image Coding
2016-09-06High, Wide, & Deep: Displayed Image Color Appearance and Perception
2016-09-06Behind the Code with Terry Crowley


Tags:
microsoft research