150 citations
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- National Institute of InformaticsJP2 papers
- Carnegie Mellon UniversityUS1 paper
- Dongguan University of TechnologyCN1 paper
- Guangxi Normal UniversityCN1 paper
- Shenzhen UniversityCN1 paper
- Trinity College DublinIE1 paper
- University Town of ShenzhenCN1 paper
5 papers
Solving QBF with Counterexample Guided Refinement
Mikoláš Janota, William Klieber, Joao Marques-Silva +1
We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive…
Solving QBF by Clause Selection
Mikoláš Janota, Joao Marques-Silva
Algorithms based on the enumeration of implicit hitting sets find a growing number of applications, which include maximum satisfiability and model based diagnosis, among others. Th…
Audio-to-Score Transcription using Pre-trained Features, Data Augmentation, and the New SheetSage-A2S Dataset
Eoin Cummins, Zhongyi Huang, Alexandre D'Hooge +3
Existing audio-to-score (A2S) systems primarily focus on classical music, and the application to popular music remains underexplored. This paper first presents the new SheetSage-A2…
Improving Mobile User Interface Testing with Model Driven Monkey Search
Jordan Doyle, Takfarinas Saber, Paolo Arcaini +1
Testing mobile applications often relies on tools, such as Exerciser Monkey for Android systems, that simulate user input. Exerciser Monkey, for example, generates random events (e…
Modelling Android applications through static analysis and systematic exploratory testing
Jordan Doyle, Thomas Laurent, Anthony Ventresque
Mobile application development is a fast paced industry with frequent releases. While the development pace increases, so too does the need for automated test generation. Model-base…