Amanote Research

Amanote Research

    RegisterSign In

Analyzing Concurrency Bugs Using Dual Slicing

doi 10.1145/1831708.1831740
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2010

Authors
Dasarath WeeratungeXiangyu ZhangWilliam N. SumnerSuresh Jagannathan
Publisher

ACM Press


Related search

Analyzing and Predicting Concurrency Bugs in Open Source Systems

2017English

Safe Concurrency Introduction Through Slicing

2015English

CoopREP: Cooperative Record and Replay of Concurrency Bugs

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2017English

A Unified Approach for Localizing Non-Deadlock Concurrency Bugs

2012English

A Study of Concurrency Bugs in an Open Source Software

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2016English

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)

2015English

Using Program Slicing in Software Maintenance

IEEE Transactions on Software Engineering
Software
1991English

Unlocking Concurrency

Queue
Computer Science
2006English

Beneficial Bugs

Current Biology
GeneticsMolecular BiologyBiochemistryBiological SciencesNeuroscienceAgricultural
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy