Login / Signup

Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms.

Lannan LuoQiang ZengBokai YangFei ZuoJunzhe Wang
Published in: ACSAC (2021)
Keyphrases
  • symbolic execution
  • cloud computing
  • data sets
  • test generation
  • static analysis
  • case study
  • data model
  • object oriented
  • open source
  • mobile applications
  • specification language