Search Results - automation of checking programming assignments

Boolean Satisfiability Solvers and Their Applications in Model Checking by 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…”
Get full text

Software verification and graph similarity for automated evaluation of students’ assignments by 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…”
Get full text

The RALph miner for automated discovery and verification of resource-aware process models by 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…”
Get full text

A new Moodle module supporting automatic verification of VHDL-based assignments by 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…”
Get full text

Automated Programming Assignment Marking Tool by 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…”
Get full text

Temporal Logic Task Allocation in Heterogeneous Multirobot Systems by 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…”
Get full text

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming by 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…”
Get full text

End-to-End Automation of Feedback on Student Assembly Programs by 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…”
Get full text

An Image-Based User Interface Testing Method for Flutter Programming Learning Assistant System by 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…”
Get full text

The automated system Steach. Space designed for Programming teaching by 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…”
Get full text

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

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

Characteristic polynomial assignment for plants with semialgebraic uncertainty: A robust diophantine equation approach by 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…”
Get full text

Approximation and complexity of the optimization and existence problems for maximin share, proportional share, and minimax share allocation of indivisible goods by 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…”
Get full text

Efficient synthesis of production schedules by optimization of timed automata by 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…”
Get full text

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation by 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…”
Get full text

Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach by 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…”
Get full text

Automated Grading with a Software-Checking Program in the System Dynamics and Control Curriculum by 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…”
Get full text

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

“… Unfortunately, students tend to make several predictable errors when programming spreadsheets…”
Get full text

Determining Equivalence of Expressions: An Automated Evaluator's Perspective by 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…”
Get full text

ANALYZING GIT LOG IN AN CODE-QUALITY AWARE AUTOMATED PROGRAMMING ASSESSMENT SYSTEM: A CASE STUDY by 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…”
Get full text