UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsPapers accepted (Petra van den Bos, Tannaz Zameni, Humaid Mollah)

Papers accepted (Petra van den Bos, Tannaz Zameni, Humaid Mollah) at A-MOST 2023 and at INTUITESTBEDS 2023

Accepted at A-MOST 2023
'From BDD Scenarios to Test Case Generation', Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink. 
Accepted at INTUITESTBEDS 2023:
'From User Stories to End-to-end Web Testing', Humaid Mollah, Petra van den Bos.