Login / Signup
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification.
Jihyeok Park
Seungmin An
Dongjun Youn
Gyeongwon Kim
Sukyoung Ryu
Published in:
ICSE (Companion Volume) (2021)
Keyphrases
</>
test case generation
web applications
website
formal verification
software testing
code generation
open source
high level
test cases
web browser
formal specification
case study
data types
test data
asynchronous circuits
web development
databases