Lean Implementations of Software Testing Tools Using XML Representations of Source Codes