Login / Signup

Symbolic Execution of Alloy Models.

Junaid Haroon SiddiquiSarfraz Khurshid
Published in: ICFEM (2011)
Keyphrases
  • symbolic execution
  • database
  • particle swarm optimization
  • data sets
  • pso algorithm