Falcon: fault localization in concurrent programs

No abstract is available for this paper.

• Publication year

  2010

• Venue

  2010 ACM/IEEE 32nd International Conference on Software Engineering

• Publication date

  2010-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1806799.1806838
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Finding concurrency bugs with context-aware communication graphs

  2009influential reference
• HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

  2009cited by this paper
• CTrigger: exposing atomicity violation bugs from their hiding places

  2009cited by this paper
• SideTrack: generalizing dynamic atomicity analysis

  2009cited by this paper
• Cooperative crug isolation

  2009influential reference
• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

  2008influential reference
• Randomized active atomicity violation detection in concurrent programs

  2008cited by this paper
• Race directed random testing of concurrent programs

  2008influential reference
• Dynamic detection of atomic-set-serializability violations

  2008influential reference
• Concurrency at Microsoft – An Exploratory Survey

  2008cited by this paper
• Finding and Reproducing Heisenbugs in Concurrent Programs

  2008cited by this paper
• Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

  2008cited by this paper
• Conditional must not aliasing for static race detection

  2007cited by this paper
• Iterative context bounding for systematic testing of multithreaded programs

  2007influential reference
• Towards a framework and a benchmark for testing tools for multi‐threaded programs

  2007cited by this paper
• On the Accuracy of Spectrum-based Fault Localization

  2007cited by this paper
• Automatically classifying benign and harmful data races using replay analysis

  2007cited by this paper
• AVIO: detecting atomicity violations via access interleaving invariants

  2006influential reference
• Accurate and efficient runtime detection of atomicity errors in concurrent programs

  2006influential reference
• The Landscape of Parallel Computing Research: A View from Berkeley

  2006cited by this paper
• Improving distributed memory applications testing by message perturbation

  2006cited by this paper
• Automated, scalable debugging of MPI programs with Intel® Message Checker

  2005cited by this paper
• Common Mistakes in OpenMP and How to Avoid Them - A Collection of Best Practices

  2005cited by this paper
• Scalable statistical bug isolation

  2005cited by this paper
• Empirical evaluation of the tarantula automatic fault-localization technique

  2005influential reference
• Atomizer: a dynamic atomicity checker for multithreaded programs

  2004influential reference
• A type and effect system for atomicity

  2003influential reference
• Hybrid dynamic data race detection

  2003cited by this paper
• Multithreaded Java program test generation

  2001cited by this paper
• Object race detection

  2001cited by this paper
• Type-based race detection for Java

  2000cited by this paper
• RecPlay: a fully integrated practical record/replay system

  1999cited by this paper
• Eraser: a dynamic data race detector for multi-threaded programs

  1997cited by this paper
• Debugging concurrent programs

  1989cited by this paper

• Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules

  2025cites this paper
• SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software

  2025cites this paper
• GZoltarAction: A Fault Localization Bot for GitHub Repositories

  2025cites this paper
• Java lock contention anti-patterns and their associated recommendations

  2024cites this paper
• Detect atomicity violations in concurrent programs through user assistance and identification of suspicious variable access patterns

  2024cites this paper
• Thread-sensitive fuzzing for concurrency bug detection

  2024cites this paper
• FaultLLAMA2: A Fine Tuned Large Language Model for Code Recommendations to Reduce Java Lock Contention

  2024cites this paper
• ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software

  2024cites this paper
• Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support

  2023cites this paper
• Navigating the Concurrency Landscape: A Survey of Race Condition Vulnerability Detectors

  2023cites this paper
• A Lock Contention Classifier Based on Java Lock Contention Anti-Patterns

  2023cites this paper
• Diagnosing Kernel Concurrency Failures with AITIA

  2023cites this paper
• Architecture Smells vs. Concurrency Bugs: an Exploratory Study and Negative Results

  2023cites this paper
• GNet4FL: effective fault localization via graph convolutional neural network

  2023cites this paper
• When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs

  2023cites this paper
• A Hybrid Approach for Detecting Bugs in HPC Workloads

  2023cites this paper
• UniLoc: Unified Fault Localization of Continuous Integration Failures

  2023cites this paper
• Concurrent fault localization using ANN

  2023cites this paper
• Information Retrieval-Based Fault Localization for Concurrent Programs

  2023cites this paper
• Fuzzing with automatically controlled interleavings to detect concurrency bugs

  2022cites this paper
• The ThreadRadar visualization for debugging concurrent Java programs

  2022cites this paper
• Jdebug: A Fast, Non-Intrusive and Scalable Fault Locating Tool for Ten-Million-Scale Parallel Applications

  2022cites this paper
• ReDPro: an automated technique to detect and regenerate process-level concurrency failures

  2022cites this paper
• Delta Debugging Microservice Systems with Parallel Optimization

  2022cites this paper
• BiRD: Race Detection in Software Binaries under Relaxed Memory Models

  2022cites this paper
• Evaluation of spectrum based fault localization tools

  2022cites this paper
• The usage of cybernetic in complex software systems and its application to the deterministic multithreading

  2022cites this paper
• Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning

  2022cites this paper
• Toward More Efficient Statistical Debugging with Abstraction Refinement

  2022cites this paper
• Statically driven generation of concurrent tests for thread‐safe classes

  2021cites this paper
