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:
CoRR (2021)
Keyphrases
</>
web applications
formal verification
high level
formal specification
test case generation
open source
web browser
artificial intelligence
website
test cases
software testing
real time
data sets
test set
test data