Geodesic

Volume 24 (2017) no. 6

Sommaire

From the editor of the special issue
p. 675-676
Semantics-driven migration of Java programs: a practical experience
p. 677-690
Towards measuring the abstractness of state machines based on mutation testing
p. 691-703
Jolie Static Type Checker: a prototype
p. 704-717
Towards null safety benchmarks for object initialization
p. 718-729
Deriving synchronizing and homing sequences for input/output automata
p. 730-742
Invariant elimination of definite iterations over arrays in C programs verification
p. 743-754
Semantic security methods for software-defined networks
p. 755-759
On finding a~threshold of useful signals in the analysis of magnetic and eddy current defectograms
p. 760-771
Analysis of influence of different relations types on the quality of thesaurus application to text classification problems
p. 772-787
The shortest path problem for a multiple graph
p. 788-801
Synthesis of control and state observer for weakly nonlinear systems based on the pseudo-linearization technique
p. 802-810
Poetology: problems of constructing a thesaurus and verse text specification
p. 811-815