Memory Usage Verification for OO Programs.
Wei-Ngan ChinHuu Hai NguyenShengchao QinMartin C. RinardPublished in: SAS (2005)
Keyphrases
- memory usage
- object oriented
- symbolic execution
- programming language
- memory footprint
- model checking
- memory requirements
- conceptual modeling
- object oriented databases
- genetic algorithm
- hardware designs
- java bytecode
- query language
- database schema
- object oriented modeling
- face verification
- data model
- formal methods
- test generation
- asynchronous circuits
- conceptual models
- databases
- concurrent systems
- artificial intelligence
- information systems
- case study
- software engineering
- computer programs
- design methodology
- temporal logic