• On interleaving space exploration of multi-threaded programs

  2021cites this paper
• Effective fault localization and context‐aware debugging for concurrent programs

  2021cites this paper
• Evolving Suspiciousness Metrics From Hybrid Data Set for Boosting a Spectrum Based Fault Localization

  2020cites this paper
• Stress Testing With Influencing Factors to Accelerate Data Race Software Failures

  2020cites this paper
• ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS

  2020cites this paper
• Hunting Garbage Collection Related Concurrency Bugs through Critical Condition Restoration

  2020cites this paper
• PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification

  2020influential citation
• Spectrum-Based Fault Localization for Concurrent Programs

  2020cites this paper
• SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces

  2019influential citation
• Adaptive Randomized Scheduling for Concurrency Bug Detection

  2019influential citation
• I/O dependent idempotence bugs in intermittent systems

  2019cites this paper
• Software fault localisation: a systematic mapping study

  2019cites this paper
• A bidirectional trace simplification approach based on a context switch linked list for concurrent programs

  2019cites this paper
• Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs

  2019cites this paper
• Concurrency Debugging with MaxSMT

  2019cites this paper
• A Splitting Strategy for Testing Concurrent Programs

  2019influential citation
• Automatic Self-Validation for Code Coverage Profilers

  2019cites this paper
• A Framework for Localizing Aging-Related Bugs in a Random and Dynamic Way

  2019cites this paper
• Identifying and Evaluating Software Architecture Erosion

  2018cites this paper
• PFix: Fixing Concurrency Bugs Based on Memory Access Patterns

  2018cites this paper
• A Survey of Recent Trends in Testing Concurrent Software Systems

  2018influential citation
• Interleaving-Tree Based Fine-Grained Linearizability Fault Localization

  2018cites this paper
• A Comprehensive Framework to Replicate Process-Level Concurrency Faults

  2018cites this paper
• Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study

  2018cites this paper
• Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review

  2018cites this paper
• Discovering Concurrency Errors

  2018cites this paper
• A Heuristic Framework to Detect Concurrency Vulnerabilities

  2018cites this paper
• CoopREP: Cooperative record and replay of concurrency bugs

  2018cites this paper
• CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS

  2017influential citation
• Concurrency bugs in open source software: a case study

  2017cites this paper
• A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System

  2017cites this paper
• Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation

  2017cites this paper
• Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures

  2017cites this paper
• A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques

  2017cites this paper
• DESCRY: reproducing system-level concurrency failures

  2017cites this paper
• Localizing Runtime Anomalies in Service-Oriented Systems

  2017cites this paper
• DISTEA: Efficient Dynamic Impact Analysis for Distributed Systems

  2016cites this paper
• Detecting Bugs of Concurrent Programs With Program Invariants

  2016influential citation
• Low-overhead and fully automated statistical debugging with abstraction refinement

  2016cites this paper
• Extracting Actionable Information From Bug Reports

  2016cites this paper
• UnitFL: A fault localization tool integrated with unit test

  2016cites this paper
• Variable strength combinatorial testing of concurrent programs

  2016cites this paper
• Detecting Anomalies in Concurrent Programs Based on Dynamic Control Flow Changes

  2016influential citation
• Concurrency Debugging with Differential Schedule Projections

  2016cites this paper
• A Lightweight System for Detecting and Tolerating Concurrency Bugs

  2016cites this paper
• Surveying concurrency bug detectors based on types of detected bugs

  2016cites this paper
• Error Invariants for Concurrent Traces

  2016cites this paper
• RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races

  2016cites this paper
• Understanding and generating high quality patches for concurrency bugs

  2016cites this paper
• Production-guided concurrency debugging

  2016cites this paper
• Bugs and Debugging of Concurrent and Multicore Software

  2016cites this paper
• JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)

  2015cites this paper
• ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs

  2015cites this paper
• FLAVS: A Fault Localization Add-In for Visual Studio

  2015influential citation
• A study and toolkit of CHECK‐THEN‐ACT idioms of Java concurrent collections

  2015cites this paper
• Constraint Solving for Diagnosing Concurrency Bugs

  2015cites this paper
• Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection

  2015cites this paper
• Towards Classification of Concurrency Bugs Based on Observable Properties

  2015cites this paper
• A survey of race bug detection techniques for multithreaded programmes

  2015influential citation
• Learning? An Examination of Data Based Concurrency Bug Detection

  2015cites this paper
• Spectrum-Based Runtime Anomaly Localisation in Service-Based Systems

  2015cites this paper
• UNICORN: a unified approach for localizing non‐deadlock concurrency bugs

  2015influential citation
• Automated refactoring for Java concurrency

  2015cites this paper
• Data provenance tracking for concurrent programs

  2015cites this paper
• CORE: a framework for the automatic repair of concurrency bugs

  2015cites this paper
• Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs

  2015cites this paper
• Testing, runtime verification, and analysis of concurrent programs

  2015cites this paper
• Concurrency bug localization using shared memory access pairs

  2014cites this paper
• Fault Localization of Concurrency Bugs and Its Application in Web Security

  2014cites this paper
• Abstraction and mining of traces to explain concurrency bugs

  2014cites this paper