Alexander Kolchin

According to our database1, Alexander Kolchin authored at least 5 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Generating Test Suites to Validate Legacy Systems.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Challenges for Automated, Model-Based Test Scenario Generation.
Proceedings of the Information and Software Technologies - 25th International Conference, 2019

2013
An approach to creating concretized test scenarios within test automation technology for industrial software projects.
Autom. Control. Comput. Sci., 2013

Usage of Invariants for Symbolic Verification of Requirements.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2010
Formal Requirements Capturing using VRS system.
Proceedings of the Second International Workshop on Invariant Generation, 2010


  Loading...