%0 Journal Article %1 artho2005combining %A Artho, C. %A Barringer, H. %A Goldberg, A. %A Havelund, K. %A Khurshid, S. %A Lowry, M. %A Pasareanu, C. %A Rosu, G. %A Sen, K. %A Visser, W. %A others, %D 2005 %I Elsevier %J Theoretical Computer Science %K testing %N 2-3 %P 209--234 %T Combining test case generation and runtime verification %V 336

@article{artho2005combining, added-at = {2011-10-14T16:51:15.000+0200}, author = {Artho, C. and Barringer, H. and Goldberg, A. and Havelund, K. and Khurshid, S. and Lowry, M. and Pasareanu, C. and Rosu, G. and Sen, K. and Visser, W. and others}, biburl = {https://www.bibsonomy.org/bibtex/26cd82a1d36b0cdab1287293a626a9726/mhwombat}, interhash = {1c69e37c2490062c45fe1f9d32fce62d}, intrahash = {6cd82a1d36b0cdab1287293a626a9726}, journal = {Theoretical Computer Science}, keywords = {testing}, number = {2-3}, pages = {209--234}, publisher = {Elsevier}, timestamp = {2016-07-12T19:25:30.000+0200}, title = {Combining test case generation and runtime verification}, volume = 336, year = 2005 }