A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study
2014
2014 21st Asia-Pacific Software Engineering Conference
Conventional manual testing often misses corner case bugs in complex embedded software, which can incur large economic loss. To overcome the weakness of manual testing, automated program analysis/testing techniques such as software model checking and concolic testing have been proposed. This paper makes a detailed report on the application of a SAT-based bounded software model checking technique using CBMC to busybox ls which is loaded on a large number of embedded devices such as smartphones
doi:10.1109/apsec.2014.17
dblp:conf/apsec/KimK14
fatcat:vsrsguadlnh7fpop37ihcoxxgm