Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation

E-ISSN： 1099-1689|25|4|334-370

ISSN： 0960-0833

Source： SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol.25, Iss.4, 2015-06, pp. : 334-370

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

Coverage metrics for formal verification

By Chockler Hana Kupferman Orna Vardi Moshe

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

Springer Publishing Company

Access to resources Recommend Favorite

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs

SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol. 25, Iss. 3, 2015-05 ,pp. : 310-332

John Wiley & Sons Inc

Access to resources Recommend Favorite

Coverage metrics for temporal logic model checking^*

By Chockler Hana Kupferman Orna Vardi Moshe

Formal Methods in System Design, Vol. 28, Iss. 3, 2006-05 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Software metrics for effective project management

By Jethani Kanhaiya

International Journal of Systems Assurance Engineering and Management, Vol. 4, Iss. 4, 2013-12 ,pp. : 335-340

Springer Publishing Company

Access to resources Recommend Favorite

Entrepreneurship and dynamic capabilities - an empirical testing

By Madsen Einar Lier

International Journal of Technology Intelligence and Planning, Vol. 8, Iss. 4, 2012-01 ,pp. : 317-332

Inderscience Publishers

Access to resources Recommend Favorite