Mgr. Marek Trtík, Ph.D.

2012

• Abstracting Path Conditions

  STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, rok: 2012

• ClabureDB

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Software

  Rok: 2012

• Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012, rok: 2012

• STANSE: Bug-finding Framework for C Programs

  OBDRŽÁLEK Jan SLABÝ Jiří TRTÍK Marek

  Článek ve sborníku

  LNCS Proceeding of Memics 2011, rok: 2012

• Symbiotic

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Software

  Rok: 2012

2011

• Efficient Loop Navigation for Symbolic Execution

  OBDRŽÁLEK Jan TRTÍK Marek

  Článek ve sborníku

  Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, rok: 2011

2010

• Counter-based Abstraction for Symbolic Execution

  TRTÍK Marek

  Konferenční abstrakty

  Rok: 2010, druh: Konferenční abstrakty