Poster: Static Analysis of Concurrent Higher-Order Programs.
Quentin StiévenartJens NicolayWolfgang De MeuterCoen De RooverPublished in: ICSE (2) (2015)
Keyphrases
- static analysis
- higher order
- symbolic execution
- dynamic analysis
- abstract interpretation
- source code
- test generation
- malicious code
- concurrent programs
- java card
- regular expressions
- high order
- markov random field
- pairwise
- test suite
- data sets
- case study
- runtime environment
- artificial intelligence
- concurrent programming