Software Engineering · Computer Science
WebTestBench: Evaluating Computer-Use Agents towards End-to-End Automated Web Testing
Fanheng Kong, Jingyuan Zhang, Yang Yue, Chenxi Sun +9
2026-03-27
Human-Computer Interaction · Computer Science
WebAccessVL: Violation-Aware VLM for Web Accessibility
Amber Yijia Zheng, Jae Joong Lee, Bedrich Benes, Raymond A. Yeh
2026-03-12
Software Engineering · Computer Science
WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
Xiwen Teoh, Yun Lin, Duc-Minh Nguyen, Ruofei Ren +2
2026-04-24
Computation and Language · Computer Science
OpenFactCheck: Building, Benchmarking Customized Fact-Checking Systems and Evaluating the Factuality of Claims and LLMs
Yuxia Wang, Minghan Wang, Hasan Iqbal, Georgi Georgiev +2
2025-10-30
Cryptography and Security · Computer Science
Verifying Search Results Over Web Collections
Michael T. Goodrich, Duy Nguyen, Olga Ohrimenko, Charalampos Papamanthou +3
2012-12-19
Cryptography and Security · Computer Science
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta +2
2022-09-02
Programming Languages · Computer Science
VeriFly: On-the-fly Assertion Checking via Incrementality
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, Jose F. Morales +2
2021-08-18
Software Engineering · Computer Science
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs +7
2024-09-04
Logic in Computer Science · Computer Science
Debugging of Web Applications with Web-TLR
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina +1
2011-08-12
Software Engineering · Computer Science
Automatic Web Testing using Curiosity-Driven Reinforcement Learning
Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu +3
2021-03-11
Logic in Computer Science · Computer Science
VEL: A Formally Verified Reasoner for OWL2 EL Profile
Atalay Mert Ileri, Nalen Rangarajan, Jack Cannell, Hande McGinty
2024-12-13
Software Engineering · Computer Science
Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
Jun Liu, Yuanyuan Xie, Jiwei Yan, Jinhao Huang +2
2025-07-18
Computer Vision and Pattern Recognition · Computer Science
WebVLN: Vision-and-Language Navigation on Websites
Qi Chen, Dileepa Pitawela, Chongyang Zhao, Gengze Zhou +2
2023-12-27
Computation and Language · Computer Science
OpenFactCheck: A Unified Framework for Factuality Evaluation of LLMs
Hasan Iqbal, Yuxia Wang, Minghan Wang, Georgi Georgiev +3
2025-10-30
Computation and Language · Computer Science
WebVoyager: Building an End-to-End Web Agent with Large Multimodal Models
Hongliang He, Wenlin Yao, Kaixin Ma, Wenhao Yu +4
2024-06-10
Software Engineering · Computer Science
WybeCoder: Verified Imperative Code Generation
Fabian Gloeckle, Mantas Baksys, Darius Feher, Kunhao Zheng +4
2026-04-16
Artificial Intelligence · Computer Science
BrowseComp-$V^3$: A Visual, Vertical, and Verifiable Benchmark for Multimodal Browsing Agents
Huanyao Zhang, Jiepeng Zhou, Bo Li, Bowen Zhou +21
2026-02-25
Computation and Language · Computer Science
EviSearch: A Human in the Loop System for Extracting and Auditing Clinical Evidence for Systematic Reviews
Naman Ahuja, Saniya Mulla, Muhammad Ali Khan, Zaryab Bin Riaz +4
2026-04-22
Information Retrieval · Computer Science
WebWatcher: Breaking New Frontier of Vision-Language Deep Research Agent
Xinyu Geng, Peng Xia, Zhen Zhang, Xinyu Wang +10
2025-09-03