Victor Kuliamin Home Page
kuliamin <[at]> ispras [(dot)] ru
B. Kommunisticheskaya, 25
109004, Moscow, Russia
Outline
Activities
I am involved in research, development, and teaching.
My current research interests are software engineering as a whole, software quality assurance, use of formal models and formal methods in software engineering and software quality asssurance, model based testing, formal methods in testing, essentially informal and human factors in software engineering.
But my PhD thesis is concerned with properties of polynomials in finite matrix ring.
As a developer and software architect I take part in the creation of UniTESK test development technology and development of supporting tools.
I was also involved as a scientific consultant in OLVER project concerned with conformance test development for Linux Standard Base.
Scientific activities
Teaching
Faculty of Computational Mathematics and Cybernetics, Moscow State University
Faculty of Computational Mathematics and Cybernetics, Moscow State University
Faculty of Computational Mathematics and Cybernetics, Moscow State University
Faculty of Computational Mathematics and Cybernetics, Moscow State University
System Programming Department, Faculty of Computational Mathematics and Cybernetics, Moscow State University
Books and Monographs
Theory of Conformance for Systems with Refusals and Forbidden Actions
In Russian
Software Developement Technologies. Component-based Approach
In Russian
Publications and talks
Case Studies of Summer Model-based Testing Framework
Model-based Testing User Conference, October 18-20, 2011
A Survey of Methods for Constructing Covering Arrays
Programming and Computer Software, 37(3):121-146, 2011
Covering Arrays Generation Methods Survey
Proceedings of ISOLA'2010, part II, LNCS 6416:382-396
Component architecture of model-based testing environment
Programming and Computer Software, 36(5):289-305, 2010
Building Open Learning Environment for Software Engineering Students
B. O. Czerkawski, ed. Free and Open Source Software for E-Learning: Issues, Successes, and Challenges, pp.110-119, IGI Global, 2010
Component-based framework for model based testing
Talk on Dagstuhl Seminar 10421 Model-Based Testing in Practice, October 17-22, 2010
Goals, methods and resrictions of software requirements formalization
Lecture in Computer Science Club, Ekaterinburg , September 27-28, 2010
Model Based Testing
Lecture in Computer Science Club PDMI RAS, April 25, 2010
The Practice of Standards Formalization
Talk in Microsoft Research, March 9, 2010
Formalization of Interface Standards in Practice
Talk on Workshop on Software Analysis and Development Technologies, CMC MSU, January 18, 2010
Integration of verification methods for program systems
Programming and Computer Software, 35(4):212-222, 2009
Complex test suites organization
ISP RAS Proccedings, 17:9-24, 2009
Standardization and Testing of Mathematical Functions
Proceedings of PSI 2009, Novosibirsk, Russia, June 15-19, 2009
Software Verification Tools: Current State and the Nearest Future
Invited talk on SYRCoSE 2009, Moscow, Russia, May 28-29, 2009
Formal Methods: for All or for Chosen?
Proceedings of CSEDU 2009, v. 2, pp. 217-222, Lisboa, Portugal, March, 23-26, 2009
Perpectives of software verification methods integration
ISP RAS Proccedings, 16:73-88, 2009
Automation of Broad Sanity Test Generation
Programming and Computer Software, 34(6):351-363, 2008
Research Organizations in IT Education
ISP RAS Proccedings, 15:41-50, 2008
Software verification methods.
Paper won the analitic reveiw contest on the topic "Information and Communication Systems", 2008.
Synthetic Structured Testing Tools
Talk on the seminar of ISP RAS Software Engineering department, June 19, 2008
Azov Technology for Automatic Construction of Big Sanity Tests Suites
ISP RAS Proccedings, UniTESK Approach: Results and Perspective, 14(2):83-108, 2008
E. S. Chernov, V. V. Kuliamin
Testing of Modern Trigonometric Functions Libraries
ISP RAS Proccedings, UniTESK Approach: Results and Perspective, 14(1):163-179, 2008
Test Coverage Criteria Based on Structure of Contract Specifications
ISP RAS Proccedings, UniTESK Approach: Results and Perspective, 14(1):89-107, 2008
Test Construction for Mathematical Functions
K. Suzuki, T. Higashino, A. Ulrich, T. Hasegawa, eds. Testing of Software and Communicating Systems, LNCS 5047:23-37
Proceedings of TESTCOM/FATES 2008, Tokyo, Japan, June 10-13, 2008
IT Education Approach Based on FLOSS Projects
Proceedings of 6-th confernece on IT Education in Russia, Nizhniy Novgorod, May 12-13, 2008
Testing Technologies Developed in ISP RAS
Talk on the seminar in NIISI RAS, Febrauary 20, 2008
In Russian
IT Practical Training Based on Open Software Development Projects
Proceedings of 3-rd conference
Development and Applications of Automated Software Testing Technology Based on Formal Specifications.
Russian government premium for young researchers challenging work.
The use of contract specifications for representing requirements and for functional testing of hardware models
Programming and Computer Software, 33(5):272-282, 2007
Formalization of test experiments
Programming and Computer Software, 33(5):239-260, 2007
V. V. Kuliamin
Standardization and Testing of Implementations of Mathematical Functions in Floating Point Numbers
Programming and Computer Software, 33(3):154-173, 2007
Approaches to Complex Test Suite Organization
Proceedings of Workshop "Go4IT - a Step to Future Internet Technologies", Moscow, Russia, April 17-18, 2007
V. V. Kuliamin, A. K. Petrenko, V. V. Rubanov, A. V. Khoroshilov
Formalization of Interface Standards and Automatic Conformance Test Construction
Talk on The Second Conference on Software Engineering (Russia), SEC(R) 2006, Moscow, Russia, November 16-17, 2006
In Russian
Computer security, verification, and correspondence theory
Talk on the The Second International Scientific Conference on Security and Countering Terrorism Issues, Moscow, Russia, October 26, 2006
In Russian
Requirements Formalization in Practice
ISP RAS Preprint 13, Moscow, Russia, 2006
In Russian
Formal Methods in Industrial Software Standards Enforcement
Proceedings of PSI'2006, Novosibirsk, Russia, June 26-30, 2006
Formal Verification: Methods and Applications
Talk on the seminar in ISP RAS June 16, 2006
In Russian
Forming Professional Expertise of Modern Software Developer
ISP RAS Proccedings, 9:237-250, 2006
In Russian
Testing Technologies Developed in ISP RAS
Talk on the seminar in NIISI RAS, May 31, 2006
In Russian
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
Proceedings of MBT'2006 (in ETAPS'2006), March 25-26 2006, Vienna, Austria
Application of UniTesK Technology to Functional Testing of Hardware Models
ISP RAS Preprint 8, Moscow, Russia, 2005
In Russian
Test Sequence Construction Using Minimum Information on the Tested System
Programming and Computer Software, 31(6):301-309, 2005
Active Learning Facilitates Success of Formal Methods in Practice
Proceedings of SEEFM'2005, Orchid, Macedonia, November 18-19, 2005
Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software
Proceedings of WMSCI'2005, Orlando , USA , July 10-13, 2005, v. VII. Model Based Development and Testing, pp. 65-70
Practical Approach to Specification and Conformance Testing of Distributed Network Applications
Proceedings of ISAS'2005, Berlin, Germany , April 25-26, 2005, pp. 60-73
M. Malek, E. Nett, N. Suri , eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
Testing Distributed Software on .NET Platform
Talk on Microsoft Academic Days Russia'2005, Vinogradovo, Russia, April 20-21, 2005
UniTesK - Software Test Development Technology
Proccedings of MEPHI Scientific Session-2005, Moscow, Russia, January 24-28, 2005, pp. 51-52
In Russian
Combinatorics of Words and Test Sequence Construction
ISP RAS Proccedings, 8(1):25-40, 2004
In Russian
Problems of Transition for Science Intensive Technologies
ISP RAS Proccedings, 8(1):9-24, 2004
In Russian
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
Proceedings of the 1-st International Symposium on Leveraging Applications of Formal Methods (ISOLA'2004), Paphos, Cyprus, October 30-Novermber 2, 2004, pp. 311-316
Distributed System Functional Specification Metamodel Intended for Testing
Proceedings of Russian Conference on Scientific Services in Internet, Abrau-Durso, Russia, September 20-25, 2004
In Russian
Applying Model Based Testing in Different Contexts
Proceedings of Seminar on Perspectives on Model Based Testing (Dagstuhl Seminar 04371), Dagstuhl, Germany, September 5-10, 2004
Learning Advanced Software Development Methods: Problems and Solutions
ISP RAS Proccedings, 5:91-108, 2004
UniTesK Approach to Test Development: Achievements and Prospects
ISP RAS Proccedings, 5:109-140, 2004
Model Based Testing. Theory, Tools, and Applications
Talk on Lomonosov Readings in Moscow State University, Moscow, Russia, April 26, 2004
In Russian
Multi-paradigm Models as Source for Automated Test Construction
Proceedings of the 1-st Workshop on Model Based Testing (MBT'2004, in ETAPS'2004), Barcelona, Spain, March 27-38, 2004
Electronic Notes in Theoretical Computer Science 111:137-160, Elseveir, 2005
Model Based Testing. Theory, Tools, and Applications
Talk on research in RedVerst group on the seminar dedicated to 10-th anniversaryof ISP RAS, January 26, 2004
In Russian
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case
Programming and Computer Software, 30(1):2-17, 2004
UniTesK: Model Based Testing in Industrial Practice
Proceedings of the 1-st European Conference on Model-Driven Software Engineering (ECMDSE), Nuremberg, Germany, December 11-12, 2003, pp. 55-63
The UniTesK Approach to Designing Test Suites
Programming and Computer Software, 29(6):310-322, 2003
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
Programming and Computer Software, 29(5):245-258, 2003
Integration of Functional and Timed Testing of Real-time and Concurrent Systems
Proceedings of PSI'2003, Novosibirsk, Russia, July 9-12, 2003
LNCS 2890:450-461, Springer-Verlag, 2003
Testing among Software Quality Control Methods
ISP RAS Proccedings, 4:163-176, 2003
In Russian
Asynchronous Automata: Classification and Testing
ISP RAS Proccedings, 4:7-84, 2003
In Russian
Theory and Practice of Coverification Process: UniTesK Story
Tutorial on ETAPS'2003, Warshaw, Poland, April 12, 2003
UniTesK Test Suite Architecture
Proceedings of FME'2002 (in FLoC'2002), Kopenhagen, Denmark, July 22-24, 2002
LNCS 2391:77-88, Springer-Verlag, 2002
VDM++TesK: Testing of VDM++ Programs
Proceedings of the 3-rd VDM Workshop (in FloC'2002), Kopenhagen, Denmark, July 20-21, 2002, pp. 41-56
Java Specification Extension for Automated Test Development
Proceedings of PSI'2001, Novosibirsk, Russia, July 2-6, 2001
LNCS 2244:301-307, Springer-Verlag, 2001
Experiences in Using Testing Tools and Technology in Real-life Applications
Proceedings of SETT'2001, Pune, India, pp. 3-39, 2001
Application of Finite Automatons for Program Testing
Programming and Computer Software, 26(2):61-73, 2000
On Ranges of Polynomials in Finite Matrix Rings
Ph.D Thesis. Under supervision of Prof. A. V. Mikhalev
In Russian
Images of Graded Polynomials in Matrix Rings over Finite Group Algebras
Russian Mathematical Surveys, 55(2):345-346, 2000
On Ranges of Polynomials in the Ring M2(Z/8Z)
Fundamental and Applied Mathematics, 6(1):275-280, 2000
In Russian
On Ranges of Polynomials in the Matrix Rings over Galois Rings
Proceedings of International Workshop on Algebra, Moscow, Russia, 1999
In Russian
On Images of Polynomials in Finite Matrix Rings
Fundamental and Applied Mathematics, 3(2):469-485, 1997
In Russian