{"id":"W2140714756","doi":"10.1109/iceccs.2008.17","title":"On Extracting Tests from a Testable Model in the Context of Domain Engineering","year":2008,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Domain (mathematical analysis); Domain engineering; Computer science; Domain analysis; Domain model; Executable; Model-based testing; Context (archaeology); Test case; Feature-oriented domain analysis; Data mining; Software engineering; Reliability engineering; Software; Software system; Machine learning; Programming language; Domain knowledge; Engineering; Mathematics; Component-based software engineering","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.002880945,0.001505761,0.001042837,0.002615052,0.0007126796,0.001826907,0.001750513,0.001976538,0.001770675],"category_scores_gemma":[0.02887856,0.0007012252,0.00162036,0.002475891,0.002564844,0.003338411,0.001595747,0.002402716,0.000528777],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009650881,"about_ca_system_score_gemma":0.001421554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00177987,"about_ca_topic_score_gemma":0.002172967,"domain_scores_codex":[0.995737,0.001513101,0.0002840179,0.000388116,0.001914765,0.0001629899],"domain_scores_gemma":[0.970697,0.02254727,0.00150527,0.003642388,0.001424038,0.000184114],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002413305,0.0005285827,0.005424422,0.001314039,0.0001248072,0.00314146,0.001647545,0.2911208,0.03579922,0.2308794,0.003072266,0.426706],"study_design_scores_gemma":[0.00005335809,0.0002409837,0.001090816,0.00038345,0.00007916648,0.001156378,0.0002890181,0.755497,0.03878278,0.1898307,0.01252316,0.00007314333],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0054503,0.00008533964,0.9929641,0.0001788573,0.000008838779,0.0001208726,0.00008097197,0.0004334818,0.0006772237],"genre_scores_gemma":[0.09968627,0.0003810877,0.8976663,0.0001331454,0.00003677892,0.0003646908,0.0008322793,0.000238722,0.0006606932],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002880945,"threshold_uncertainty_score":0.01523608,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03282684462641823,"score_gpt":0.2453074403543252,"score_spread":0.212480595727907,"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."}}