Koznov Dmitrii Vladimirovich

Publications in Math-Net.Ru

1. Evaluation of similarity of Javadoc comments
   
   Proceedings of ISP RAS, 35:4 (2023),  177–186
2. Debugger for declarative DSL for telecommunication
   
   Proceedings of ISP RAS, 35:3 (2023),  205–214
3. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Proceedings of ISP RAS, 35:3 (2023),  91–108
4. Automated testing of LLVM programs with complex input data structures
   
   Proceedings of ISP RAS, 34:4 (2022),  49–62
5. Unidata: open source component platform for master data management
   
   Proceedings of ISP RAS, 33:6 (2021),  149–160
6. Discovering near duplicate text in software documentation
   
   Proceedings of ISP RAS, 29:4 (2017),  303–314
7. Variability Management Tools — readiness for industrial use
   
   Tr. SPIIRAN, 26 (2013),  297–331
8. A model-driven approach for government services specification
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2012, no. 4,  102–116
9. WebMLDoc: An approach for changes detection and traceability in user manuals for Web-applications
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2011, no. 3,  112–126
10. On specification of diagram transformations in graphical editors
    
    Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2011, no. 3,  100–111