Automated Software Engineering
The growing adoption of declarative software specification languages, coupled with their inherent difficulty in debugging, has underscored the need for effective and automated repair techniques applicable to such languages. Researchers have recently explored various methods to automatically repair declarative software specifications, such as template-based repair, feedback-driven iterative repair, and bounded exhaustive approaches. The latest developments in Large Language Models (LLMs) provide new opportunities for the automatic repair of declarative specifications.
- Categories:
227 Views
The dataset is based on the latent faults detected by the popular OSS static code analysis tool, sonarQube Community Edition. The dataset is populated using the latent faults found in popular Java software from the open source repository GitHub . This dataset was specifically developed to identify the significant latent faults that affect the reliability of Java programs. This dataset can be used in its current form to conduct experiments with machine learning algorithms and to infer new reliability characteristics of Java programs. Please refer to the documents associated with sona
- Categories:
15 Views
This data set contains 120 text files describing the functional requirements written in natural language (English) for various software systems, such as educational, business, and hospitality settings. The dataset is ready for all text processing such as learning and extracting conceptual models.
- Categories:
2829 Views
FARLEAD2 receives a test scenario from the developer, and verifies a related functional behavior by witnessing the test scenario in the Application Under Test, on a real mobile device. The 'results.zip' file contains 204 Comma-Separated Values (CSV) files and a Perl script 'createtable.pl' that generates Table 2 in the manuscript. Each CSV file contains the results of ten runs of a witness generator for a test scenario under a given level of information. The experimental test scenarios are located in the 'scenarios.zip' file.
- Categories:
10 Views
The dataset contains Software Development Effort Estimation (SDEE) metrics values extracted from around 1800 Open Source Software (OSS) repositories of GitHub.
- Categories:
4222 Views