ConSeq

Zhang, Wei; Lim, Joon Seo; Olichandran, Ramya; Scherpelz, Joel; Jin, Guoliang; Lu, Shan; Reps, Thomas

doi:10.1145/1950365.1950395

Cited by 86 publications

(1 citation statement)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To alleviate the interleaving explosion problem that is inherent in the analysis of concurrent programs a wide range of heuristic-based techniques has been developed. Most of these techniques [23], [24], [25], [26], [27], [28], [29], [30] do not provide meaningful coverage guarantees, i.e., a precise notion of what tests cover. Other such techniques [31], [32], [33], [34], [35] provide coverage guarantees only over the space of interleavings by fixing the input values during the testing process.…”

Section: Discussion Of Existing Approachesmentioning

confidence: 99%

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Farzan

Holzer

Veith

2015

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

View full text Add to dashboard Cite

The last years have seen a fruitful exchange of ideas between automated software verification and white-box software testing; the industrial impact of concolic testing for sequential software is the most notable result of this interdisciplinary effort. While concolic testing is very successful at finding bugs, and even achieves verification in the limit, it is often hard to quantify the progress it achieves towards verification. In this paper, we survey two recent projects which aim to remedy this situation: In the FQL project, we devise a test specification language which facilitates precise specification of coverage criteria, and a separation of concerns between test specification and test case generation. In con2colic testing, we develop a concolic testing methodology for concurrent programs where progress is measured in terms of the data flow between program threads.

show abstract

Section: Discussion Of Existing Approachesmentioning

confidence: 99%

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Farzan

Holzer

Veith

2015

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

View full text Add to dashboard Cite

show abstract

Effective fault localization and context‐aware debugging for concurrent programs

Chu

Hayes

et al. 2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

Concurrent programs are difficult to debug because concurrency faults usually occur under specific inputs and thread interleavings. Fault localization techniques for sequential programs are often ineffective because the root causes of concurrency faults involve memory accesses across multiple threads rather than single statements. Previous research has proposed techniques to analyse passing and failing executions obtained from running a set of test cases for identifying faulty memory access patterns. However, stand-alone access patterns do not provide enough contextual information, such as the path leading to the failure, for developers to understand the bug. We present an approach, Coadec, to automatically generate interthread control flow paths that can link memory access patterns that occurred most frequently in the failing executions to better diagnose concurrency bugs. Coadec consists of two phases. In the first phase, we use feature selection techniques from machine learning to localize suspicious memory access patterns based on failing and passing executions. The patterns with maximum feature diversity information can point to the most suspicious pattern. We then apply a data mining technique and identify the memory access patterns that occurred most frequently in the failing executions. Finally, Coadec identifies faulty program paths by connecting both the frequent patterns and the suspicious pattern. We also evaluate the effectiveness of fault localization using test suites generated from different test adequacy criteria. We introduce and have evaluated Coadec on 10 real-world multithreaded Java applications. Results indicate that Coadec outperforms state-of-the-art approaches for localizing concurrency faults and that Coadec's context debugging can help developers understand concurrency fault by inspecting a small percentage of code.

show abstract

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores

Lee

Kim

Zhang

2014

ECOOP 2014 – Object-Oriented Programming

View full text Add to dashboard Cite

ConSeq

Cited by 86 publications

References 54 publications

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Effective fault localization and context‐aware debugging for concurrent programs

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores

Contact Info

Product

Resources

About