{"id":"W2796271057","doi":"10.1007/978-3-319-89363-1_13","title":"Iterative Generation of Diverse Models for Testing Specifications of DSL Tools","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; Emberi Eroforrások Minisztériuma","keywords":"Computer science; Digital subscriber line; Test suite; Programming language; Iterative refinement; Model-based testing; Domain-specific language; Set (abstract data type); Generator (circuit theory); Suite; Software engineering; Context (archaeology); Graph; Code generation; Theoretical computer science; Test case; Algorithm; Machine learning","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000749655,0.0002714827,0.0003993202,0.0005512747,0.0001723421,0.0001756219,0.001635651,0.0001678421,0.000004145334],"category_scores_gemma":[0.0007245957,0.0002550006,0.00009468732,0.0005012056,0.000587753,0.0006170378,0.0005293299,0.0001909267,0.000001769692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00010441,"about_ca_system_score_gemma":0.0003610124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000156923,"about_ca_topic_score_gemma":0.000007193255,"domain_scores_codex":[0.997848,0.00002264865,0.0005530224,0.0008215834,0.0004840045,0.0002707487],"domain_scores_gemma":[0.9956918,0.001523497,0.0005494011,0.0009901401,0.001187281,0.0000578763],"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.000007797785,0.00007178277,0.0001221412,0.0001191764,0.00001968244,0.000004656875,0.003874862,0.06156578,0.002816335,0.05092072,0.0005608752,0.8799162],"study_design_scores_gemma":[0.00007364922,0.0001954428,0.00001776216,0.000286718,0.000005381139,0.000006473168,7.553267e-8,0.6185697,0.007755565,0.3728752,0.00003384189,0.0001801779],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001662443,0.00008408888,0.9975265,0.00007498256,0.0004460318,0.0004625922,0.00002769125,0.0005137851,0.0006981145],"genre_scores_gemma":[0.1437082,0.000004473296,0.855832,0.00009455989,0.0002706969,0.00001480026,0.000008017273,0.00001444568,0.00005275164],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.879736,"threshold_uncertainty_score":0.9999902,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1983891135352414,"score_gpt":0.3039373237041235,"score_spread":0.1055482101688821,"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."}}