English
Related papers

Related papers: Generating Quizzes to Support Training on Quality …

200 papers

The need for space test professionals is growing rapidly, due to establishment of the US Space Force and the extremely rapid growth of the commercial space industry. The future of space test looks bright and complex; a better training…

Managing requirements on quality aspects is an important issue in the development of software systems. Difficulties arise from expressing them appropriately what in turn results from the difficulty of the concept of quality itself. Building…

Software Engineering · Computer Science 2016-11-07 Stefan Wagner , Florian Deissenboeck , Sebastian Winter

The use of question-based activities (QBAs) is wide-spread in education, traditionally forming an integral part of the learning and assessment process. In this paper, we design and evaluate an automated question generation tool for…

Computation and Language · Computer Science 2023-09-27 Ayan Kumar Bhowmick , Ashish Jagmohan , Aditya Vempaty , Prasenjit Dey , Leigh Hall , Jeremy Hartman , Ravi Kokku , Hema Maheshwari

Generating high quality question-answer pairs is a hard but meaningful task. Although previous works have achieved great results on answer-aware question generation, it is difficult to apply them into practical application in the education…

Computation and Language · Computer Science 2021-09-20 Fanyi Qu , Xin Jia , Yunfang Wu

Software quality assurance has been a heated topic for several decades. If factors that influence software quality can be identified, they may provide more insight for better software development management. More precise quality assurance…

Software Engineering · Computer Science 2015-07-27 Jie Xu , Danny Ho , Luiz Fernando Capretz

Agent-based models play an important role in simulating complex emergent phenomena and supporting critical decisions. In this context, a software fault may result in poorly informed decisions that lead to disastrous consequences. The…

Software Engineering · Computer Science 2021-03-19 Andrew G. Clark , Neil Walkinshaw , Robert M. Hierons

Aerospace manufacturing demands exceptionally high precision in technical parameters. The remarkable performance of Large Language Models (LLMs), such as GPT-4 and QWen, in Natural Language Processing has sparked industry interest in their…

Computation and Language · Computer Science 2025-02-04 Beiming Liu , Zhizhuo Cui , Siteng Hu , Xiaohua Li , Haifeng Lin , Zhengxin Zhang

Planetary science space missions need high quality software ed efficient algorithms in order to extract innovative scientific results from flight data. Reliable and efficient software technologies are increasingly vital to improve and…

Instrumentation and Methods for Astrophysics · Physics 2020-04-14 Francesco Lazzarotto , Gabriele Cremonese , Alice Lucchetti , Cristina Re , Emanuele Simioni , Maurizio Pajola , Pamela Cambianica , Giovanni Munaretto

Risk and Quality (R&Q) assurance in highly regulated industries requires constant navigation of complex regulatory frameworks, with employees handling numerous daily queries demanding accurate policy interpretation. Traditional methods…

In education, open-ended quiz questions have become an important tool for assessing the knowledge of students. Yet, manually preparing such questions is a tedious task, and thus automatic question generation has been proposed as a possible…

Computation and Language · Computer Science 2021-08-31 Kristiyan Vachev , Momchil Hardalov , Georgi Karadzhov , Georgi Georgiev , Ivan Koychev , Preslav Nakov

Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling. Risk models capture fragments of the space of risky events likely to occur…

Software Engineering · Computer Science 2025-03-21 Mario Gleirscher

Since the early 2000' years, the CubeSats have been growing and getting more and more "space" in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access the space, provide…

Software Engineering · Computer Science 2021-02-25 Carlos Leandro Gomes Batista , Fátima Mattiello-Francisco

Recent question generation (QG) approaches often utilize the sequence-to-sequence framework (Seq2Seq) to optimize the log-likelihood of ground-truth questions using teacher forcing. However, this training objective is inconsistent with…

Computation and Language · Computer Science 2020-11-03 Yuxi Xie , Liangming Pan , Dongzhe Wang , Min-Yen Kan , Yansong Feng

Requirements engineering (RE) in the space industry is inherently complex, demanding high precision, alignment with rigorous standards, and adaptability to mission-specific constraints. Smaller space organisations and new entrants often…

Software Engineering · Computer Science 2025-07-11 Chetan Arora , Fanyu Wang , Chakkrit Tantithamthavorn , Aldeida Aleti , Shaun Kenyon

Space agencies execute complex satellite operations that need to be supported by the technical knowledge contained in their extensive information systems. Knowledge bases (KB) are an effective way of storing and accessing such information…

Artificial Intelligence · Computer Science 2023-06-01 Paul Darm , Antonio Valerio Miceli-Barone , Shay B. Cohen , Annalisa Riccardi

Well-calibrated model confidence scores can improve the usefulness of text generation models. For example, users can be prompted to review predictions with low confidence scores, to prevent models from returning bad or potentially dangerous…

Computation and Language · Computer Science 2025-06-16 Lorenzo Jaime Yu Flores , Ori Ernst , Jackie Chi Kit Cheung

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure…

Software Engineering · Computer Science 2012-06-25 Ulisses Araujo Costa , Daniela da Cruz , Pedro Rangel Henriques

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we…

Systems and Control · Electrical Eng. & Systems 2022-05-17 Ali Baheri , Hao Ren , Benjamin Johnson , Pouria Razzaghi , Peng Wei

For safe and reliable deployment in the real world, autonomous agents must elicit appropriate levels of trust from human users. One method to build trust is to have agents assess and communicate their own competencies for performing given…

Robotics · Computer Science 2022-06-22 Aastha Acharya , Rebecca Russell , Nisar R. Ahmed

We introduce a novel method of generating synthetic question answering corpora by combining models of question generation and answer extraction, and by filtering the results to ensure roundtrip consistency. By pretraining on the resulting…

Computation and Language · Computer Science 2019-06-14 Chris Alberti , Daniel Andor , Emily Pitler , Jacob Devlin , Michael Collins
‹ Prev 1 2 3 10 Next ›