Stem phalanx$ (all stems)
2 papers:
ISMM-2010-VechevYY #named #parallel- PHALANX: parallel checking of expressive heap assertions (MTV, EY, GY), pp. 41–50.
SAC-2008-RamanathanKGJ #framework #graph #named #testing- PHALANX: a graph-theoretic framework for test case prioritization (MKR, MK, AG, SJ), pp. 667–673.










