BibSonomy publications for /author/TillmannSat Feb 04 20:54:37 CET 2012PISA 2000 -- Die Studie im Überblick. Grundlagen, Methoden und Ergebnisse2003PISA Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/20111066-1071Symbolic execution for software testing in practice: preliminary assessment.2011dblp Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011611-620Precise identification of problems for structural test generation.2011dblp Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/2011992-994DyTa: dynamic symbolic execution guided with static verification results.2011dblp Sat Jan 28 00:00:00 CET 2012ICSEconf/icse/20111004-1006Covana: precise identification of problems in pex.2011dblp Tue Jan 17 00:00:00 CET 2012SOFSEMconf/sofsem/2012542-553Lecture Notes in Computer ScienceState Coverage: Software Validation Metrics beyond Code Coverage.71472012dblp Fri Jan 13 00:00:00 CET 2012Haskellconf/haskell/20101-12Invertible syntax descriptions: unifying parsing and pretty printing.2010dblp Wed Jan 11 09:23:37 CET 2012Weinheim und MünchenIdentitätsspielraum Internet: Lernprozesse und Selbstbildungspraktiken von Mädchen und jungen Frauen in der virtuellen Welt 2008Identität InformellesLernen Internet Fri Dec 23 00:00:00 CET 2011ACLconf/acl/1997289-296A DP based Search Using Monotone Alignments in Statistical Translation.1997dblp Fri Dec 23 00:00:00 CET 2011ACLconf/acl/1999A Statistical Parser for Czech.1999dblp Wed Dec 21 00:00:00 CET 2011INTERSPEECHconf/interspeech/20112093-2096An Efficient Unified Extraction Algorithm for Bilingual Data.2011dblp Tue Dec 20 00:00:00 CET 2011JoCG1128-143Points with Large Quadrant Depth.22011dblp Tue Dec 20 00:00:00 CET 2011DSNconf/dsn/2009359-368Fitness-guided path exploration in dynamic symbolic execution.2009dblp Mon Dec 19 00:00:00 CET 2011GPCEconf/gpce/2011167-176Growing a language environment with editor libraries.2011dblp Mon Dec 19 00:00:00 CET 2011OOPSLAconf/oopsla/2011391-406SugarJ: library-based syntactic language extensibility.2011dblp Mon Dec 19 00:00:00 CET 2011OOPSLAconf/oopsla/2011805-824Variability-aware parsing in the presence of lexical macros and conditional compilation.2011dblp Mon Dec 19 00:00:00 CET 2011OOPSLA Companionconf/oopsla/2011c17-18Library-based model-driven software development with SugarJ.2011dblp Mon Dec 19 00:00:00 CET 2011OOPSLA Companionconf/oopsla/2011c187-188SugarJ: library-based language extensibility.2011dblp Mon Dec 05 00:00:00 CET 2011CoRRTron, a combinatorial Game on abstract Graphsabs/1110.32112011dblp Fri Dec 02 00:00:00 CET 2011SAICSIT Conf.conf/saicsit/2011338-340Browser-based software for technology transfer.2011dblp