{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T20:29:43Z","timestamp":1767990583301,"version":"3.49.0"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["2714\/19"],"award-info":[{"award-number":["2714\/19"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1109\/tse.2023.3279570","type":"journal-article","created":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T17:40:33Z","timestamp":1684950033000},"page":"4023-4034","source":"Crossref","is-referenced-by-count":4,"title":["Generalized Coverage Criteria for Combinatorial Sequence Testing"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4009-5353","authenticated-orcid":false,"given":"Achiya","family":"Elyasaf","sequence":"first","affiliation":[{"name":"Software and Information Systems Engineering Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3021-1488","authenticated-orcid":false,"given":"Eitan","family":"Farchi","sequence":"additional","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2026-2601","authenticated-orcid":false,"given":"Oded","family":"Margalit","sequence":"additional","affiliation":[{"name":"Computer Science Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5832-8768","authenticated-orcid":false,"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[{"name":"Computer Science Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8183-5282","authenticated-orcid":false,"given":"Yeshayahu","family":"Weiss","sequence":"additional","affiliation":[{"name":"Computer Science Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106504"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-020-09531-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05094-1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.3390\/app12031587"},{"key":"ref15","first-page":"243","article-title":"Using behavioral programming with solver, context, and deep reinforcement learning for playing a simplified RoboCup-Type game","author":"elyasaf","year":"2019","journal-title":"Proc IEEE 22nd Int Conf Model Driven Eng Lang Syst Companion"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3390\/sym10050146"},{"key":"ref14","first-page":"485","article-title":"A context-based behavioral language for IoT","author":"elyasaf","year":"2018","journal-title":"Proc CEUR Workshop Proc"},{"key":"ref36","article-title":"Selenium – a suite of tools for automating web browsers","year":"2023"},{"key":"ref31","article-title":"Mozilla\/rhino: Rhino is an open-source implementation of javascript written entirely in Java","year":"0"},{"key":"ref30","article-title":"Moodle's quiz faq","year":"2023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2019.00059"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3147008"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3037780"},{"key":"ref32","article-title":"Learning Bayesian networks","volume":"38","author":"neapolitan","year":"2004"},{"key":"ref2","first-page":"1407","article-title":"A scenario based on-board software and testing environment for satellites","author":"bar-sinai","year":"2019","journal-title":"Proc 59th Isr Annu Conf Aerosp Sci"},{"key":"ref1","article-title":"New strategies for automated random testing","author":"ahmad","year":"2014"},{"key":"ref17","author":"forg\u00e1cs","year":"2019","journal-title":"Practical Test Design - Selection of Traditional and Automated Test Design Techniques"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00020"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"},{"key":"ref38","article-title":"Testing reactive systems using behavioral programming, a model centric approach","author":"weiss","year":"2021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038686"},{"key":"ref18","first-page":"168","article-title":"Scenario-based modeling and programming of distributed systems","author":"greenyer","year":"2021","journal-title":"Proc Int Conf Appl Theory Petri Nets Concurrency"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2015.05.003"},{"key":"ref23","first-page":"549","article-title":"Exact Bayesian structure discovery in Bayesian networks","volume":"5","author":"koivisto","year":"2004","journal-title":"J Mach Learn Res"},{"key":"ref26","article-title":"ComOpT: Combination and optimization for testing autonomous driving systems","author":"li","year":"2021"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-142"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_12"},{"key":"ref42","author":"adams","year":"1981","journal-title":"The Restaurant at the end of the Universe"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859054"},{"key":"ref22","year":"2012"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209270"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2010.5482481"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17666-2_9"},{"key":"ref29","article-title":"Moodle – open-source learning platform","year":"2023"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"ref7","first-page":"505","author":"candea","year":"2019","journal-title":"Automated Software Test Generation Some Challenges Solutions and Recent Advances"},{"key":"ref9","first-page":"141","article-title":"On test case distributions of adaptive random testing","author":"chen","year":"2007","journal-title":"Proc 19th Int Conf Softw Eng Knowl Eng"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/362946.362970"},{"key":"ref3","first-page":"59","article-title":"BPjs - an extensible, open infrastructure for behavioral programming research","author":"bar-sinai","year":"2018","journal-title":"Proc IEEE\/ACM 21st Int Conf Model Driven Eng Lang Syst Companion Proc"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065972"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00036"},{"key":"ref40","article-title":"Jenetics: Java genetic algorithm library","author":"wilhelmst\u00f6tter","year":"2022"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10217078\/10132586.pdf?arnumber=10132586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T21:58:04Z","timestamp":1718143084000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10132586\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":42,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3279570","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]}}}