2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.PL2016
Tighter Loop Bound Analysis (Technical report)
Pavel Čadek, Jan Strejček, Marek Trtík
We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as funct…
cs.PL2015
Anonymous On-line Communication Between Program Analyses
Marek Trtik
We propose a light-weight client-server model of communication between existing implementations of different program analyses. The communication is on-line and anonymous which mean…
cs.PL2011★ 2 cited
Efficient Loop Navigation for Symbolic Execution
Jan Obdrzalek, Marek Trtik
Symbolic execution is a successful and very popular technique used in software verification and testing. A key limitation of symbolic execution is in dealing with code containing l…