Con2colic testing

Farzan, Azadeh; Holzer, Andreas; Razavi, Niloofar; Veith, Helmut

doi:10.1145/2491411.2491453

Cited by 53 publications

(33 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Testing. Stateless model checking systems like con2colic testing [11] and MCR [17] leverage SMT constraint solving to expose concurrency bugs. By encoding the possible thread schedules for a given execution path as a constraint system, these systems are able to check properties and search for failures in a set of schedules, for a given single execution path.…”

Section: Challenges Of Path and Schedule Dependent Bugsmentioning

confidence: 99%

Production-guided concurrency debugging

Machado

Lucia

Rodrigues

2016

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

View full text Add to dashboard Cite

Concurrency bugs that stem from schedule-dependent branches are hard to understand and debug, because their root causes imply not only different event orderings, but also changes in the control-flow between failing and non-failing executions. We present Cortex: a system that helps exposing and understanding concurrency bugs that result from schedule-dependent branches, without relying on information from failing executions. Cortex preemptively exposes failing executions by perturbing the order of events and controlflow behavior in non-failing schedules from production runs of a program. By leveraging this information from production runs, Cortex synthesizes executions to guide the search for failing schedules. Production-guided search helps cope with the large execution search space by targeting failing executions that are similar to observed non-failing executions. Evaluation on popular benchmarks shows that Cortex is able to expose failing schedules with only a few perturbations to non-failing executions, and takes a practical amount of time.

show abstract

Section: Challenges Of Path and Schedule Dependent Bugsmentioning

confidence: 99%

Production-guided concurrency debugging

Machado

Lucia

Rodrigues

2016

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

View full text Add to dashboard Cite

show abstract

“…This testing approach can also be extended to multithreaded programs by using a runtime scheduler that controls the execution of threads [5]; the runtime scheduler can be forced to execute the execution steps of threads in an specific order.…”

Section: A Related Workmentioning

confidence: 99%

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs

León

Saarikivi

Kähkönen

et al. 2015

2015 15th International Conference on Application of Concurrency to System Design

View full text Add to dashboard Cite

This paper focuses on the problem of computing the minimal test suite for a terminating multithreaded program that covers all its executable statements. We have in previous work shown how to use unfoldings to capture the true concurrency semantics of multithreaded programs and to generate test cases for it. In this paper we rely on this earlier work and show how the unfolding can be used to generate the minimal test suite that covers all the executable statements of the program. The problem of generating such a minimal test suite is shown to be NP-complete in the size of the unfolding, and as a side result, covering executable transitions of any terminating safe Petri net is also NP-complete in the size of its unfolding. We propose SMT-encodings to these problems and give initial results on applying this encoding to compute the minimal test suite for several benchmarks.

show abstract

“…To resolve the lack of completeness for bounded programs in [21], we introduced (con) 2 colic testing [22], an approach that systematically explores both input and interleaving spaces of concurrent programs. (Con) 2 colic testing can provide meaningful coverage guarantees during and after the testing process.…”

Section: B (Con) 2 Colic Testingmentioning

confidence: 99%

“…CPAtiger is available online 3 as open source software. To evaluate (con) 2 colic testing we have implemented the tool CONCREST 4 [22]. It supports multi-threaded C programs and uses a search strategy that targets assertion violations and explores interference scenarios according to the number of interferences in an ascending order.…”

Section: Toolsmentioning

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)

Self Cite

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

Con2colic testing

Cited by 53 publications

References 23 publications

Production-guided concurrency debugging

Production-guided concurrency debugging

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs

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

Contact Info

Product

Resources

About