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.