Chương trình theo quantifier.sf.net

Design Quantifier (DQ) đánh giá khả năng hỗ trợ của phần mềm được phát triển thông qua kỹ thuật đảo ngược, áp dụng các số liệu được đề xuất (CCD, CMD, CED, CID) vào bốn loại phụ thuộc khác nhau để làm nổi bật điểm mạnh và điể