Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/10634
Title: Special issue on testing, analysis and debugging of concurrent programs
Authors: Farchi, E
Hierons, RM
Lourenço, J
Keywords: Interleavings;Debugging
Issue Date: 2015
Publisher: John Wiley and Sons Ltd
Citation: Software Testing Verification and Reliability, 2015, 25 (3), pp. 165 - 166
Abstract: This special issue concerns a range of issues related to the development of concurrent programs. This is an important topic, because many systems are now either multi-threaded or distributed, and it is well known that concurrency makes testing, analysis and debugging significantly more complicated. Essentially, the alternative interleavings of events can lead to different behaviours, and so any analysis, debugging or testing technique must consider these interleavings. The interest in this topic is reflected in the larger than normal issue, which contains five papers. The papers fall into three groups: we start with a paper on debugging, then have two on static analysis techniques and finally have two on testing. All papers were reviewed in the normal way.
URI: http://bura.brunel.ac.uk/handle/2438/10634
DOI: http://dx.doi.org/10.1002/stvr.1577
ISSN: 0960-0833
1099-1689
Appears in Collections:Electronic and Computer Engineering

Files in This Item:
File Description SizeFormat 
FullText.pdf30.09 kBUnknownView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.