Precise static analysis for generic programs in object oriented languages.

Surender Kumar Rajeev Kumar

Published in: ACM SIGSOFT Softw. Eng. Notes (2012)

Keyphrases

object oriented languages
static analysis
object oriented
dynamic analysis
source code
symbolic execution
object oriented databases
object oriented programming
regular expressions
java card
abstract interpretation
test generation
metamodel
high level
test suite
key concepts
model checking
query language