Open AccessA Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
Author(s) -
Mst Rahman
Publication year - 2018
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.22215/etd/2014-10300
Subject(s) - complement (music) , quality (philosophy) , computer science , chemistry , physics , biochemistry , quantum mechanics , complementation , gene , phenotype