PUBLICATIONS

2014

Dynamic program analysis for error detection using goal-seeking input data generation. The Proceedings of ISP RAS, vol. 26 (Issue 1), 2014.


Read: PDF


2013

Applying dynamic analysis for defect detection in Java-applications. The Proceedings of ISP RAS, vol. 25, 2013.


Read: PDF


Automatic concurrency defect detection for Android applications. The Proceedings of ISP RAS, vol. 24, 2013.


Read: PDF


2012

Optimization of Boolean satisfiability solver by caching intermediate results. The Proceedings of ISP RAS, vol. 22, 2012.


Read: PDF


Dynamic analysis of Java applications using bytecode instrumentation and tracking of taint data. —.


Read: PDF


© Sergey Vartanov, 2007—2015см. также по-русски