Concolic Testing of Concurrent Programs (bibtex)
by Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Reference:
Concolic Testing of Concurrent ProgramsAzadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith2014, Unpublished contribution to: CAV Workshop (EC)^2.
Bibtex Entry:
@Misc{Farzan:EC214,
  author =       {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith},
  title =        {Concolic Testing of Concurrent Programs},
  year =         {2014},
  howpublished = {Unpublished contribution to: CAV Workshop {(EC)^2}},
}
Powered by bibtexbrowser