Peer-reviewed open-access journal
published since 1998 by Procon Ltd.

Volume

ISIJ 55: Open Source Intelligence, Artificial Intelligence, and Human-centered Approaches to Cybersecurity and Countering Disinformation

Views

Reviewed article

Evaluating Automated Software Verification Tools

Christian Prause, Rainer Gerlich, Ralf Gerlich

How to cite:

Christian Prause, Rainer Gerlich, Ralf Gerlich

"Evaluating Automated Software Verification Tools"

IEEE 11th International Conference on Software Testing, Verification and Validation (ICST),

(2018):

Authors:

Christian Prause, Rainer Gerlich, Ralf Gerlich

Source:

IEEE 11th International Conference on Software Testing, Verification and Validation (ICST),

(2018)

Views

References

Anatoliy Gorbenko, Vyacheslav Kharchenko, Olga Tarasyuk, Sergiy Zasukha

"A Study of Orbital Carrier Rocket and Spacecraft Failures: 2000-2009."

Information & Security: An International Journal

28,

no. 2

(2012):

179-198.

Field of application

Concepts and Implementation

Policy, strategy and doctrine

Technologies

C4ISR

Architectures

Modelling and Simulation

OR & Systems Analysis

Cryptography

Data mining

Deep Learning & AI

Emerging Technologies

ISIJ 55: Open Source Intelligence, Artificial Intelligence, and Human-centered Approaches to Cybersecurity and Countering Disinformation

Evaluating Automated Software Verification Tools

The C-factor in the Cybersecurity Equation: The Importance of Student Cybersecurity Competitions

On Inequalities Bounding Imprecision and Nonspecificity Measures of Uncertainty

On the Effectiveness of Measures of Uncertainty of Basic Belief Assignments

Blockchain in Agriculture

Evaluating Automated Software Verification Tools

Authors:

Source:

Field of application

Concepts and Implementation

Technologies