|
|
Publications in Math-Net.Ru |
Citations |
|
2015 |
1. |
M. Belyaev, V. Itsykson, “Fast and safe concrete code execution for reinforcing static analysis and verification”, Model. Anal. Inform. Sist., 22:6 (2015), 763–772 |
1
|
|
2014 |
2. |
Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson, “Using a bounded model checker for test generation: how to kill two birds with one SMT-solver”, Model. Anal. Inform. Sist., 21:6 (2014), 83–93 |
|
2013 |
3. |
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson, “Defect Detection: Combining Bounded Model Checking and Code Contracts”, Model. Anal. Inform. Sist., 20:6 (2013), 22–35 |
|
2011 |
4. |
M. A. Belyaev, V. A. Tsesko, “LLVM-based static analysis tool using type and effect systems”, Model. Anal. Inform. Sist., 18:4 (2011), 45–55 |
|
Organisations |
|
|