Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29860-8_14 ◽

2012 ◽

pp. 177-192 ◽

Author(s):

Bohuslav Křena ◽

Zdeněk Letko ◽

Tomáš Vojnar

Keyword(s):

Concurrent Software ◽

Coverage Metrics

Download Full-text

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

IEEE Transactions on Software Engineering ◽

10.1109/tse.2004.15 ◽

2004 ◽

Vol 30 (6) ◽

pp. 403-417 ◽

Author(s):

Farn Wang ◽

K. Schmidt ◽

Fang Yu ◽

Geng-Dian Huang ◽

Bow-Yaw Wang

Keyword(s):

Data Structures ◽

Safety Analysis ◽

Symmetry Reduction ◽

Concurrent Software ◽

Graph Automorphism

Download Full-text

Maximising the information gained from a study of static analysis technologies for concurrent software

Empirical Software Engineering ◽

10.1007/s10664-007-9044-6 ◽

2007 ◽

Vol 12 (6) ◽

pp. 617-645 ◽

Author(s):

Margaret A. Wojcicki ◽

Paul Strooper

Keyword(s):

Static Analysis ◽

Concurrent Software

Download Full-text

Research on Modeling Traversing Features in Concurrent Software System

2008 International Conference on Computer Science and Software Engineering ◽

10.1109/csse.2008.844 ◽

2008 ◽

Author(s):

Yang Su ◽

Xuan-Wu Zhou ◽

Min-Qing Zhang

Keyword(s):

Software System ◽

Concurrent Software

Download Full-text

On the mathematical modelling of visual sensors when computing coverage metrics in camera-based sensing applications

2021 IEEE International Conference on Automation/XXIV Congress of the Chilean Association of Automatic Control (ICA-ACCA) ◽

10.1109/icaacca51523.2021.9465185 ◽

2021 ◽

Author(s):

Daniel G. Costa ◽

Joao Paulo J. Peixoto

Keyword(s):

Mathematical Modelling ◽

Visual Sensors ◽

Coverage Metrics ◽

Sensing Applications

Download Full-text

Dynamic Reductions for Model Checking Concurrent Software

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-319-52234-0_14 ◽

2017 ◽

pp. 246-265 ◽

Author(s):

Henning Günther ◽

Alfons Laarman ◽

Ana Sokolova ◽

Georg Weissenbacher

Keyword(s):

Model Checking ◽

Concurrent Software

Download Full-text

Concurrent Software Simulation (CSS)

Concurrent and Comparative Discrete Event Simulation ◽

10.1007/978-1-4615-2738-1_9 ◽

1994 ◽

pp. 109-113

Author(s):

Ernst G. Ulrich ◽

Vishwani D. Agrawal ◽

Jack H. Arabian

Keyword(s):

Concurrent Software ◽

Software Simulation

Download Full-text

A Verification Methodology for Concurrent Software with Synchronous Communication

Formal Methods and Models for System Design ◽

10.1007/978-1-4020-8052-4_6 ◽

2004 ◽

pp. 137-157

Author(s):

Christoph Sprenger ◽

Krzysztof Worytkiewicz

Keyword(s):

Synchronous Communication ◽

Concurrent Software ◽

Verification Methodology

Download Full-text

Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection

Algorithms and Architectures for Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-030-38961-1_52 ◽

2020 ◽

pp. 615-623

Author(s):

Tao Sun ◽

Jing Zhang ◽

Wenjie Zhong

Keyword(s):

Error Detection ◽

Modeling Method ◽

Coarse Grained ◽

Concurrent Software ◽

Automatic Modeling

Download Full-text

Photospace Coverage Metrics

Handbook of Image Quality - Optical Science and Engineering ◽

10.1201/9780203910825.ch27 ◽

2002 ◽

Keyword(s):

Coverage Metrics

Download Full-text

Go-HEP: writing concurrent software with ease and Go

Journal of Physics Conference Series ◽

10.1088/1742-6596/1085/5/052012 ◽

2018 ◽

Vol 1085 ◽

pp. 052012 ◽

Author(s):

S Binet

Keyword(s):

Concurrent Software

Download Full-text