Programy według rcs.cs.columbia.edu/explode.html

eXplode jest kontrolerem systemu pamięci masowej. Zawiera ogólny kontroler modelu dla rzeczywistego kodu zamiast modeli abstrakcyjnych. Korzystając z tego kontrolera modelu, eXplode może systematycznie sprawdzać system pamięc