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

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

A New 'Moodle' Module Supporting Automatic Verification of VHDL-Based Assignments

Authors: Gutierrez, Eladio Trenas, Maria A. Ramos, Julian

Source: Computers & Education. Feb 2010 54(2):562-577.

Peer Reviewed: Y

Page Count: 16

Descriptors: Assignments, Teamwork, Units of Study, Educational Assessment, Simulation, Student Evaluation, Educational Technology, Computer Assisted Instruction, Computer Assisted Testing, Instructional Design, Integrated Learning Systems, Internet, Web Based Instruction, Computer Software, Programming, Computer System Design, Information Technology, Automation, Computer Science Education

Last man standing: Static, decremental and dynamic resiliency via controller synthesis.

Authors: Zavatteri, Matteo Viganò, Luca

Source: Journal of Computer Security. 2019, Vol. 27 Issue 3, p343-373. 31p.

Subject Terms: *WORKFLOW, ASSIGNMENT problems (Programming)

ANALYZING GIT LOG IN AN CODE-QUALITY AWARE AUTOMATED PROGRAMMING ASSESSMENT SYSTEM: A CASE STUDY

Authors: Bao-An Nguyen Thuy-Vi Ha Thi Hsi-Min Chen

Source: TRA VINH UNIVERSITY JOURNAL OF SCIENCE; Tra Vinh University Journal of Science, Vol. 13, No. 3 (2023) ; 2815-6099 ; 2815-6072

Subject Terms: APA, code quality, data analytics, programming education

File Description: application/pdf

Relation: http://journal.tvu.edu.vn/index.php/journal/article/view/48/42; http://journal.tvu.edu.vn/index.php/journal/article/view/48

Availability: http://journal.tvu.edu.vn/index.php/journal/article/view/48

Infrared: a declarative tree decomposition-powered framework for bioinformatics.

Authors: Yao, Hua-Ting Marchand, Bertrand Berkemer, Sarah J. et al.

Source: Algorithms for Molecular Biology; 3/16/2024, Vol. 19 Issue 1, p1-29, 29p

Subject Terms: PYTHON programming language, BIOINFORMATICS, DYNAMIC programming, PROBLEM solving, NUCLEOTIDE sequence, FUZZY algorithms

NEXT-GEN ENTERPRISE BI: A STRATEGIC GUIDE TO AI-INFUSED REPORTING SOLUTIONS.

Authors: MARAPATLA, PENTA RAO

Source: TPM: Testing, Psychometrics, Methodology in Applied Psychology; 2025 Supplement, Vol. 32, p248-262, 15p

ANALYZING GIT LOG IN AN CODE-QUALITY AWARE AUTOMATED PROGRAMMING ASSESSMENT SYSTEM: A CASE STUDY

Authors: Hsi-Min Chen Thuy-Vi Thi Ha Bao-An Nguyen

Source: TRA VINH UNIVERSITY JOURNAL OF SCIENCE.

Subject Terms: 4. Education

Auto-Grader Feedback Utilization and Its Impacts: An Observational Study Across Five Community Colleges

Authors: Zhang, Adam Burte, Heather Savelka, Jaromir et al.

Source: Proceedings of the 17th International Conference on Computer Supported Education. :356-363

Subject Terms: FOS: Computer and information sciences, Computers and Society (cs.CY), Computers and Society

Access URL: http://arxiv.org/abs/2507.14235

Developing programming language with compilers using JFlex in NetBean: Expanding and testing simple operators by implementing a calculator

Authors: Younten Tshering Suyogya Ratna Tamrakar Sai Preetham Kamishetty

Source: International Journal for Research in Applied Science and Engineering Technology. 10:1992-2005

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings

Authors: Joachim Parrow Jan Karel Lenstra Jos C. M. Baeten et al.

Source: Lecture Notes in Computer Science ISBN: 9783540404934

Subject Terms: IR-93242, METIS-214967

