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

Static analysis for concurrent programs with applications to data race detection.

Vineet KahlonSriram SankaranarayananAarti Gupta
Published in: Int. J. Softw. Tools Technol. Transf. (2013)
Keyphrases
  • data sets
  • static analysis
  • data sources
  • training data
  • database