{"id":"W2008174757","doi":"10.1109/qsic.2014.46","title":"A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts","year":2014,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Haystack; Computer science; Quality (philosophy); Set (abstract data type); Complement (music); Control (management); Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008339338,0.0005775911,0.0003893399,0.002302665,0.0003713849,0.001269371,0.001241719,0.001041822,0.001490214],"category_scores_gemma":[0.05335841,0.0005350676,0.0007705384,0.001259081,0.001119383,0.001981405,0.001209344,0.0009626311,0.0002445889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001017807,"about_ca_system_score_gemma":0.001247533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002127393,"about_ca_topic_score_gemma":0.002907316,"domain_scores_codex":[0.9903678,0.002782556,0.0009333436,0.001150244,0.004170385,0.000595673],"domain_scores_gemma":[0.909133,0.06424227,0.007340393,0.01337581,0.005396105,0.000512507],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003732913,0.001524554,0.1692815,0.002560705,0.0004513034,0.001872415,0.006497558,0.1786292,0.1290723,0.01948719,0.003465706,0.4834248],"study_design_scores_gemma":[0.0002466715,0.002675176,0.0762667,0.0003220674,0.0002788419,0.001612524,0.002134915,0.6773931,0.213528,0.008054988,0.01727883,0.0002080854],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8929986,0.0004317828,0.09419027,0.0001564357,0.00003245714,0.000151378,0.0006822749,0.008698307,0.002658616],"genre_scores_gemma":[0.892608,0.0001715402,0.1028833,0.00007024076,0.00000714389,0.0001125634,0.002095432,0.001147997,0.0009037064],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008339338,"threshold_uncertainty_score":0.04410315,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05225047799853703,"score_gpt":0.2886094213289357,"score_spread":0.2363589433303987,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}