2013 Tools & Methods of Program Analysis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780986077319, 9780986077302

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Committee

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163734 ◽

2013 ◽

Keyword(s):

Program Committee

Download Full-text

Correctness checking of HDL-model behavior based on runtime trace matching

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163717 ◽

2013 ◽

Author(s):

V.P. Ivannikov ◽

A.S. Kamkin ◽

M.M. Chupilko

Keyword(s):

Correctness Checking ◽

Behavior Based

Download Full-text

Conference Organizers

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163733 ◽

2013 ◽

Download Full-text

Compatibility testing of clients' protocol connectivity to exchange and broker systems

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163722 ◽

2013 ◽

Cited By ~ 1

Author(s):

A.N. Alexeenko ◽

I.L. Itkin ◽

A.A. Averina ◽

D.S. Sharov ◽

P.A. Protsenko

Download Full-text

On improving the statistical method used to access the completeness of tests for software systems and discrete devices

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163718 ◽

2013 ◽

Author(s):

B.M. Basok ◽

A.A. Grechin

Keyword(s):

Statistical Method ◽

Software Systems

Download Full-text

Author index

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163726 ◽

2013 ◽

Download Full-text

[Blank page]

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163729 ◽

2013 ◽

Download Full-text

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163736 ◽

2013 ◽

Download Full-text

Construction and verification of PLC programs by LTL specification

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163716 ◽

2013 ◽

Author(s):

E.V. Kuzmin ◽

A.A. Shipov ◽

D.A. Ryabukhin

Download Full-text

High performance load generator for automated trading systems testing

2013 Tools & Methods of Program Analysis ◽

10.1109/tmpa.2013.7163721 ◽

2013 ◽

Author(s):

D.K. Guriev ◽

A.A. Terentyev ◽

M.A. Gai ◽

I.L. Itkin

Keyword(s):

High Performance ◽

Trading Systems

Download Full-text

2013 Tools & Methods of Program Analysis
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Program Committee

Correctness checking of HDL-model behavior based on runtime trace matching

Conference Organizers

Compatibility testing of clients' protocol connectivity to exchange and broker systems

On improving the statistical method used to access the completeness of tests for software systems and discrete devices

Author index

[Blank page]

Table of contents

Construction and verification of PLC programs by LTL specification

High performance load generator for automated trading systems testing

Export Citation Format

2013 Tools & Methods of Program AnalysisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Program Committee

Correctness checking of HDL-model behavior based on runtime trace matching

Conference Organizers

Compatibility testing of clients' protocol connectivity to exchange and broker systems

On improving the statistical method used to access the completeness of tests for software systems and discrete devices

Author index

[Blank page]

Table of contents

Construction and verification of PLC programs by LTL specification

High performance load generator for automated trading systems testing

2013 Tools & Methods of Program Analysis
Latest Publications