JAIST Repository >
School of Information Science >
Conference Papers >
Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/9543

Title: Checking Roundoff Errors using Counterexample-Guided Narrowing
Authors: Ngoc, Do Thi Bich
Ogawa, Mizuhito
Keywords: Roundoff error
Counterexample-guided narrowing
DSP decorder
weihgted model checking
Issue Date: 2010-09
Publisher: Association for Computing Machinery (ACM)
Magazine name: ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering
Start page: 301
End page: 304
DOI: 10.1145/1858996.1859056
Abstract: This paper proposes a counterexample-guided narrowing approach、which combines static analysis and testing、 to make them refine eachother. A prototype tool CANAT for checking roundoff errors betweenfloating point and fixed point numbers is reported with preliminary experiments.
Rights: Copyright (C) 2010 Association for Computing Machinery (ACM). Do Thi Bich Ngoc, Mizuhito Ogawa, ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering, 2010, 301-304. http://dx.doi.org/10.1145/1858996.1859056
URI: http://hdl.handle.net/10119/9543
Material Type: author
Appears in Collections:b11-1. 会議発表論文・発表資料 (Conference Papers)

Files in This Item:

File Description SizeFormat
15928-1.pdf271KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology