17 citations · 19 across the 4 of their papers we have counts for
5 papers · 1 filter
Whodunit: Classifying Code as Human Authored or GPT-4 Generated -- A case study on CodeChef problems
Oseremen Joy Idialu, Noble Saji Mathews, Rungroj Maipradit +2
Artificial intelligence (AI) assistants such as GitHub Copilot and ChatGPT, built on large language models like GPT-4, are revolutionizing how programming tasks are performed, rais…
Comprehending Variability in Analysis Results of Software Product Lines
Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong
Analyses of a software product line (SPL) typically report variable results that are annotated with logical expressions indicating the set of product variants for which the results…
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Ramy Shahin, Robert Hackman, Rafael Toledo +3
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at…
Long-Term Average Cost in Featured Transition Systems
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee +1
A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional…
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
Joanne M. Atlee, Stefania Gnesi
The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a dis…