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

doi 10.1109/ase.2015.30
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Analyzing Concurrency Bugs Using Dual Slicing

2010English

CoopREP: Cooperative Record and Replay of Concurrency Bugs

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2017English

Analyzing and Predicting Concurrency Bugs in Open Source Systems

2017English

A Study of Concurrency Bugs in an Open Source Software

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

A Unified Approach for Localizing Non-Deadlock Concurrency Bugs

2012English

Abstraction for Shape Analysis With Fast and Precise Transformers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Fast and Precise Regular Approximations of Logic Programs

1994English

Detector-Device-Independent Quantum Key Distribution: Security Analysis and Fast Implementation

Journal of Applied Physics
AstronomyPhysics
2016English

Design and Analysis of a Haptic Device Design for Large and Fast Movements

Machines
ControlSystems EngineeringIndustrialMechanical EngineeringElectronic EngineeringManufacturing EngineeringOptimizationElectricalComputer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy