%0 Conference Paper %1 conf/icsm/ZhangXZTHM10 %A Zhang, Lingming %A Xie, Tao %A Zhang, Lu %A Tillmann, Nikolai %A de Halleux, Jonathan %A Mei, Hong %B ICSM %D 2010 %E Marinescu, Radu %E Lanza, Michele %E Marcus, Andrian %I IEEE Computer Society %K dblp %P 1-10 %T Test generation via Dynamic Symbolic Execution for mutation testing. %U http://dblp.uni-trier.de/db/conf/icsm/icsm2010.html#ZhangXZTHM10 %@ 978-1-4244-8630-4

@inproceedings{conf/icsm/ZhangXZTHM10, added-at = {2023-05-09T00:00:00.000+0200}, author = {Zhang, Lingming and Xie, Tao and Zhang, Lu and Tillmann, Nikolai and de Halleux, Jonathan and Mei, Hong}, biburl = {https://www.bibsonomy.org/bibtex/20fcebaa2a0d6351991d822c0386a869d/dblp}, booktitle = {ICSM}, crossref = {conf/icsm/2010}, editor = {Marinescu, Radu and Lanza, Michele and Marcus, Andrian}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSM.2010.5609672}, interhash = {a5da5b7b897fc799b0bb90bd620b2ab3}, intrahash = {0fcebaa2a0d6351991d822c0386a869d}, isbn = {978-1-4244-8630-4}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T01:26:16.000+0200}, title = {Test generation via Dynamic Symbolic Execution for mutation testing.}, url = {http://dblp.uni-trier.de/db/conf/icsm/icsm2010.html#ZhangXZTHM10}, year = 2010 }