HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:specification-based testing

Papers
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs
Shaoying Liu
In:Turing-100. The Alan Turing Centenary
Copyright © 2012-2023 easychair.org. All rights reserved.