English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Concurrency prograrns are difficult to debug due to their congenital nondeterrninism. Fault localization ap proaches may alleviate such situation. However, their perforrnance heavily depends on the debug informatio几'lò alleviate this problem, we proposed a non-deadlock concurrency fault localization approach based on adequate test criteria. Our approach consists of three parts: a prediction of the conditions meeting an adequate test criteria , a scheme of a test plan satisfied with the criteria, and a fault localization analysis using the debug inforrnation. Besides , a prototype called Con Finder based on this approach was implemented in C#. Moreover ,experiments on progr缸ns containing real concurrency bugs were carried out. The result shows that our approach can localize non-deadlock concurrency bugs effecti飞Tely and has stable perforrnance.

基于测试充分性准则的非死锁并发缺陷定位方法 (Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria).