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 VeithSoftware Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland, pages 101-102, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/se/FarzanHRV14,
  author    = {Azadeh Farzan and
               Andreas Holzer and
               Niloofar Razavi and
               Helmut Veith},
  title     = {Concolic Testing of Concurrent Programs},
  booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
               25. Februar - 28. Februar 2014, Kiel, Deutschland},
  year      = {2014},
  pages     = {101--102},
  timestamp = {Tue, 18 Nov 2014 18:57:01 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/se/FarzanHRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser