Invention Grant
- Patent Title: Amplification of dynamic checks through concurrency fuzzing
- Patent Title (中): 通过并发模糊扩大动态检查
-
Application No.: US12940983Application Date: 2010-11-05
-
Publication No.: US08533682B2Publication Date: 2013-09-10
- Inventor: Laxmi Narsimha Rao Kakulamarri , Madanlal S. Musuvathi
- Applicant: Laxmi Narsimha Rao Kakulamarri , Madanlal S. Musuvathi
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Agency: Gonzalez Saggio & Harlan LLP
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/30 ; G06F11/00 ; G06F3/00 ; G06F9/46 ; H04L29/06

Abstract:
The subject disclosure relates to effective dynamic monitoring of an application executing in a computing system by increasing concurrency coverage. A set of dynamic checks are linked to an application by mechanisms that enable the dynamic checks to monitor behavior of the application at runtime. As additionally described herein, concurrency fuzzing is applied to the application to randomize thread schedules of the application, thus increasing a number of disparate concurrency scenarios of the application observed by the plurality of dynamic checks.
Public/Granted literature
- US20120117544A1 AMPLIFICATION OF DYNAMIC CHECKS THROUGH CONCURRENCY FUZZING Public/Granted day:2012-05-10
Information query