Unit testing could be used to validate the correctness of basic units of the software system
under test. To reduce manual efforts in conducting unit testing, the research community has …

Symbolic execution is a systematic technique for checking programs, which forms a basis for
various software testing and verification techniques. It provides a powerful analysis in …

Unit testing is widely recognized as an essential aspect of the software development
process. Generating high-quality assertions automatically is one of the most important and …

Despite the recent improvements in automatic test case generation, handling complex data
structures as test inputs is still an open problem. Search-based approaches can generate …

Symbolic execution is a systematic program analysis technique which executes programs
on symbolic inputs, representing multiple concrete inputs, and represents the program …

Automated test generation based on symbolic execution can be beneficial for systematically
testing safety-critical software, to facilitate test engineers to pursue the strict testing …

Existing symbolic execution typically assumes the analyzer can control the I/O environment
and/or access the library code, which, however, is not the case when programs run on a …

Filesystem vulnerabilities persist as a significant threat to Android systems, despite various
proposed defenses and testing techniques. The complexity of program behaviors and …

Automated test techniques usually generate unit tests with higher code coverage than
manual tests. However, the readability of automated tests is crucial for code comprehension …

Random and search-based test generators yield realistic test cases based on program APIs,
but often miss structural test objectives that depend on non-trivial data structure instances; …