Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library
Software engineers spend much of their time checking the correctness of software. Software testing is the most widely used technique for accomplishing this task. Most of the test cases used for checking software are manually created, and may not always cover all execution paths of the software. If k...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/26348 |