Concolic Testing of Concurrent Programs

Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. Concolic Testing of Concurrent Programs. In Wilhelm Hasselbring, Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland. Volume 227 of LNI, pages 101-102, GI, 2014.

Abstract

Abstract is missing.