• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Trace-Based Symbolic Analysis for Atomicity Violations.

Chao WangRhishikesh LimayeMalay K. GanaiAarti Gupta
Published in: TACAS (2010)
Keyphrases
  • statistical analysis
  • real time
  • image sequences
  • artificial intelligence
  • website
  • high level
  • image analysis
  • evolutionary algorithm
  • electronic commerce