{"id":"W6986820127","doi":"","title":"Providing an infrastructure for assertion-based test generation and GPU accelerated mutation testing","year":2014,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University","keywords":"Correctness; Functional verification; Leverage (statistics); Set (abstract data type); Intelligent verification; Quality (philosophy); Scalability; Code coverage; Random testing","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.001127803,0.0007116563,0.0005694329,0.0004836447,0.002253518,0.0008879902,0.0008370163,0.000663756,0.000007227758],"category_scores_gemma":[0.004881067,0.0007689392,0.0001321279,0.000886481,0.00002995936,0.002203382,0.00006541765,0.0008206393,0.000008130665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003430809,"about_ca_system_score_gemma":0.000203949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001393662,"about_ca_topic_score_gemma":0.0005169404,"domain_scores_codex":[0.9960526,0.0002652178,0.0008990786,0.001537296,0.0005775605,0.0006682508],"domain_scores_gemma":[0.995818,0.001016502,0.0009378309,0.0006564368,0.001253171,0.0003181156],"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.000004722813,0.00008487512,0.0005347073,0.0003977666,0.00003160998,0.00001346087,0.00001835119,0.001934599,0.2910481,0.009863793,0.000002774284,0.6960652],"study_design_scores_gemma":[0.002008753,0.001054434,0.01382616,0.0008924105,0.0002217656,0.00006972589,0.0001146006,0.7516288,0.2093429,0.0175622,0.0009787048,0.002299639],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9928979,0.00006134122,0.001986636,0.0000213684,0.0008769342,0.001161677,0.0001751336,0.0007947848,0.002024209],"genre_scores_gemma":[0.9776017,0.000003372948,0.0191527,0.0003170301,0.0002048788,0.0002372291,0.002201733,0.0001291501,0.0001521956],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7496942,"threshold_uncertainty_score":0.9994761,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03996712420095753,"score_gpt":0.2640210155308896,"score_spread":0.2240538913299321,"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."}}