%0 Journal Article %1 godefroid08ieeesw %A Godefroid, Patrice %A de Halleux, Peli %A Nori, Aditya V. %A Rajamani, Sriram K. %A Schulte, Wolfram %A Tillmann, Nikolai %A Levin, Michael Y. %D 2008 %J IEEE Software %K testing %N 5 %P 30-37 %R 10.1109/MS.2008.109 %T Automating Software Testing Using Program Analysis %V 25

@article{godefroid08ieeesw, added-at = {2010-10-27T03:35:31.000+0200}, author = {Godefroid, Patrice and de Halleux, Peli and Nori, Aditya V. and Rajamani, Sriram K. and Schulte, Wolfram and Tillmann, Nikolai and Levin, Michael Y.}, biburl = {https://www.bibsonomy.org/bibtex/2263f8fce62337721175e7acfea396010/liangzk}, doi = {10.1109/MS.2008.109}, file = {godefroid08ieeesw.pdf:others/godefroid08ieeesw.pdf:PDF}, interhash = {f873683b07d524628f69a6401b9c8999}, intrahash = {263f8fce62337721175e7acfea396010}, journal = {IEEE Software}, keywords = {testing}, number = 5, pages = {30-37}, timestamp = {2010-10-27T03:35:31.000+0200}, title = {Automating Software Testing Using Program Analysis}, volume = 25, year = 2008 }