Fault Localization of Concurrency Bugs and Its Application in Web Security

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Algorithms and Architectures for Parallel Processing

• Publication date

  2014-08-24

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-11194-0_55
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Unified Approach for Localizing Non-deadlock Concurrency Bugs

  2012cited by this paper
• Isolating and understanding concurrency errors using reconstructed execution fragments

  2011cited by this paper
• Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs

  2010cited by this paper
• ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations

  2010cited by this paper
• PENELOPE: weaving threads to expose atomicity violations

  2010cited by this paper
• Falcon: fault localization in concurrent programs

  2010cited by this paper
• FastTrack: efficient and precise dynamic race detection

  2009cited by this paper
• Atomic quake: using transactional memory in an interactive multiplayer game server

  2009cited by this paper
• Finding concurrency bugs with context-aware communication graphs

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

  2009cited by this paper
• Safer unsafe code for .NET

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

  2008cited by this paper
• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

  2008cited by this paper
• Randomized active atomicity violation detection in concurrent programs

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

  2006cited by this paper
• Associating synchronization constraints with data in an object-oriented language

  2006cited by this paper
• Multithreaded Java program test generation

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

  1997cited by this paper
• Debugging concurrent programs

  1989cited by this paper

• No citing papers are available for this paper.