1 citations · 1 across the 8 of their papers we have counts for
11 papers
QuickerChick
Ivan Mladenov, Alperen Keles, Leonidas Lampropoulos
Property-based testing (PBT) with QuickChick relies on extracting Rocq programs to OCaml. However, this extraction mechanism, while crucial for QuickChick to function, has signific…
Evaluating Shrinking (Experience Report)
Alperen Keles, George Miao, Leonidas Lampropoulos
Property-based testing frameworks rely on shrinking to turn noisy random failures into counterexamples that developers can debug. Although bug-finding performance is routinely meas…
DIRT: Database-Integrated Random Testing
Alperen Keles, Ethan Chou, Harrison Goldstein +1
Database management systems (DBMSs) are notoriously complex, making them difficult to test effectively, especially during early development when many features are incomplete. Tradi…
A Declarative Framework for Hand-Crafted Mutation Analysis and Management
Alperen Keles
Hand-crafted mutants are increasingly used to evaluate fuzzing and property-based testing tools, but current tooling is fragmented and often forces trade-offs between readability,…
Etna: An evaluation platform for property-based testing
Alperen Keles, Jessica Shi, Nikhil Kamath +5
Property-based testing is a mainstay of functional programming, boasting a rich literature, an enthusiastic user community, and an abundance of tools~ -- so many, indeed, that new…
ISTQB Certifications Under the Lens: Their Contributions to the Software-Testing Profession; and AI-assisted Synthesis of Practitioners' Endorsements and Criticisms
Vahid Garousi, Alper Buğra Keleş, Sevde Değirmenci
Context: The International Software Testing Qualifications Board (ISTQB) certification dominates global software testing practice, with 1.2+ million certifications issued across 13…
Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert +2
Property-based testing (PBT) is a popular technique for establishing confidence in software, where users write properties -- i.e., executable specifications -- that can be checked…
MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
Vahid Garousi, Alper Buğra Keleş, Yunus Balaman +4
Context: Model-Based Testing (MBT) was first introduced in 1970's, and has the potential to improve efficiency and effectiveness of testing. However, its adoption-especially for we…
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
Vahid Garousi, Alper Buğra Keleş, Yunus Balaman +2
There are many widely used tools for measuring test-coverage and code-coverage. Test coverage is the ratio of requirements or other non-code artifacts covered by a test suite, whil…
A pragmatic look at education and training of software test engineers: Further cooperation of academia and industry is needed
Vahid Garousi, Alper Buğra Keleş
Alongside software testing education in universities, a great extent of effort and resources are spent on software-testing training activities in industry. For example, there are s…
Model-based testing in practice: An experience report from the web applications domain
Vahid Garousi, Alper Buğra Keleş, Yunus Balaman +2
In the context of a large software testing company, we have deployed the model-based testing (MBT) approach to take the company's test automation practices to higher levels of matu…