Evidence map›Paper›PMID 39650489›Full record

ArticlePeerJ. Computer science2024

Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design.

Wenbo Zhou, Yujiao Zhao, Ye Zhang, Liwen Mu, Yiyuan Wang, Minghao Yin

Abstract read
PubMed Full text at PMC Publisher
In one paragraph

Article in PeerJ. Computer science, 2024. The graph could read no effect estimate from its abstract, so it casts no vote on the map. Not yet cited in PubMed.

0numbers the graph read from it
0cells of the map it votes in
0citing papers in PubMed
–field-weighted citation impact
1 · What the graph read from it

What it found

Each row is one number read from the abstract, on the scale the paper reported it, with its interval. Left of the dashed line favours the treatment, right favours the comparator. Under each row is the sentence it came from. New to these charts? A ten-minute tutorial.

The abstract states no effect estimate the extractor could read, or names no intervention and outcome on the map, so this paper lights no cell and moves no belief. It is still indexed, cited and linked below.

2 · The registry

The trial behind it

Trials whose registry record cites this paper, or whose number appears in the abstract. A trial that started after this paper was published is citing it as background, not reporting it.

Neither the registry nor the abstract names a trial number. If this is a trial report, that itself is worth knowing.

3 · Its place in the literature

Who cites it

0 citing papers in PubMed.

No citing paper in PubMed yet.

4 · The record

Corrections and comments

PubMed lists nothing against this paper. Absence here is not a guarantee, only a check that was made.

5 · Who and what money

Authors and funding

6 authors.

Wenbo ZhouSchool of Information Science and Technology, Northeast Normal University, Changchun, China.
Yujiao ZhaoSchool of Information Science and Technology, Northeast Normal University, Changchun, China.
Ye ZhangSchool of Information Science and Technology, Northeast Normal University, Changchun, China.
Liwen MuSchool of Information Science and Technology, Northeast Normal University, Changchun, China.
Yiyuan WangSchool of Information Science and Technology, Northeast Normal University, Changchun, China.
Minghao YinSchool of Information Science and Technology, Northeast Normal University, Changchun, China.

Funding

No grant is acknowledged in the PubMed record.

6 · The paper itself

Abstract

Electronic examination serves as an efficient method for assessing learning outcomes, yet the integration of computers into exam processes introduces potential for unreliability. In this article, we propose a formal model for electronic examinations using timed automata, providing a structured approach to understanding and managing the complexities. The electronic examination process is modeled by defining four UPPAAL templates,

Indexed as

Electronic examinationFormal verificationSystem designTimed automataTrustworthy digital education

Identifiers

PMID39650489
PMCPMC11622990

What OpenQuestion holds

Textmetadata
LicenceCC BY
Read underepoch 390

Registered trials

None linked

Read under generation 80e0d062 · epoch 390. Bibliography from PubMed, PubMed Central and OpenAlex; grants from NIH RePORTER; trial links from ClinicalTrials.gov; estimates, votes and beliefs from the OpenQuestion graph.