Suchergebnisse - automation of checking programming assignments

Boolean Satisfiability Solvers and Their Applications in Model Checking von Vizel, Yakir, Weissenbacher, Georg, Malik, Sharad

“… Boolean satisfiability (SAT)-the problem of determining whether there exists an assignment satisfying a given Boolean formula-is a fundamental intractable problem in computer science …”
Volltext

Software verification and graph similarity for automated evaluation of students’ assignments von Vujošević-Janičić, Milena, Nikolić, Mladen, Tošić, Dušan, Kuncak, Viktor

“… The number of students enrolled in universities at standard and on-line programming courses is rapidly increasing …”
Volltext

The RALph miner for automated discovery and verification of resource-aware process models von Cabanillas, Cristina, Ackermann, Lars, Schönig, Stefan, Sturm, Christian, Mendling, Jan

“… Recent approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process models that contain the inferred resource assignment constraints …”
Volltext

A new Moodle module supporting automatic verification of VHDL-based assignments von Gutiérrez, Eladio, Trenas, María A., Ramos, Julián, Corbera, Francisco, Romero, Sergio

“… This module goes beyond the mere hosting of resources and assignments. It makes use of an automatic checking and verification engine that works on the VHDL designs submitted by the students …”
Volltext

Automated Programming Assignment Marking Tool von Vimalaraj, Hareeni, Thenuwara, T.B.K.P., Wijekoon, Vinuri Udara, Sathurjan, Thavaraja, Reyal, Shyam, Kuruppu, Thilmi Anuththara, Tharmaseelan, Janani

“… Programming assignments mainly test for the student's ability to think logically and approach a solution to the problem …”
Volltext

Temporal Logic Task Allocation in Heterogeneous Multirobot Systems von Luo, Xusheng, Zavlanos, Michael M.

“… in the nondeterministic B <inline-formula><tex-math notation="LaTeX">\ddot{\text{u}}</tex-math></inline-formula> chi automaton (NBA) that captures the LTL specification and then designs low-level paths for robots that respect the high-level assignment …”
Volltext

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming von Yang, Benyuan, Hu, Hesuan

“… Given a role-based access control (RBAC), resiliency checking problem (RCP) aims at determining whether every permission is executed by a user and all authorization constraints are satisfied when some users become absent …”
Volltext

End-to-End Automation of Feedback on Student Assembly Programs von Liu, Zikai, Liu, Tingkai, Li, Qi, Luo, Wenqing, Lumetta, Steven S.

“… (LC-3, a RISC-like educational instruction set architecture). At the heart of the system is an extended version of KLEE, KLC3, that enables us to both identify issues and perform equivalence checking between student code and a gold (correct …”
Volltext

An Image-Based User Interface Testing Method for Flutter Programming Learning Assistant System von Aung, Soe Thandar, Funabiki, Nobuo, Aung, Lynn Htet, Kinari, Safira Adine, Wai, Khaing Hsu, Mentari, Mustika

“… ) on smart phones, web browsers, and desktop applications. We have developed the Flutter programming learning assistant system (FPLAS …”
Volltext

The automated system Steach. Space designed for Programming teaching von Kizyanov, A, Luchaninov, D, Bazhenov, R, Pronin, A, Tabachuk, N, Samorukov, A

“… and Python was arranged for 30 students for the research efficiency checking. The researchers found out the system used could make Programming learning more efficient …”
Volltext

An optimization tool for operational tolerances allocation, work in process inventory minimization, and machines assignment in a discrete part manufacturing environment von Altarazi, Safwan A.

“… First, while integrating with scheduling, they ignore the checking of process planning feasibility with respect to tolerances allocation …”
Volltext

Characteristic polynomial assignment for plants with semialgebraic uncertainty: A robust diophantine equation approach von Cerone, V., Piga, D., Regruto, D.

“… Summary In this paper, we address the problem of robust characteristic polynomial assignment for LTI systems whose parameters are assumed to belong to a semialgebraic uncertainty region …”
Volltext

Approximation and complexity of the optimization and existence problems for maximin share, proportional share, and minimax share allocation of indivisible goods von Heinen, Tobias, Nguyen, Nhan-Tam, Nguyen, Trung Thanh, Rothe, Jörg

“… We first prove that the decision problem of checking if there exists a minimax share allocation for a given problem instance is NP -hard when the agents …”
Volltext

Efficient synthesis of production schedules by optimization of timed automata von Panek, Sebastian, Stursberg, Olaf, Engell, Sebastian

“… For industrial systems with multiple products or alternative production paths, the time-optimal assignment of production steps to available units is often economically indispensable …”
Volltext

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation von Neubauer, Kai, Wanko, Philipp, Schaub, Torsten, Haubelt, Christian

“… ) makes use of partial assignment checking. As a result, more realistic systems are considered and an early exclusion of infeasible solutions improves the entire …”
Volltext

Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach von Ramirez-Trevino, A., Ruiz-Beltran, E., Rivera-Rangel, I., Lopez-Mellado, E.

“… It describes the behavior of system elements using the required states variables and assigning a range to each state variable …”
Volltext

Automated Grading with a Software-Checking Program in the System Dynamics and Control Curriculum von Hill, R. C., Parvini, Yasha

“… ). In this work, the authors provide guidelines for employing software-checking programs for the automated grading of assignments in the System Dynamics and Control curriculum that may not …”
Volltext

How to Create Automatically Graded Spreadsheets for Statistics Courses von LoSchiavo, Frank M.

“… Unfortunately, students tend to make several predictable errors when programming spreadsheets …”
Volltext

Determining Equivalence of Expressions: An Automated Evaluator's Perspective von Sharma, K. K., Banerjee, Kunal, Mandal, Chittaranjan

“… Programming assignments submitted by the students can be automatically assessed using an automated evaluator, which compares a program written by a student with a model program supplied …”
Volltext

ANALYZING GIT LOG IN AN CODE-QUALITY AWARE AUTOMATED PROGRAMMING ASSESSMENT SYSTEM: A CASE STUDY von Nguyen, Bao-An, Ha, Thuy-Vi Thi, Chen, Hsi-Min

“… Automated programming assessment systems have transformed the evaluation of programming assignments, providing detailed feedback and reducing instructors' workload …”
Volltext