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

Publisher： John Wiley & Sons Inc

E-ISSN： 1099-1689|25|3|310-332

ISSN： 0960-0833

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

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

Special issue on testing, analysis and debugging of concurrent programs

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

John Wiley & Sons Inc

Access to resources Recommend Favorite

The power of reachability testing for timed automata

By Aceto L. Bouyer P. Burgueno A. Larsen K.G.

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 411-475

Elsevier

Access to resources Recommend Favorite

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

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

John Wiley & Sons Inc

Access to resources Recommend Favorite

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation

By Bechini A. Prete C.A.

Future Generation Computer Systems, Vol. 18, Iss. 2, 2001-10 ,pp. : 307-316

Elsevier

Access to resources Recommend Favorite

Empirical testing of an information systems evaluation framework

By Irani Z.

International Journal of Information Technology and Management, Vol. 1, Iss. 2-3, 2003-07 ,pp. : 298-323

Inderscience Publishers

Access to resources Recommend Favorite