English
Related papers

Related papers: Teaching Software Testing and Debugging with the S…

200 papers

This paper proposes a novel deep reinforcement learning algorithm to perform automatic analysis and detection of gameplay issues in complex 3D navigation environments. The Curiosity-Conditioned Proximal Trajectories (CCPT) method combines…

Machine Learning · Computer Science 2022-02-22 Alessandro Sestini , Linus Gisslén , Joakim Bergdahl , Konrad Tollmar , Andrew D. Bagdanov

Debugging is an unavoidable and most crucial aspect of software development life cycle. Especially when it comes the turn of embedded one. Due to the requirements of low code size and less resource consumption, the embedded softwares need…

Software Engineering · Computer Science 2012-09-14 Partha Pratim Ray , Ansuman Banerjee , Banibrata Bag

Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for testing games, since they are reactive and able to reason…

Penetration testing refers to the process of simulating hacker attacks to evaluate the security of information systems . This study aims not only to clarify the theoretical foundations of penetration testing but also to explain and…

Cryptography and Security · Computer Science 2026-02-10 Wei Zhang , Ju Xing , Xiaoqi Li

The C and C++ programming languages are notoriously insecure yet remain indispensable. Developers therefore resort to a multi-pronged approach to find security issues before adversaries. These include manual, static, and dynamic program…

Cryptography and Security · Computer Science 2018-06-13 Dokyung Song , Julian Lettner , Prabhu Rajasekaran , Yeoul Na , Stijn Volckaert , Per Larsen , Michael Franz

Working in complex industrial facilities requires spatial navigation skills that people build up with time and field experience. Training sessions consisting in guided tours help discover places but they are insufficient to become…

Human-Computer Interaction · Computer Science 2018-07-12 Arnaud Mas , Idriss Ismaël , Nicolas Filliard

The game industry is moving into an era where old-style game engines are being replaced by re-engineered systems with embedded machine learning technologies for the operation, analysis and understanding of game play. In this paper, we…

Computers and Society · Computer Science 2021-01-05 Yilei Zeng , Aayush Shah , Jameson Thai , Michael Zyda

In the last few years, serious games have become popular, with a consensus of the benefits for teaching cyber security awareness and education. However, there is still a lack of pedagogical driven methodologies and tools to support serious…

Cryptography and Security · Computer Science 2021-10-25 Stephen Hart , Basel Halak , Vladimiro Sassone

Purpose: The study aimed to improve the previous study covering a web-based query game for Cavite State University. The study created a new mechanic and gameplay for the students to learn Structured Query Language (SQL). The enhancements…

Computers and Society · Computer Science 2020-12-07 Mark Philip M. Sy , Christian James M. Historillo , Allen Cris T. Conde , Ma. Yvonne Czarina R. Costelo

Emergency training and planning provide structured curricula, rule-based action items, and interdisciplinary collaborative entities to imitate and teach real-life tasks. This rule-based structure enables the curricula to be transferred into…

The ultimate goals of serious education games (SEG) are to facilitate learning and maximizing enjoyment during playing SEGs. In SEG development, there are normally two spaces to be taken into account: knowledge space regarding learning…

Artificial Intelligence · Computer Science 2018-01-09 Harits Ar Rosyid , Matt Palmerlee , Ke Chen

Interactive program verification is characterized by iterations of unfinished proof attempts. To support the process of constructing a complete proof, many interactive program verification systems offer a proof scripting language as a…

Logic in Computer Science · Computer Science 2018-04-13 Bernhard Beckert , Sarah Grebing , and Alexander Weigl

Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms…

Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliability is a key feature to win the market. Computer games are…

Software Engineering · Computer Science 2019-04-22 Ruslan Rezin , Ilya Afanasyev , Manuel Mazzara , Victor Rivera

Cooperation played a significant role in the self-organization and evolution of living organisms. Both network topology and the initial position of cooperators heavily affect the cooperation of social dilemma games. We developed a novel…

Molecular Networks · Quantitative Biology 2013-07-02 Gabor I. Simko , Peter Csermely

With the ever growing networking capabilities and services offered to users, attack surfaces have been increasing exponentially, additionally, the intricacy of network architectures has increased the complexity of cyber-defenses, to this…

Cryptography and Security · Computer Science 2019-03-22 Xavier Bellekens , Gayan Jayasekara , Hanan Hindy , Miroslav Bures , David Brosset , Christos Tachtatzis , Robert Atkinson

In DevOps Course, the Installation and configuration of the various software tools are useful in the context of application development. To teach DevOps Tools precisely to achieve the learning outcome is a skilled task for a trainer. From…

Software Engineering · Computer Science 2022-04-12 Manoj Devare

Going from research to production, especially for large and complex software systems, is fundamentally a hard problem. In large-scale game production, one of the main reasons is that the development environment can be very different from…

Software Engineering · Computer Science 2023-07-24 Jonas Gillberg , Joakim Bergdahl , Alessandro Sestini , Andrew Eakins , Linus Gisslen

Classical coding-theoretic guarantees often rely on trust assumptions, such as requiring sufficiently many honest nodes compared with adversarial ones. These assumptions are difficult to enforce in open decentralized systems where…

Information Theory · Computer Science 2026-05-12 Hanzaleh Akbari Nodehi , Parsa Moradi , Mohammad Ali Maddah-Ali

Educational games are an increasingly popular teaching tool in modern classrooms. However, the development of complementary tools for teachers facilitating classroom gameplay is lacking. We present the results of a participatory design…

Human-Computer Interaction · Computer Science 2022-10-19 Luke Swanson , David Gagnon , Jennifer Scianna