Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/10634
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Farchi, E | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Lourenço, J | - |
dc.date.accessioned | 2015-04-23T11:00:17Z | - |
dc.date.available | 2015-05-01 | - |
dc.date.available | 2015-04-23T11:00:17Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Software Testing Verification and Reliability, 2015, 25 (3), pp. 165 - 166 | en_US |
dc.identifier.issn | 0960-0833 | - |
dc.identifier.issn | 1099-1689 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/10634 | - |
dc.description.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. | en_US |
dc.format.extent | 165 - 166 | - |
dc.format.extent | 165 - 166 | - |
dc.language | eng | - |
dc.language.iso | en | en_US |
dc.publisher | John Wiley and Sons Ltd | en_US |
dc.subject | Interleavings | en_US |
dc.subject | Debugging | en_US |
dc.title | Special issue on testing, analysis and debugging of concurrent programs | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1002/stvr.1577 | - |
dc.relation.isPartOf | Software Testing Verification and Reliability | - |
dc.relation.isPartOf | Software Testing Verification and Reliability | - |
pubs.issue | 3 | - |
pubs.issue | 3 | - |
pubs.volume | 25 | - |
pubs.volume | 25 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science/Computer Science | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH) | - |
Appears in Collections: | Electronic and Electrical Engineering |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 30.09 kB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.