Monte Carlo testing and verification of numerical algorithm implementations

David D. Pokrajac; Abdullah Al Zubaer Imran; Predrag R. Bakic

doi:10.1109/TELSKS.2015.7357736

Monte Carlo testing and verification of numerical algorithm implementations

David D. Pokrajac, Abdullah Al Zubaer Imran, Predrag R. Bakic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

We develop a statistical test to assess correctness of a numerical algorithm implementation. We propose a Monte Carlo method to estimate the accuracy of an approximation algorithm without knowing a true value to be computed. The methodology is illustrated on computation of partial volumes in breast tissue simulation.

Original language	English
Title of host publication	2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015
Editors	Bratislav D. Milovanovic, Nebojsa S. Doncov, Zoran Z. Stankovic
Pages	56-59
Number of pages	4
ISBN (Electronic)	9781467375160
DOIs	https://doi.org/10.1109/TELSKS.2015.7357736
State	Published - Dec 14 2015
Event	12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015 - Nis, Serbia Duration: Oct 14 2015 → Oct 17 2015

Publication series

Name	2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015

Conference

Conference	12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015
Country/Territory	Serbia
City	Nis
Period	10/14/15 → 10/17/15

Bibliographical note

Publisher Copyright:
© 2015 IEEE.

Keywords

Monte Carlo
Partial volume
Software testing

ASJC Scopus subject areas

Communication
Computer Networks and Communications

Access to Document

10.1109/TELSKS.2015.7357736

Cite this

Pokrajac, D. D., Imran, A. A. Z., & Bakic, P. R. (2015). Monte Carlo testing and verification of numerical algorithm implementations. In B. D. Milovanovic, N. S. Doncov, & Z. Z. Stankovic (Eds.), 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015 (pp. 56-59). Article 7357736 (2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015). https://doi.org/10.1109/TELSKS.2015.7357736

Pokrajac, David D. ; Imran, Abdullah Al Zubaer ; Bakic, Predrag R. / Monte Carlo testing and verification of numerical algorithm implementations. 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015. editor / Bratislav D. Milovanovic ; Nebojsa S. Doncov ; Zoran Z. Stankovic. 2015. pp. 56-59 (2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015).

@inproceedings{d985aa73026243989773c71aa47262e5,

title = "Monte Carlo testing and verification of numerical algorithm implementations",

abstract = "We develop a statistical test to assess correctness of a numerical algorithm implementation. We propose a Monte Carlo method to estimate the accuracy of an approximation algorithm without knowing a true value to be computed. The methodology is illustrated on computation of partial volumes in breast tissue simulation.",

keywords = "Monte Carlo, Partial volume, Software testing",

author = "Pokrajac, {David D.} and Imran, {Abdullah Al Zubaer} and Bakic, {Predrag R.}",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015 ; Conference date: 14-10-2015 Through 17-10-2015",

year = "2015",

month = dec,

day = "14",

doi = "10.1109/TELSKS.2015.7357736",

language = "English",

series = "2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015",

pages = "56--59",

editor = "Milovanovic, {Bratislav D.} and Doncov, {Nebojsa S.} and Stankovic, {Zoran Z.}",

booktitle = "2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015",

}

Pokrajac, DD, Imran, AAZ & Bakic, PR 2015, Monte Carlo testing and verification of numerical algorithm implementations. in BD Milovanovic, NS Doncov & ZZ Stankovic (eds), 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015., 7357736, 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015, pp. 56-59, 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015, Nis, Serbia, 10/14/15. https://doi.org/10.1109/TELSKS.2015.7357736

Monte Carlo testing and verification of numerical algorithm implementations. / Pokrajac, David D.; Imran, Abdullah Al Zubaer; Bakic, Predrag R.
2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015. ed. / Bratislav D. Milovanovic; Nebojsa S. Doncov; Zoran Z. Stankovic. 2015. p. 56-59 7357736 (2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Monte Carlo testing and verification of numerical algorithm implementations

AU - Pokrajac, David D.

AU - Imran, Abdullah Al Zubaer

AU - Bakic, Predrag R.

PY - 2015/12/14

Y1 - 2015/12/14

N2 - We develop a statistical test to assess correctness of a numerical algorithm implementation. We propose a Monte Carlo method to estimate the accuracy of an approximation algorithm without knowing a true value to be computed. The methodology is illustrated on computation of partial volumes in breast tissue simulation.

AB - We develop a statistical test to assess correctness of a numerical algorithm implementation. We propose a Monte Carlo method to estimate the accuracy of an approximation algorithm without knowing a true value to be computed. The methodology is illustrated on computation of partial volumes in breast tissue simulation.

KW - Monte Carlo

KW - Partial volume

KW - Software testing

UR - http://www.scopus.com/inward/record.url?scp=84962467496&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84962467496&partnerID=8YFLogxK

U2 - 10.1109/TELSKS.2015.7357736

DO - 10.1109/TELSKS.2015.7357736

M3 - Conference contribution

AN - SCOPUS:84962467496

T3 - 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015

SP - 56

EP - 59

BT - 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015

A2 - Milovanovic, Bratislav D.

A2 - Doncov, Nebojsa S.

A2 - Stankovic, Zoran Z.

T2 - 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015

Y2 - 14 October 2015 through 17 October 2015

ER -

Pokrajac DD, Imran AAZ, Bakic PR. Monte Carlo testing and verification of numerical algorithm implementations. In Milovanovic BD, Doncov NS, Stankovic ZZ, editors, 2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015. 2015. p. 56-59. 7357736. (2015 12th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, TELSIKS 2015). doi: 10.1109/TELSKS.2015.7357736

Monte Carlo testing and verification of numerical algorithm implementations

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this