Software Verification and Testing
in Special Issue Posted on September 4, 2015Information for the Special Issue
Submission Deadline: | Fri 15 Jul 2016 |
Journal Impact Factor : | 2.450 |
Journal Name : | Journal of Systems and Software |
Journal Publisher: |
![]() |
Website for the Special Issue: | http://www.journals.elsevier.com/journal-of-systems-and-software/call-for-papers/special-issue-on-software-verification-and-testing/ |
Journal & Submission Website: | https://www.journals.elsevier.com/journal-of-systems-and-software |
Special Issue Call for Papers:
Call for paper for Special Issue on Software Verification and Testing
Currently, due to the growing size and complexity of software, the development of high quality systems is a challenge.
Recent years have seen an increasing industrial interest in the use of techniques based on formal approaches to assist
in the development of reliable software. In this sense, the application of verification and testing methodologies is a
key task to ensure software quality.
This special issue aims at improving the usability of formal methods in software engineering by means of new results in formal verification and testing.
Topics include, but not limited to, the following.
Model checking
Theorem proving
Correct by construction development
Model-based testing
Verification-based testing
Symbolic execution
Static and run-time analysis
Abstract interpretation
Analysis methods for dependable systems
Software certification and proof carrying code
Fault diagnosis and debugging
Verification of large scale software systems
Real world applications and case studies applying software verification
Submission Format and Guideline
This special issue accepts two types of submissions. Manuscripts that have not been previously published or considered for publication elsewhere and extensions of selected papers published in SVT 2016, a track of the ACM Symposium on Applied Computing, http://antares.sip.ucm.es/svt16/.
Submissions of selected papers from SVT 2016 must contain at least 30% new material. Authors are requested to attach to the submitted paper their relevant, previously published articles and a summary document explaining the enhancements made in the journal version. All submissions must include an empirical validation such as presenting empirical experiments or comparing to the practices in action. Comparing to the literature should not be considered
as empirical validation.
Submissions will be refereed according to the Guide for Authors as published in the journal website at http://ees.elsevier.com/jss. All the contents of the submission, including the manuscript, a graphical abstract of the manuscript, and any supplementary material should be submitted through the Elsevier Editorial System (EES) available
at http://www.journals.elsevier.com/journal-of-systems-and-software, by selecting “SI: Verification and Testing” as article type.
Requests for additional information should be addressed to the guest editors.
The submission deadline is July 15th, 2016.
Editor in Chief
H. van Vliet
Special Issues Editor
W.K. Chan
Guest Editors
Mercedes G. Merayo, Universidad Complutense de Madrid, mgmerayo@fdi.ucm.es
Gwen Salaün, Grenoble INP, Inria, gwen.salaun@inria.fr
Other Special Issues on this journal
![]() |
|
Source Code Analysis and ManipulationJournal of Systems and Software |
Fri 05 Mar 2021 |
![]() |
|
Test Automation: Trends, Benefits, and CostsJournal of Systems and Software |
Wed 31 Mar 2021 |
Closed Special Issues
![]() |
|
Recent Trends in Engineering Software-Intensive SystemsJournal of Systems and Software |
Mon 21 Dec 2020 |
![]() |
|
Software Architecture and Artificial IntelligenceJournal of Systems and Software |
Mon 09 Nov 2020 |
![]() |
|
Metamorphic TestingJournal of Systems and Software |
Fri 30 Oct 2020 |
![]() |
|
Software ClonesJournal of Systems and Software |
Wed 15 Jul 2020 |
![]() |
|
Software-Intensive Autonomous Systems: methods and applicationsJournal of Systems and Software |
Wed 01 Jul 2020 |
![]() |
|
New Generation of Bug FixingJournal of Systems and Software |
Wed 15 Apr 2020 |
![]() |
|
Source Code Analysis and ManipulationJournal of Systems and Software |
Mon 02 Dec 2019 |
![]() |
|
Machine Learning Techniques for Software Quality EvaluationJournal of Systems and Software |
Fri 15 Nov 2019 |
![]() |
|
Software and Systems Reuse in the Big Data EraJournal of Systems and Software |
Thu 24 Oct 2019 |
![]() |
|
Software Engineering for Trustworthy Cyber-Physical SystemsJournal of Systems and Software |
Tue 15 Oct 2019 |
![]() |
|
Global Software Engineering: Challenges and SolutionsJournal of Systems and Software |
Mon 30 Sep 2019 |
![]() |
|
Intelligent Software EngineeringJournal of Systems and Software |
Mon 16 Sep 2019 |
![]() |
|
Software Quality, Reliability, and SecurityJournal of Systems and Software |
Sun 15 Sep 2019 |
![]() |
|
Software ArchitectureJournal of Systems and Software |
Sat 31 Mar 2018 |
![]() |
|
Software Engineering Education and TrainingJournal of Systems and Software |
Fri 22 Dec 2017 |
![]() |
|
Quality Engineering and Management of Software-Intensive SystemsJournal of Systems and Software |
Tue 31 Oct 2017 |
![]() |
|
Software ReuseJournal of Systems and Software |
Mon 09 Oct 2017 |
![]() |
|
Evaluation and Assessment in Software EngineeringJournal of Systems and Software |
Sat 30 Sep 2017 |
![]() |
|
Architecting Autonomous and Smart SystemsJournal of Systems and Software |
Fri 15 Sep 2017 |
![]() |
|
Software Engineering Technology and Applications for Emerging Application DomainsJournal of Systems and Software |
Sun 01 Nov 2015 |
![]() |
|
Special Issue on Software ReuseJournal of Systems and Software |
Sat 03 Oct 2015 |