Login / Signup

Lightweight State Capturing for Automated Testing of Multithreaded Programs.

Kari KähkönenKeijo Heljanko
Published in: TAP@STAF (2014)
Keyphrases
  • lightweight
  • wireless sensor networks
  • data driven
  • dos attacks
  • symbolic execution
  • state space
  • communication infrastructure