{"id":"W4386179369","doi":"10.1145/3579027.3608978","title":"Code-Level Functional Equivalence Checking of Annotative Software Product Lines","year":2023,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Equivalence (formal languages); Functional equivalence; Formal equivalence checking; Computer science; Source lines of code; Software; Programming language; Theoretical computer science; Scalability; Model checking; Functional requirement; Software product line; Software development; Software engineering; Mathematics; Discrete mathematics; Operating system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006069526,0.0001366623,0.0001900923,0.0001673181,0.00006557542,0.00002152946,0.0005573192,0.00003487487,0.0000104521],"category_scores_gemma":[0.003671963,0.0001199948,0.0000530532,0.001080733,0.00007756084,0.0004727367,0.0004139575,0.0001182877,0.00003847448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002457123,"about_ca_system_score_gemma":0.000068464,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003631184,"about_ca_topic_score_gemma":0.000001207245,"domain_scores_codex":[0.9987347,0.00005905971,0.0002312084,0.0004030086,0.0003051737,0.0002669095],"domain_scores_gemma":[0.9979684,0.001213632,0.00008912622,0.0004388707,0.0002502366,0.00003970557],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002684332,0.00006278014,0.003886327,0.0002929261,0.00008256876,0.00003295497,0.002342388,0.7117642,0.02990514,0.03588454,0.0041627,0.2115566],"study_design_scores_gemma":[0.001177093,0.0003935976,0.2915018,0.0003663196,0.00002497221,0.00007176878,0.0005403769,0.07925744,0.4393353,0.1827618,0.002814993,0.001754544],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006218421,0.00009794182,0.9908847,0.0002855276,0.0007193704,0.0001034224,0.00001094265,0.001618281,0.00006141314],"genre_scores_gemma":[0.05403775,0.00002120472,0.9441928,0.00003993675,0.00007950637,0.00002182722,0.000005240452,0.00001250629,0.001589242],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6325068,"threshold_uncertainty_score":0.4893246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2127036091122831,"score_gpt":0.3438010609198989,"score_spread":0.1310974518076157,"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."}}