UNICORN: a unified approach for localizing non‐deadlock concurrency bugs

E-ISSN： 1099-1689|25|3|167-190

ISSN： 0960-0833

Source： SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol.25, Iss.3, 2015-05, pp. : 167-190

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Unified Approach To Fractal Dimensions

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Iss. 4, 2007-10 ,pp. : 26-46

IGI Global_journal

Access to resources Recommend Favorite

A uniform approach to true-concurrency and interleaving semantics for Petri nets

By Priese L. Wimmel H.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 219-256

Elsevier

Access to resources Recommend Favorite

Blind source separation: a unified approach

By Singh Y. Rai C.S.

Neurocomputing, Vol. 49, Iss. 1, 2002-12 ,pp. : 435-438

Elsevier

Access to resources Recommend Favorite

Countering code injection attacks: a unified approach

By Mitropoulos Dimitris Karakoidas Vassilios Louridas Panagiotis Spinellis Diomidis

Information Management & Computer Security, Vol. 19, Iss. 3, 2011-07 ,pp. : 177-194

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

RLT: A unified approach for discrete and continuous nonconvex optimization

By Sherali Hanif

Annals of Operations Research, Vol. 149, Iss. 1, 2007-02 ,pp. : 185-193

Springer Publishing Company

Access to resources Recommend Favorite