JaVerT: JavaScript Verification and Testing Framework: Invited Talk

Venue

Principles and Practice of Declarative Programming (PPDP) 2018

Publication date

Sep 2018

Identifiers

DOI: doi:10.1145/3236950.3236974

Authors

Philippa Gardner

Abstract

We present a novel, unified approach to the development of compositional symbolic execution tools, which bridges the gap between traditional symbolic execution and compositional program reasoning based on separation logic. We apply our approach to JavaScript, providing support for full verification, whole-program symbolic testing, and automatic compositional testing based on bi-abduction.

Source Materials

Authors' Preprint/Accepted Version
Published Edition
BibTeX Citation