In geotechnical engineering applications, the modeling of artificial ground freezing is primarily aimed at predicting the extent of frozen zone around the cooling sources. This modeling could be more or less complex not only according to the material's texture and the hydro-geological context but also to the salt concentration of the saturating fluid. Through a thermodynamically consistent framework, a fully coupled heat and mass transfer formulation considering the salinity effect was derived. This formulation was intended to capture the most relevant phenomena of ground freezing encountered in geotechnical applications. Particular attention was given to the phase change problem where appropriate simplifying assumptions were made in order to make the proposed methodology easier to apply in field applications. The proposed approach was validated by means of freezing-thawing laboratory tests, carried out on specimens initially fully saturated with sodium chloride solutions at various concentrations. Good agreement was obtained between the measured and predicted results. (C) 2017 Elsevier Ltd. All rights reserved.