Výsledky vyhľadávania - automation of checking programming assignments

Boolean Satisfiability Solvers and Their Applications in Model Checking Autor 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…”
Získať plný text

Software verification and graph similarity for automated evaluation of students’ assignments Autor 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…”
Získať plný text

The RALph miner for automated discovery and verification of resource-aware process models Autor 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…”
Získať plný text

A new Moodle module supporting automatic verification of VHDL-based assignments Autor 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…”
Získať plný text

Automated Programming Assignment Marking Tool Autor 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…”
Získať plný text

Temporal Logic Task Allocation in Heterogeneous Multirobot Systems Autor 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…”
Získať plný text

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming Autor 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…”
Získať plný text

End-to-End Automation of Feedback on Student Assembly Programs Autor 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…”
Získať plný text

An Image-Based User Interface Testing Method for Flutter Programming Learning Assistant System Autor 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…”
Získať plný text

The automated system Steach. Space designed for Programming teaching Autor 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…”
Získať plný text

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

“… First, while integrating with scheduling, they ignore the checking of process planning feasibility with respect to tolerances allocation…”
Získať plný text

Characteristic polynomial assignment for plants with semialgebraic uncertainty: A robust diophantine equation approach Autor 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…”
Získať plný text

Approximation and complexity of the optimization and existence problems for maximin share, proportional share, and minimax share allocation of indivisible goods Autor 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…”
Získať plný text

Efficient synthesis of production schedules by optimization of timed automata Autor 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…”
Získať plný text

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation Autor 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…”
Získať plný text

Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach Autor 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…”
Získať plný text

Automated Grading with a Software-Checking Program in the System Dynamics and Control Curriculum Autor 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…”
Získať plný text

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

“… Unfortunately, students tend to make several predictable errors when programming spreadsheets…”
Získať plný text

Determining Equivalence of Expressions: An Automated Evaluator's Perspective Autor 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…”
Získať plný text

ANALYZING GIT LOG IN AN CODE-QUALITY AWARE AUTOMATED PROGRAMMING ASSESSMENT SYSTEM: A CASE STUDY Autor 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…”
Získať plný text