Communications in Computer and Information Science - Tools and Methods of Program Analysis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 17)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030714710, 9783030714727

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On DB-Nets and Their Applications

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_6 ◽

2021 ◽

pp. 81-87

Author(s):

Marco Montali ◽

Andrey Rivkin

Download Full-text

Development of the Test Suite with Formally Verified FSM Coverage: A Case Study

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_16 ◽

2021 ◽

pp. 197-202

Author(s):

Iosif Itkin ◽

Rostislav Yavorskiy

Keyword(s):

Test Suite

Download Full-text

Generation of Test-Based Traces for Automated Partial Software Specifications Extraction

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_17 ◽

2021 ◽

pp. 203-208

Author(s):

Inga Egorova ◽

Vladimir Itsykson

Keyword(s):

Software Specifications

Download Full-text

Multi-perspective Process Mining with Embedding Configurations into DB-Based Event Logs

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_5 ◽

2021 ◽

pp. 68-80 ◽

Cited By ~ 1

Author(s):

Sergey A. Shershakov

Keyword(s):

Process Mining ◽

Event Logs

Download Full-text

The Influence of Self-organizing Teams on the Structure of the Social Graph

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_11 ◽

2021 ◽

pp. 130-141

Author(s):

Ilya Samonenko ◽

Tamara Voznesenskaya

Keyword(s):

Social Graph ◽

The Social ◽

Self Organizing

Download Full-text

Static Taint Analysis for JavaScript Programs

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_13 ◽

2021 ◽

pp. 155-167

Author(s):

Nabil Almashfi ◽

Lunjin Lu

Keyword(s):

Taint Analysis

Download Full-text

Random Graph Model for Structural Analysis of Online Communications

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_10 ◽

2021 ◽

pp. 121-129

Author(s):

Ivan Sukharev ◽

Maria Ivanova

Keyword(s):

Structural Analysis ◽

Random Graph ◽

Graph Model ◽

Random Graph Model ◽

Online Communications

Download Full-text

Generation of Testing Metrics by Using Cluster Analysis of Bug Reports

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_14 ◽

2021 ◽

pp. 168-181

Author(s):

Anna Gromova ◽

Iosif Itkin ◽

Sergey Pavlov

Keyword(s):

Cluster Analysis ◽

Bug Reports

Download Full-text

Making Bounded Model Checking Interprocedural in (Static Analysis) Style

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_12 ◽

2021 ◽

pp. 142-154

Author(s):

Daniil Stepanov ◽

Marat Akhin ◽

Mikhail Belyaev

Keyword(s):

Model Checking ◽

Static Analysis ◽

Bounded Model Checking

Download Full-text

Machine Learning and Value Generation in Software Development: A Survey

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_3 ◽

2021 ◽

pp. 44-55

Author(s):

Barakat J. Akinsanya ◽

Luiz J. P. Araújo ◽

Mariia Charikova ◽

Susanna Gimaeva ◽

Alexandr Grichshenko ◽

...

Keyword(s):

Machine Learning ◽

Software Development

Download Full-text

Communications in Computer and Information Science - Tools and Methods of Program AnalysisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On DB-Nets and Their Applications

Development of the Test Suite with Formally Verified FSM Coverage: A Case Study

Generation of Test-Based Traces for Automated Partial Software Specifications Extraction

Multi-perspective Process Mining with Embedding Configurations into DB-Based Event Logs

The Influence of Self-organizing Teams on the Structure of the Social Graph

Static Taint Analysis for JavaScript Programs

Random Graph Model for Structural Analysis of Online Communications

Generation of Testing Metrics by Using Cluster Analysis of Bug Reports

Making Bounded Model Checking Interprocedural in (Static Analysis) Style

Machine Learning and Value Generation in Software Development: A Survey

Communications in Computer and Information Science - Tools and Methods of Program Analysis
Latest Publications