FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps
Open Access
- 2 October 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 46-57
Abstract
No abstract availableAll Related Versions
Funding Information
- National Science Foundation (2103794)
- National Science Foundation (2312991)
- National Science Foundation (2551201)
This publication has 21 references indexed in Scilit:
- RepairAgent: An Autonomous, LLM-Based Agent for Program Repair2025
- Bugs in large language models generated code: an empirical studyEmpirical Software Engineering, 2025
- Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification2024
- Robula+: an algorithm for generating robust XPath locators for web testingJournal of Software: Evolution and Process, 2016
- The Oracle Problem in Software Testing: A SurveyIEEE Transactions on Software Engineering, 2015
- GUITAR: an innovative tool for automated testing of GUI-driven softwareAutomated Software Engineering, 2013
- Crawling Ajax-Based Web Applications through Dynamic Analysis of User Interface State ChangesACM Transactions on the Web, 2012
- EvoSuite2011
- Invariant-Based Automatic Testing of Modern Web ApplicationsIEEE Transactions on Software Engineering, 2011
- End-user software engineering with assertions in the spreadsheet paradigm2003