Sign in

Integrating symbolic execution with sensornet simulation for efficient bug finding.

Fredrik ÖsterlindAdam DunkelsRaimondas SasnauskasOscar Soria DustmannKlaus Wehrle
Published in: SenSys (2010)
Keyphrases
  • symbolic execution
  • source code
  • database
  • databases
  • genetic algorithm
  • metadata
  • multi objective
  • simulated annealing