Access URL: https://research.utwente.nl/en/publications/b3202018-08ee-44d5-b245-42970cce4400
https://doi.org/10.1007/3-540-45061-0
https://link.springer.com/10.1007/3-540-45061-0
https://ci.nii.ac.jp/ncid/BA63020414
https://research.utwente.nl/en/publications/automata-languages-and-programming-30th-international-colloquium-
https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2Fb3202018-08ee-44d5-b245-42970cce4400

An execution mechanism for nondeterministic, state-oriented programs based on a chart parser

Authors: David A. Rosenblueth

Source: Information Processing Letters. 45:211-217

Subject Terms: Specification and verification (program logics, model checking, etc.), Analysis of algorithms and problem complexity, program correctness, state-oriented programs, 0202 electrical engineering, electronic engineering, information engineering, Theory of compilers and interpreters, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/ipl/ipl45.html#Rosenblueth93
https://www.sciencedirect.com/science/article/pii/002001909390121O
http://www.sciencedirect.com/science/article/pii/002001909390121O

Decision procedures for path feasibility of string-manipulating programs with complex operations

Authors: Chen, Taolue Hague, Matthew Lin, Anthony W. et al.

Source: Proceedings of the ACM on Programming Languages

Subject Terms: Reverse, FOS: Computer and information sciences, String Constraints, Computer Science - Logic in Computer Science, csis, Computer Sciences, Formal Languages and Automata Theory (cs.FL), Transducers, Straight-Line Programs, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, 16. Peace & justice, Logic in Computer Science (cs.LO), Datavetenskap (datalogi), 0202 electrical engineering, electronic engineering, information engineering, ReplaceAll, Decision Procedures

File Description: application/pdf

Access URL: https://dl.acm.org/doi/pdf/10.1145/3290362
http://arxiv.org/abs/1811.03167
https://eprints.bbk.ac.uk/id/eprint/26184/1/26184.pdf
https://dl.acm.org/doi/pdf/10.1145/3290362
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1375065
https://doi.org/10.1145/3290362
https://dl.acm.org/doi/10.1145/3290362
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03167
https://ora.ox.ac.uk/objects/uuid:16a5af94-3479-4d9e-b763-4c8b80b3ea2b
https://doi.org/10.1145/3290362
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-398239

Development of a high-throughput minimum inhibitory concentration (HT-MIC) testing workflow.

Authors: Tiwari, Suman Nizet, Oliver Dillon, Nicholas

Source: Frontiers in Microbiology; 2023, p1-9, 9p

Subject Terms: WORKFLOW, HIGH throughput screening (Drug development), WORKFLOW management systems, HUMAN error, DATA quality, PROOF of concept

Efficient synthesis of production schedules by optimization of timed automata

Authors: Panek, Sebastian Stursberg, Olaf Engell, Sebastian

Source: Control Engineering Practice. Oct2006, Vol. 14 Issue 10, p1183-1197. 15p.

Subject Terms: *MACHINE theory, *PRODUCTION scheduling, *NONLINEAR programming, *MATHEMATICAL programming

Automation of Software Code Analysis Using Machine Learning Methods.

Authors: Moshkin, V. S. Dyrnochkin, A. A. Yarushkina, N. G.

Source: Pattern Recognition & Image Analysis; Sep2023, Vol. 33 Issue 3, p417-424, 8p

Paving the way for Brazil's first national rare diseases registry: the RARAS data governance model.

Authors: Andrade Bernardi, Filipe Costa Lima, Vinícius Alonso, Mateus et al.

Source: BMC Digital Health; 10/1/2025, Vol. 3 Issue 1, p1-16, 16p

ISEV2025 Abstract Book.

Source: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

The Liver Meeting: 2025 Abstracts.

Source: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment

Authors: Talpin, Jean-Pierre Ouy, Julien Gautier, Thierry et al.

Contributors: Talpin, Jean-Pierre Ouy, Julien Gautier, Thierry et al.

Source: https://inria.hal.science/inria-00417682 ; [Research Report] RR-7036, INRIA. 2009, pp.22.

Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://inria.hal.science/inria-00417682
https://inria.hal.science/inria-00417682v1/document
https://inria.hal.science/inria-00417682v1/file/RR-7036.pdf