English
Related papers

Related papers: Semantics-based Automated Web Testing

200 papers

The Semantic Table Annotation (STA) task, which includes Column Type Annotation (CTA) and Cell Entity Annotation (CEA), maps table contents to ontology entities and plays important roles in various semantic applications. However, complex…

Computation and Language · Computer Science 2025-08-19 Yilin Geng , Shujing Wang , Chuan Wang , Keqing He , Yanfei Lv , Ying Wang , Zaiwen Feng , Xiaoying Bai

Question generation is a conditioned language generation task that consists in generating a context-aware question given a context and the targeted answer. Train language modelling with a mere likelihood maximization has been widely used…

Computation and Language · Computer Science 2021-10-14 Loïc , Kwate Dassi

Software testing is essential to ensure system quality, but it remains time-consuming and error-prone when performed manually. Although recent advances in Large Language Models (LLMs) have enabled automated test generation, most existing…

Software Engineering · Computer Science 2025-10-02 Elvis Júnior , Alan Valejo , Jorge Valverde-Rebaza , Vânia de Oliveira Neves

The paper presents an approach to semantic grounding of language models (LMs) that conceptualizes the LM as a conditional model generating text given a desired semantic message formalized as a set of entity-relationship triples. It embeds…

Computation and Language · Computer Science 2022-11-17 Chris Alberti , Kuzman Ganchev , Michael Collins , Sebastian Gehrmann , Ciprian Chelba

Tags assigned by users to shared content can be ambiguous. As a possible solution, we propose semantic tagging as a collaborative process in which a user selects and associates Web resources drawn from a knowledge context. We applied this…

Digital Libraries · Computer Science 2013-04-08 Bernhard Haslhofer , Werner Robitza , Carl Lagoze , Francois Guimbretiere

The project presented in this article aims to formalize criteria and procedures in order to extract semantic information from parsed dictionary glosses. The actual purpose of the project is the generation of a semantic network (nearly an…

Computation and Language · Computer Science 2013-05-20 Daniel Christen

Taaable is a case-based reasoning system that adapts cooking recipes to user constraints. Within it, the preparation part of recipes is formalised as a graph. This graph is a semantic representation of the sequence of instructions composing…

Artificial Intelligence · Computer Science 2012-09-26 Valmi Dufour-Lussier , Florence Le Ber , Jean Lieber , Thomas Meilender , Emmanuel Nauer

Ensuring and validating the safe operation of automated vehicles are key challenges for their market launch. Scenario-based development and test approaches are currently being pursued as possible solutions. An essential prerequisite for…

Software Engineering · Computer Science 2021-11-23 Markus Steimle , Till Menzel , Markus Maurer

The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation…

Programming Languages · Computer Science 2025-10-15 Roberto M. Amadio

Thinking of todays web search scenario which is mainly keyword based, leads to the need of effective and meaningful search provided by Semantic Web. Existing search engines are vulnerable to provide relevant answers to users query due to…

Information Retrieval · Computer Science 2013-11-26 Debajyoti Mukhopadhyay , Manoj Sharma , Gajanan Joshi , Trupti Pagare , Adarsha Palwe

Defining test oracles is crucial and central to test development, but manual construction of oracles is expensive. While recent neural-based automated test oracle generation techniques have shown promise, their real-world effectiveness…

Software Engineering · Computer Science 2023-08-29 Soneya Binta Hossain , Antonio Filieri , Matthew B. Dwyer , Sebastian Elbaum , Willem Visser

We propose AutoQA, a methodology and toolkit to generate semantic parsers that answer questions on databases, with no manual effort. Given a database schema and its data, AutoQA automatically generates a large set of high-quality questions…

Computation and Language · Computer Science 2021-06-09 Silei Xu , Sina J. Semnani , Giovanni Campagna , Monica S. Lam

Many recent works aim at developing methods and tools for the processing of semantic Web services. In order to be properly tested, these tools must be applied to an appropriate benchmark, taking the form of a collection of semantic WS…

Software Engineering · Computer Science 2015-02-04 Cihan Aksoy , Vincent Labatut , Chantal Cherifi , Jean-François Santucci

Recent advancements in generative artificial intelligence have introduced groundbreaking approaches to innovating next-generation semantic communication, which prioritizes conveying the meaning of a message rather than merely transmitting…

Artificial Intelligence · Computer Science 2025-05-19 Achintha Wijesinghe , Weiwei Wang , Suchinthaka Wanninayaka , Songyang Zhang , Zhi Ding

LLM agents are increasingly deployed to automate real-world tasks by invoking APIs through natural language instructions. While powerful, they often suffer from misinterpretation of user intent, leading to the agent's actions that diverge…

Software Engineering · Computer Science 2025-10-27 Shiwei Feng , Xiangzhe Xu , Xuan Chen , Kaiyuan Zhang , Syed Yusuf Ahmed , Zian Su , Mingwei Zheng , Xiangyu Zhang

This paper introduces the TAI Scan Tool, a RAG-based TAI self-assessment tool with minimalistic input. The current version of the tool supports the legal TAI assessment, with a particular emphasis on facilitating compliance with the AI Act.…

Artificial Intelligence · Computer Science 2025-09-18 Athanasios Davvetas , Xenia Ziouvelou , Ypatia Dami , Alexios Kaponis , Konstantina Giouvanopoulou , Michael Papademas

Neural networks increasingly run on hardware outside the user's control (cloud GPUs, inference marketplaces). Yet ML-as-a-Service reveals little about what actually ran or whether returned outputs faithfully reflect the intended inputs.…

Cryptography and Security · Computer Science 2026-03-03 Jianzhu Yao , Hongxu Su , Taobo Liao , Zerui Cheng , Huan Zhang , Xuechao Wang , Pramod Viswanath

Text documents, including programs, typically have human-readable semantic structure. Historically, programmatic access to these semantics has required explicit in-document tagging. Especially in systems where the text has an execution…

Computation and Language · Computer Science 2024-03-07 Edward Misback , Zachary Tatlock , Steven L. Tanimoto

The provision of natural language explanations for the predictions of deep-learning-based vehicle controllers is critical as it enhances transparency and easy audit. In this work, a state-of-the-art (SOTA) prediction and explanation model…

Computation and Language · Computer Science 2023-04-18 Marc Alexander Kühn , Daniel Omeiza , Lars Kunze

The effectiveness of a test suite in detecting faults highly depends on the correctness and completeness of its test oracles. Large Language Models (LLMs) have already demonstrated remarkable proficiency in tackling diverse software testing…

Software Engineering · Computer Science 2024-05-22 Facundo Molina , Alessandra Gorla