posted by user: Joao_Lourenco || 5409 views || tracked by 8 users: [display]

STVR-Special_Issue 2013 : STVR Special Issue on Testing, Analysis and Debugging of Concurrent Programs

FacebookTwitterLinkedInGoogle

Link: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1099-1689
 
When N/A
Where N/A
Submission Deadline Apr 30, 2013
Notification Due Sep 30, 2013
Categories    testing   analysis   debugging   concurrency
 

Call For Papers

STVR Special Issue on Testing, Analysis and Debugging of Concurrent Programs
----------------------------------------------------------------------------

Software Testing, Verification and Reliability invites authors to submit papers for a Special Issue on Testing, Analysis and Debugging of Concurrent Programs.

Deadline: April 30, 2013


Background
----------

In the last years we have seen a surge of interest in the development of concurrent systems. With the introduction of many-core processors, Cloud computing and the Internet of Things, with the systems reaching hundreds and thousands of parallel tasks, concurrent programming, an esoteric art once known to the few, is now becoming main stream. The challenges that accompany such changes, especially for those aiming at creating reliable concurrent systems, are the focus of much current research and industrial effort. This STVR special issue is a platform for theory, experience and advances in the testing, analysis and debugging of concurrent systems.



Topics
------

This special issue focuses on all topics relevant to testing, analysis and debugging of multi-threaded, concurrent and distributed software. In particular, the topics of interest include, but are not limited to:

* Performance analysis of concurrent programs
* Testing of concurrent programs
* Debugging of concurrent programs
* Static and dynamic analysis of concurrent programs
* Reviewing and modeling concurrent programs
* Formal specification and verification of concurrent programs



Submission Information
----------------------

The deadline for submissions is April 15, 2013. Notification of decisions will be given by September 2013.

All submissions must contain original unpublished work not being considered for publication elsewhere. Original extensions to conference papers are also encouraged unless prohibited by copyright, in which case the original paper must be properly cited and the submission accompanied by a statement clearly identifying those extensions. Submissions will be refereed according to standard procedures for Software Testing, Verification and Reliability.

Please submit your paper electronically using the Software Testing, Verification & Reliability manuscript submission site. Select "Special Issue Paper" and enter "Testing, Analysis and Debugging of Concurrent Programs" as title.



Guest Editors
-------------

João Lourenço, Universidade Nova de Lisboa, Portugal
Eitan Farchi, Haifa IBM Research Labs, Israel
Rob Hierons, Brunel University, United Kingdom

Related Resources

IJPLA 2022   International Journal of Programming Languages and Applications
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
Edited Book in Springer-Verlag 2022   Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
IJME 2022   International Journal of Microelectronics Engineering
MDA AI&PR 2023   MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
SEAPP 2022   11th International Conference on Software Engineering and Applications
Mathematics (MDPI) 2022   Mathematics Special Issue - Analysis and Mathematical Modeling of Control Engineering and Path Planning
YR-CONCUR 2022   10th Young Researchers Workshop on Concurrency Theory
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering