This software delivery includes source code and documentations of the automated verification and validation tool developed under the PETTT BY15-080SP project.
Replication Package of Environmental Variations of Software Features: A Logical Test Cases' Perspective authored by Md Rayhan Amin,Tanmay Bhowmik, Nan Niu, and Juha Savolainen
Aurek Chattopadhyay, Reagan Maddox, Glen Horton, Nan Niu, Ganesh Malla, Tanmay Bhowmik, Jianzhang Zhang, and Juha Savolainen, Completeness of Natural Language Requirements: A Comparative Study of User Stories and Feature Descriptions (submitted to REFSQ 2023: https://2023.refsq.org)
Artifacts of the paper entitled:
Prompting Creative Requirements via Traceable and Adversarial Examples in Deep Learning
Authors: Hemanth Gudaparthi, Nan Niu, Boyang Wang, Tanmay Bhowmik, Hui Liu, Jianzhang Zhang, Juha Savolainen, Glen Horton, Sean Crowe, Thomas Scherz and Lisa Haitz
To appear in the Proceedings of the 31st IEEE International Requirements Engineering Conference (RE 2023 https://conf.researchr.org/home/RE-2023)
Artifacts of the paper entitled:
A Study of Natural-Language and Vision-Language GUI Retrieval
Authors: Walaa Alshammari, Yitong Yang, Yinglin Wang, Nan Niu, Tanmay Bhowmik, Padmaja Vaishnavi Teeleti, and Naga Mamata Iluru
The content is:
A-relevance-judging-results.xlsx has five sheets recording the four judges' assessment and their inter-rater agreement levels;
B-GUI-retrieval-answer-set.xlsx specifies the relevance relations between 40 GUI images and 27 NL queries;
C-retrieval-results.xlsx contains top-10 NL-based results in one sheet, and top-5 NL-based and VL-based results in the other four sheets; and
D-human-subject-study-material.pdf documents the five GUI reuse tasks approved by an institutional review board.
D-