Inproceedings,
Parameterized Unit Testing with Pex.
J. de Halleux, and N. Tillmann.TAP, volume 4966 of Lecture Notes in Computer Science, page 171-181. Springer, (2008)
Meta data
- BibTeX key
- conf/tap/HalleuxT08
- entry type
- inproceedings
- booktitle
- TAP
- year
- 2008
- pages
- 171-181
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 4966
- crossref
- conf/tap/2008
- ee
- https://doi.org/10.1007/978-3-540-79124-9_12
- isbn
- 978-3-540-79123-2
- url
- http://dblp.uni-trier.de/db/conf/tap/tap2008.html#HalleuxT08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tap/HalleuxT08
%A de Halleux, Jonathan
%A Tillmann, Nikolai
%B TAP
%D 2008
%E Beckert, Bernhard
%E Hähnle, Reiner
%I Springer
%K dblp
%P 171-181
%T Parameterized Unit Testing with Pex.
%U http://dblp.uni-trier.de/db/conf/tap/tap2008.html#HalleuxT08
%V 4966
%@ 978-3-540-79123-2
@inproceedings{conf/tap/HalleuxT08,
added-at = {2017-05-19T00:00:00.000+0200},
author = {de Halleux, Jonathan and Tillmann, Nikolai},
biburl = {https://www.bibsonomy.org/bibtex/2c59147c1659bfb4b029eef192fdb4c30/dblp},
booktitle = {TAP},
crossref = {conf/tap/2008},
editor = {Beckert, Bernhard and Hähnle, Reiner},
ee = {https://doi.org/10.1007/978-3-540-79124-9_12},
interhash = {9f667a9e7b5002bbab24c65b3dfbfad6},
intrahash = {c59147c1659bfb4b029eef192fdb4c30},
isbn = {978-3-540-79123-2},
keywords = {dblp},
pages = {171-181},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T15:28:34.000+0200},
title = {Parameterized Unit Testing with Pex.},
url = {http://dblp.uni-trier.de/db/conf/tap/tap2008.html#HalleuxT08},
volume = 4966,
year = 2008
}