ECMA-335 static formal semantics V. A. VaseninM. A. Krivchikov OriginalPaper 25 July 2012 Pages: 183 - 188
Solution of parallel computation problem based on “space-time” concept A. I. IlyushinM. A. OleninS. A. Vasil’ev OriginalPaper 25 July 2012 Pages: 189 - 200
FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-FakihR. DorofeevaG. V. Bochmann OriginalPaper 25 July 2012 Pages: 201 - 209
Automation of the construction of models of normal program behavior A. Sapozhnikov OriginalPaper 25 July 2012 Pages: 210 - 217