Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution

Chen, Bin; Yang, Zhenkun; Li, Lei; Cong, Kai; Xie, Fei

doi:10.1109/saner48275.2020.9054797

Cited by 8 publications

(3 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Second approach is used for example in [44], [45], [46], [47], [48], or [49]. A dynamic symbolic execution is used in [45] to observe the behavior of the tested application.…”

Section: Program Execution Analysis Methodsmentioning

confidence: 99%

“…Nevertheless, some papers provide means for assessing the quality of the described methods, which are "above average". For example, in [38], [49], [61], or [78], very thorough descriptions of the evaluation process of the proposed methods can be found. It is reported that the evaluation process includes tests performed on realistic programs with actual errors found by the methods.…”

Section: A Methods Verificationmentioning

confidence: 99%

“…1, there were 6 testing levels, which were represented by more than one primary study (including the unit testing). There were papers focused on functional testing (7 papers, e.g., [20], [34], or [80]), integration testing (6 papers, e.g., [26] or [43]), system testing (7 papers, e.g., [25], [29], or [49]), regression testing (2 papers - [39] and [77]), and vulnerability testing (2 papers - [52] and [83]). There were also 4 other testing levels, each represented by a single primary study (4 papers, e.g., [22] or [64]).…”

Section: Testing Levelmentioning

confidence: 99%

See 2 more Smart Citations

Current Trends in Automated Test Case Generation

Potuzak,

Lipka

2023

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

The testing is an integral part of the software development. At the same time, the manual creation of individu-al test cases is a lengthy and error-prone process. Hence, an intensive research on automated test generation methods is ongoing for more than twenty years. There are many vastly dif-ferent approaches, which can be considered automated test case generation. However, a common feature is the generation of the data for the test cases. Ultimately, the test data decide the prog-ram branching and can be used on any testing level, starting with the unit tests and ending with the tests focused on the behavior of the entire application. The test data are also mostly independent on any specific technology, such as programming language or paradigm. This paper is a survey of existing litera-ture of the last two decades that deals with test data generation or with tests based on it. This survey is not a systematic literature review and it does not try to answer specific scientific questions formulated in advance. Its purpose is to map and categorize the existing methods and to summarize their common features. Such a survey can be helpful for any teams developing their methods for test data generation as it can be a starting point for the exploration of related work.Index terms-Software testing, test case generation, test data generation, papers survey.

show abstract

“…Second approach is used for example in [44], [45], [46], [47], [48], or [49]. A dynamic symbolic execution is used in [45] to observe the behavior of the tested application.…”

Section: Program Execution Analysis Methodsmentioning

confidence: 99%