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, 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 = {CAV Workshop {(EC)\^2}},
}
Powered by bibtexbrowser