-------- Forwarded Message --------
** Apologies if multiple copies are received **
Special Issue on
Software System Dependability: Techniques and Practices
Connection Science, Taylor & Francis (SCIE, JCR Q1)
https://www.tandfonline.com/ccos20
Security, safety, and reliability are the three most important
attributes of the dependability of a software system. This is
especially the case for mission-critical and life-threatening
systems. While security prevents systems from being attacked via
potential vulnerabilities, safety ensures systems do not end at
any undesired state and cause unacceptable consequences.
Reliability is the probability of failure-free system operation
for a given period of time in a specified environment.
Traditional techniques and tool support are insufficient to
overcome the challenges posed by the complexity of these systems,
the dynamic nature of the environments in which they operate, and
the drive for continuous deployment of new functionality. This
special issue welcomes papers that discuss new techniques to
overcome the shortcomings of existing approaches. It also
encourages empirical studies and experience reports on how to
improve the dependability of a software system in the real world.
Our objective is to present a collection of the current
state-of-the-art research and state-of-practice techniques within
the scope described above.
This special issue includes extended papers recommended by DSA
2023 (The 10th IEEE International Conference on Dependable Systems
and Their Applications in Tokyo, Japan) and QRS 2023 (The 23rd
IEEE International Conference on Software Quality, Reliability,
and Security in Chiang Mai, Thailand), as also welcome
high-quality manuscripts from the scientific community.
Topics of interest include, but are not limited to, the following:
Reliability, Security, Availability, and Safety of Software
Systems
Software Testing, Verification, and Validation
Program Debugging and Comprehension
Information and Software Quality Assurance
Resilience and Fault Tolerance
Modeling, Prediction, Simulation, and Evaluation
Metrics, Measurements, and Analysis
Software Penetration and Protection
Software Vulnerabilities
Formal Methods
Malware Detection and Analysis
Intrusion Detection and Prevention
Benchmark, Tools, Industrial Applications, and Empirical Studies
Dates
Submission Deadline: *Oct 15, 2023*
Notification: January 15, 2024 (no later than)
Guest Editors
Professor W. Eric Wong
Department of Computer Science
University of Texas at Dallas, USA
Dr. Ruizhi Gao
Sonus Inc., USA
Professor Franz Wotawa
Graz University of Technology, Austria
Dr. Linghuan Hu
Google, USA
For submission and other details, please visit the Special Issue
official website:
https://tinyurl.com/2p83dc5t
_______________________________________________
AISWorld mailing list
AISWorld@lists.aisnet.org