格言
Program testing can be used to show the presence of bugs, but never to show their absence! — Edsger W. Dijkstra (1970)
世界観
現実問題として,欠陥のないソフトウェアは構築できない.欠陥の発見・修正に総力を挙げることも必要だが,ソフトウェア障害の発生を前提として,迅速かつ適切に保守することが重要である.我々はテスト自動化・自動プログラム修正に関する最先端技術を開発し,ソフトウェア開発者が創造的な仕事に集中できる社会の実現を目指す.