From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Test Model Coverage Analysis Under Uncertainty., и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 222-239. Springer, (2019)Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.. TPHOLs, том 859 из Lecture Notes in Computer Science, стр. 362-377. Springer, (1994)Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest.. SBST@ICSE, стр. 21-24. IEEE / ACM, (2019)Exploiting Annotations to Test Break-off Branches., , и . APSEC, стр. 80-87. IEEE Computer Society, (2015)Agent-based Testing of Extended Reality Systems., , , , , , , , , и . ICST, стр. 414-417. IEEE, (2020)EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games., , , , и . ICST, стр. 13-24. IEEE, (2024)Search-Based Automated Play Testing of Computer Games: A Model-Based Approach., , , , , и . SSBSE, том 12914 из Lecture Notes in Computer Science, стр. 56-71. Springer, (2021)Aplib: An Agent Programming Library for Testing Games., и . AAMAS, стр. 1972-1974. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses., , , , , и . CSEE&T, стр. 1-3. IEEE, (2020)Aplib: Tactical Agents for Testing Computer Games., , , , , и . EMAS@AAMAS, том 12589 из Lecture Notes in Computer Science, стр. 21-41. Springer, (2020)