TY - RPRT TI - Systematic Method for Path-Complete White Box Testing AU - Hanna Makaruk AU - Robert Owczarek AU - Nikita Sakhanenko PY - 2005 UR - https://arxiv.org/abs/cs/0503050 ID - cs/0503050 ER -