Algorithmic verification of procedural programs in the presence of code variability

Siavash Soleimanifard, Dilian Gurov
2016 Science of Computer Programming  
doi:10.1016/j.scico.2015.08.010 fatcat:c7nrpyz65nfkjo4drugtsxrhja