Search Results - automation of checking programming assignments*

An Effective Evaluation System to Grade Programming Assignments Automatically

Authors: Rahaman, Md. Afzalur Hoque, Abu Sayed Md. Latiful

Source: International Journal of Learning Technology. 2022 17(3):267-290.

Peer Reviewed: Y

Page Count: 24

Descriptors: Evaluation Methods, Programming, Assignments, Automation, Electronic Learning, Computer Science Education

Assessment Automation of Complex Student Programming Assignments.

Authors: Novak, Matija Kermek, Dragutin

Source: Education Sciences; Jan2024, Vol. 14 Issue 1, p54, 24p

Subject Terms: STUDENT assignments, AUTOMATION, COLLEGE graduates, WEB-based user interfaces, DATABASES, HONESTY

Design and Application of an Online Judge-Based Learning Environment for Enhancing Computational Thinking in Block-Based Programming Language Education.

Authors: Go, HakNeung Moon, Hyunwoo Lim, Suhun et al.

Source: International Journal on Advanced Science, Engineering & Information Technology; 2025, Vol. 15 Issue 4, p1344-1352, 9p

Subject Terms: ABSTRACTION (Computer science), AUTOMATION, EDUCATIONAL technology, PROBLEM solving, VISUAL programming (Computer science), EDUCATIONAL programs, COMPUTER programming education

Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations.

Authors: Shi, Yuhui Wu, Yuming Bu, Lei et al.

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-26, 26p

Subject Terms: SCALABILITY, SEMANTICS methodology, GRAPH connectivity, MACHINE theory

Webová aplikace pro zadávání, odevzdávání a automatickou kontrolu programátorských prací

Authors: LÍSKOVEC, Kryštof

Subject Terms: web application React.js, automatizace opravy programátorských prací, Express.js, programování, programming, automatizace, automation, React.js, Docker, automation of checking programming assignments, webová aplikace

Access URL: http://www.nusl.cz/ntk/nusl-623918

Identification of sensors in smart manufacturing via mutually exclusive multiple time series classification.

Authors: Ceselli, Alberto De Martino, Giuseppe Premoli, Marco

Source: Journal of Intelligent Manufacturing; Dec2025, Vol. 36 Issue 8, p5545-5561, 17p

Subject Terms: INDUSTRY 4.0, MACHINE learning, INTELLIGENT sensors, DECISION support systems, TIME series analysis, AUTOMATION, MATHEMATICAL programming

INTELLECTUAL CODE ANALYSIS IN AUTOMATION GRADING.

Alternate Title: ІНТЕЛ ЕКТУАЛЬ НИЙ АНАЛІЗ КОДУ В СИСТЕМАХ АВТОМАТИЗОВАНОГО ОЦІНЮВАННЯ (Ukrainian)

Authors: SELIUTIN, Denys YASHYNA, Elena

Source: Radioelectronic & Computer Systems / Radìoelektronnì ì Komp'ûternì Sistemi; 2024, Issue 4, p68-82, 15p

Subject Terms: GRADING of students, COMPUTER programming, ALGORITHMS, EVALUATION, DATA analysis

AI-Powered Learning: Revolutionizing Education and Automated Code Evaluation.

Authors: Bernik, Andrija Radošević, Danijel Čep, Andrej

Source: Information; Nov2025, Vol. 16 Issue 11, p1015, 13p

Subject Terms: ARTIFICIAL intelligence, GRADING of students, LEARNING, C++, COMPUTER programming, ETHICS

Program Correctness through Self-Certification.

Authors: Namjoshi, Kedar S. Zuck, Lenore D.

Source: Communications of the ACM; Feb2025, Vol. 68 Issue 2, p74-84, 11p

Subject Terms: COMPUTER programming, COMPUTER software testing, SOFTWARE verification, COMPUTERS, COMPUTER systems, SCALABILITY, SYSTEMS design, COMPUTER software

Specification and model-checking of space systems in the TASTE toolset.

