BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-193640, author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Test-Case Generation for Embedded Binary Code Using Abstract Interpretation}, booktitle = {MEMICS proceedings}, year = {2010}, pages = {151--158}, keywords = {Test-case generation, binary code, abstract interpretation}, note = {talk: MEMICS 2010 (Mathematical and Engineering Methods in Computer Science), Mikulov, Czech Republic; 2010-10-22 -- 2010-10-24} } 1 Datensatz ausgegeben