{"id":"W7133004228","doi":"","title":"PathDiff: Systematic Differential Testing Using Symbolic Analysis","year":2022,"lang":"","type":"dissertation","venue":"TSpace","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"University of Toronto","keywords":"Fuzz testing; Path (computing); Symbolic execution; Differential (mechanical device); Process (computing); Software bug; Software","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.0023961,0.0009474403,0.0006951423,0.001823466,0.0005629409,0.001016096,0.002065955,0.000828621,0.002989074],"category_scores_gemma":[0.01410733,0.0005509584,0.00114747,0.001019422,0.002403632,0.002319013,0.002476465,0.00139101,0.0004327732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008961128,"about_ca_system_score_gemma":0.002256332,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002003183,"about_ca_topic_score_gemma":0.002453425,"domain_scores_codex":[0.9964271,0.00136367,0.000221261,0.000547062,0.001216686,0.0002241963],"domain_scores_gemma":[0.9896904,0.00719784,0.0006949545,0.00156051,0.0007062708,0.0001501241],"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.0008895958,0.0003486155,0.01866419,0.00102879,0.0002694642,0.00088815,0.0009739059,0.2157718,0.05456463,0.1234415,0.006644614,0.5765148],"study_design_scores_gemma":[0.0001643739,0.0003627533,0.001289445,0.0001032251,0.00008629946,0.0004223551,0.0001072784,0.8763794,0.03258175,0.08249156,0.005961718,0.00004978864],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04140275,0.000185082,0.9470103,0.0002018742,0.00003797997,0.0001139664,0.000208387,0.008875863,0.001963774],"genre_scores_gemma":[0.5265254,0.0001692739,0.470463,0.0001821946,0.00001902686,0.0002309835,0.0005383005,0.000681092,0.001190767],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002989074,"threshold_uncertainty_score":0.01267195,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06123085727894456,"score_gpt":0.3772592000803296,"score_spread":0.3160283428013851,"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."}}