Login / Signup

Static Analysis to Enhance Programmability and Performance in OmpSs-2.

Adrian MuneraSara RoyuelaRoger FerrerRaul PeñacobaEduardo Quiñones
Published in: ISC Workshops (2020)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • malicious code
  • abstract interpretation
  • symbolic execution
  • java card
  • regular expressions
  • test generation
  • data sets
  • semi automatic