{"id":"W2072077040","doi":"","title":"JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings","year":2013,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Java; Symbolic execution; Scalability; Suite; String (physics); Programming language; Test suite; Pathfinder; Key (lock); Software engineering; Test case; Database; Operating system; Software; Machine learning","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.001392144,0.00106654,0.0005005126,0.001772843,0.0003710998,0.001003514,0.001473597,0.0008038514,0.006187106],"category_scores_gemma":[0.006706515,0.0004678263,0.0007550666,0.0008554066,0.0008052218,0.001067414,0.0008884358,0.0006732977,0.001485599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004200826,"about_ca_system_score_gemma":0.0009466733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001540171,"about_ca_topic_score_gemma":0.0009929016,"domain_scores_codex":[0.9984162,0.0004560816,0.0001542443,0.0002118555,0.0006545633,0.0001070458],"domain_scores_gemma":[0.996797,0.002086509,0.0003002798,0.0003265427,0.0004138841,0.00007573719],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001137216,0.0004819143,0.0158837,0.001277977,0.000231586,0.002062896,0.0005132515,0.1734724,0.1293476,0.02354371,0.0474421,0.6046056],"study_design_scores_gemma":[0.0002679644,0.0003486528,0.002235166,0.0001270335,0.00005787437,0.001005852,0.00006195468,0.8390948,0.1268835,0.01073728,0.01910067,0.00007936603],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03967051,0.0001332546,0.8843664,0.0001393252,0.00006159604,0.0001763495,0.0007897854,0.07177604,0.002886809],"genre_scores_gemma":[0.4003139,0.0001653181,0.5874822,0.0001796048,0.00004838993,0.0004684376,0.003187637,0.005673128,0.002481446],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006187106,"threshold_uncertainty_score":0.02069795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04805541970660984,"score_gpt":0.2650309584620958,"score_spread":0.216975538755486,"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."}}