{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005870359,0.00115064,0.001044167,0.002413375,0.001016559,0.001676704,0.003261565,0.001526093,0.002484383],"category_scores_gemma":[0.03821331,0.0008827586,0.001946394,0.001208794,0.002612061,0.004556031,0.003035671,0.002134712,0.0004715967],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001514851,"about_ca_system_score_gemma":0.002413787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00547729,"about_ca_topic_score_gemma":0.005764183,"domain_scores_codex":[0.9871851,0.003176809,0.000787658,0.002232407,0.005735348,0.0008827726],"domain_scores_gemma":[0.9621906,0.01804372,0.003374974,0.01040311,0.005677233,0.0003103517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001385598,0.0006622359,0.04256449,0.0009033008,0.0004141746,0.002988646,0.002482653,0.3895032,0.1034737,0.06822185,0.004590977,0.3828092],"study_design_scores_gemma":[0.00007056275,0.000291566,0.003635901,0.00007371606,0.000116719,0.0004422567,0.0001639738,0.870533,0.07906586,0.04101091,0.004520395,0.00007501221],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1470246,0.0001353896,0.8413914,0.0001054398,0.0000423628,0.0001895698,0.0002971952,0.008990281,0.001823831],"genre_scores_gemma":[0.7044168,0.00005439013,0.2914614,0.0001467581,0.00002232729,0.0002121645,0.000931579,0.001302465,0.00145225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005870359,"threshold_uncertainty_score":0.03104579,"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."}}