Concolic testing of the multi-sector read operation for flash storage platform software.
Moonzoo KimYunho KimYunja ChoiPublished in: Formal Aspects Comput. (2012)
Keyphrases
- storage medium
- storage devices
- software testing
- test cases
- solid state
- flash memory
- disk drives
- software platform
- quality assurance
- software systems
- platform independent
- user interface
- software maintenance
- software design
- regression testing
- source code
- real time
- information systems
- testing process
- application programs
- software development
- test suite
- software tools
- cross platform
- read write
- embedded systems
- data storage
- software reliability
- simulation software
- test data generation
- control software
- software projects
- test set
- write operations
- foreseeable future
- integration testing
- software architecture
- hardware software
- database
- storage systems
- random access