HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ji Wang

Publications
Verifying Numerical Programs via Iterative Abstract Testing
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot
EasyChair Preprint 1749

Keyphrases

abstract interpretation, Abstract Testing, Input space partitioning, program verification.

Copyright © 2012-2025 easychair.org. All rights reserved.