Vadim Mutilin

	2012
5		Pavel Shved, Mikhail Mandrykin, Vadim Mutilin: Predicate Analysis with BLAST 2.7 - (Competition Contribution). TACAS 2012: 525-527
4		Pavel Shved, Vadim Mutilin, Mikhail Mandrykin: Experience of improving the blast static verification tool. Programming and Computer Software 38(3): 134-142 (2012)
	2011
3		Alexey V. Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved, Alexander Strakh: Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference 2011: 179-192
	2009
2		Alexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov: Establishing Linux Driver Verification Process. Ershov Memorial Conference 2009: 165-176
	2006
1		Vadim Mutilin: Concurrent Testing of Java Components Using Java PathFinder. ISoLA 2006: 53-59

Coauthor Index

1	Alexey V. Khoroshilov	[2] [3]
2	Mikhail Mandrykin	[4] [5]
3	Eugene Novikov	[3]
4	Alexandre Petrenko	[2]
5	Pavel Shved	[3] [4] [5]
6	Alexander Strakh	[3]
7	Vladimir Zakharov	[2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page