The Internet of Things (IoT) has brought about a new era of connected devices and systems,
with applications ranging from healthcare to transportation. However, the reliability and …

In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …

The development of digital technology for education is continuously conducted to
successfully integrate digital technology with people's lives. This study aimed to develop an …

Pariwisata merupakan salah satu sektor yang berpeluang menjadi penyumbang devisa
terbanyak di Indonesia. Pertumbuhan pariwisata Indonesia tercatat mencapai 7, 2 persen …

Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …

Context: Modern software development increasingly relies on software testing for an ever
more frequent delivery of high quality software. This puts high demands on the quality of the …

Abstract Pesantren Mahasiswa Internasional KH Mas Mansur (Pesma) has a shuttle facility
for everyone who lives there. However, the use of the shuttle is not optimal because the …

The continuous growth of cyber–physical systems (CPS) attacks, especially due to the
conflict in Ukraine, has highlighted the need for cybersecurity management mechanisms …

In software testing, generating test data is quite expensive and time-consuming. The manual
generation of an appropriately large set of test data to satisfy a specified coverage criterion …

Grocery store BSR is an SME engaged in the sale of goods for basic daily needs. Today's
business processes are still done manually. It has in-store sales services and a mobile sales …