Authors: Dragomir, Iulia Redondo, Carlos Jorge, Tiago et al.

Source: Innovations in Systems & Software Engineering; Sep2025, Vol. 21 Issue 3, p961-984, 24p

Recommending Variable Names for Extract Local Variable Refactorings.

Authors: Wang, Taiming Liu, Hui Zhang, Yuxia et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-38, 38p

Subject Terms: SOFTWARE refactoring, JAVA programming language, SOFTWARE productivity, HEURISTIC, SOFTWARE engineering, AUTOMATION software

JorGPT: Instructor-Aided Grading of Programming Assignments with Large Language Models (LLMs).

Authors: Cisneros-González, Jorge Gordo-Herrera, Natalia Barcia-Santos, Iván et al.

Source: Future Internet; Jun2025, Vol. 17 Issue 6, p265, 21p

Subject Terms: LANGUAGE models, GENERATIVE artificial intelligence, COMPUTER science education, STATISTICAL significance, MANUAL labor

Leveraging robotic process automation (RPA) in business operations and its future perspective.

Authors: Basha, Md. Shaik Amzad Sucharitha, M. Martha Bhagyalakshmi, Macherla et al.

Source: AIP Conference Proceedings; 2023, Vol. 2821 Issue 1, p1-6, 6p

Subject Terms: ROBOTIC process automation, TECHNOLOGICAL innovations, BUSINESS cycles, BUSINESS conditions

A model template for reachability-based containment checking of imprecise observations in timed automata.

Authors: Lehmann, Sascha Schupp, Sibylle

Source: Software & Systems Modeling; Apr2025, Vol. 24 Issue 2, p411-444, 34p

Subject Terms: CHECKS, PROBLEM solving, MODEL theory, SEMANTICS, LOGIC

gLTSdiff: a generalized framework for structural comparison of software behavior.

Authors: Hendriks, Dennis Oortwijn, Wytse

Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1671-1698, 28p

Subject Terms: FINITE state machines, SOFTWARE engineering, MATHEMATICAL models, HYPOTHESIS, SOFTWARE libraries (Computer programming)

Mutation testing for temporal alloy models (extended version).

Authors: Jovanovic, Ana Sullivan, Allison

Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p

Subject Terms: COMPUTER software testing, MODEL validation, CONSTRAINT programming, MODELING languages (Computer science), MATHEMATICAL logic, FAULT diagnosis, DYNAMIC testing

Enhanced logic-based Benders decomposition methods for the distributed heterogeneous non-permutation flow shop scheduling problem.

Authors: Xiong, Fuli Jing, Lin Xiong, Ningxin et al.

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10517-10554, 38p

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.

Authors: Chen, Yu-Fang Chung, Kai-Min Lengál, Ondřej et al.

Source: Communications of the ACM; Jun2025, Vol. 68 Issue 6, p85-93, 9p

Subject Terms: QUANTUM computing, MACHINE theory, SCALABILITY, QUBITS, QUANTUM gates

A Guided Self-Study Platform of Integrating Documentation, Code, Visual Output, and Exercise for Flutter Cross-Platform Mobile Programming.

Authors: Kinari, Safira Adine Funabiki, Nobuo Aung, Soe Thandar et al.

Source: Computers (2073-431X); Oct2025, Vol. 14 Issue 10, p417, 27p

Subject Terms: MOBILE app development, PROGRAMMING languages, CURRICULUM planning, LEARNING, AUTODIDACTICISM, ACTIVE learning, PROBLEM-based learning

The Influence of Artificial Intelligence Tools on Learning Outcomes in Computer Programming: A Systematic Review and Meta-Analysis.

Authors: Alanazi, Manal Soh, Ben Samra, Halima et al.

Source: Computers (2073-431X); May2025, Vol. 14 Issue 5, p185, 37p

Subject Terms: ARTIFICIAL intelligence, COMPUTER programming, COMPUTER programming education, TEACHING methods, PSYCHOLOGY of students