An Experience in Testing an Object-Oriented Satellite Control System. - Ana Maria Ambrosio; Luciana Seda C. Gonçalves; Paulo Eduardo Cardoso (Softw. Qual. J., 1999)