A General Methodology for Symbolically Generating Manufactured Solutions Satisfying Prescribed Conditions: Application to Two-phase Flows Equations. - David Henneaux; Pierre Schrooyen; Philippe Chatelain; Thierry E. Magin (Math. Comput. Sci., 2024)