Memory Management Test-Case Generation of C Programs Using Bounded Model Checking.
Herbert RochaRaimundo S. BarretoLucas C. CordeiroPublished in: SEFM (2015)
Keyphrases
- memory management
- bounded model checking
- test case generation
- java programs
- operating system
- java virtual machine
- model checking
- test cases
- formal verification
- temporal logic
- software testing
- multi threaded
- application programs
- test data generation
- linear temporal logic
- object oriented systems
- hardware implementation
- parallel computation
- test suite
- multi agent systems
- control flow
- artificial intelligence
- flash memory
- general purpose
- real time
- database systems
- case study
- information systems