Mgr. Marek Trtík, Ph.D.

2012

• Abstracting Path Conditions

  STREJČEK Jan TRTÍK Marek

  Article in Proceedings

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

• ClabureDB

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

  Year: 2012

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

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

  Article in Proceedings

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

• STANSE: Bug-finding Framework for C Programs

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

  Article in Proceedings

  LNCS Proceeding of Memics 2011, year: 2012

• Symbiotic

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

  Year: 2012

2011

• Efficient Loop Navigation for Symbolic Execution

  OBDRŽÁLEK Jan TRTÍK Marek

  Article in Proceedings

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

2010

• Counter-based Abstraction for Symbolic Execution

  TRTÍK Marek

  Conference abstract

  Year: 2010, type: Conference abstract