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 (2021)

Keyphrases

web applications
test case generation
formal verification
open source
software testing
website
specification language
test cases
high level
code generation
learning environment
test data
databases
information retrieval
formal specification
data types
data sets
hidden markov models
database systems
genetic algorithm