Login / Signup
CAASCADE: A System for Static Analysis of HPC Software Application Portfolios.
M. Graham Lopez
Oscar R. Hernandez
Reuben D. Budiardja
Jack C. Wells
Published in:
ESPT/VPA@SC (2017)
Keyphrases
</>
static analysis
software application
high performance computing
dynamic analysis
source code
java card
malicious code
symbolic execution
regular expressions
development process
abstract interpretation
test generation
interface agent
open source
data management
object oriented
knowledge base
data sets