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

Funding Information:
This project was supported by a grant from the National Institute of General Medical Sciences (P20 GM103446) from the National Institutes of Health. Also, the work was supported in part by the US National Institutes of Health (R01 grant #CA154444), the US Department of Defence Breast Cancer Research Program (HBCU Partnership Training Award #BC083639), the US National Science Foundation (CREST grant #HRD-0630388 and III grant # 0916690), and the US Department of Defence/Department of Army (45395-MA-ISP, #54412-CI-ISP, W911NF-11-2-0046)

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 = "Funding Information: This project was supported by a grant from the National Institute of General Medical Sciences (P20 GM103446) from the National Institutes of Health. Also, the work was supported in part by the US National Institutes of Health (R01 grant #CA154444), the US Department of Defence Breast Cancer Research Program (HBCU Partnership Training Award #BC083639), the US National Science Foundation (CREST grant #HRD-0630388 and III grant # 0916690), and the US Department of Defence/Department of Army (45395-MA-ISP, #54412-CI-ISP, W911NF-11-2-0046) 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.

N1 - Funding Information: This project was supported by a grant from the National Institute of General Medical Sciences (P20 GM103446) from the National Institutes of Health. Also, the work was supported in part by the US National Institutes of Health (R01 grant #CA154444), the US Department of Defence Breast Cancer Research Program (HBCU Partnership Training Award #BC083639), the US National Science Foundation (CREST grant #HRD-0630388 and III grant # 0916690), and the US Department of Defence/Department of Army (45395-MA-ISP, #54412-CI-ISP, W911NF-11-2-0046) Publisher Copyright: © 2015 IEEE.

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