| 1. |
|
|
| 2. |
- Abrahao, Silvia, et al.
(författare)
-
Open Source Software: Communities and Quality
- 2023
-
Ingår i: IEEE Software. - 1937-4194 .- 0740-7459. ; 40:4, s. 96-99
-
Tidskriftsartikel (refereegranskat)abstract
- This edition of the Practitioner's Digest features recent papers on open source software related to toxicity in open source discussions, newcomers in open source projects, quality of ansible scripts, code review practices, orphan vulnerabilities in open source software, and the relationship between community and design smells.
|
|
| 3. |
|
|
| 4. |
- Carver, Jeffrey C., et al.
(författare)
-
Behavioral science and diversity in software engineering
- 2021
-
Ingår i: IEEE Software. - 1937-4194 .- 0740-7459. ; 38:2, s. 107-112
-
Tidskriftsartikel (refereegranskat)abstract
- The Practioners' Digest department in this issue of IEEE Software covers two topics: the behavioral science of software engineering and diversity in software engineering (this issue's theme) and includes papers from the 42nd International Conference on Software Engineering (ICSE20), 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME19), 13th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE20), Empirical Software Engineering and Measurement 2020 (ESEM20), and Association for Computing Machinery Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE20). Feedback or suggestions are welcome. In addition, if you try or adopt any of the practices included in this article, please send me and the authors of the paper(s) a note about your experiences.
|
|
| 5. |
- de Almeida Borges, Ana, et al.
(författare)
-
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
- 2023
-
Ingår i: 14th International Conference on Interactive Theorem Proving, ITP 2023. - : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
-
Konferensbidrag (refereegranskat)abstract
- The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and Coq improvements, and also demographic data such as education and experience with Coq and other proof assistants and programming languages. The survey received 466 submitted responses, making it the largest survey of users of an interactive theorem prover (ITP) so far. We present the design of the survey, a summary of key results, and analysis of answers relevant to ITP technology development and usage. In particular, we analyze user characteristics associated with adoption of tools and libraries and make comparisons to adjacent software communities. Notably, we find that experience has significant impact on Coq user behavior, including on usage of tools, libraries, and integrated development environments.
|
|
| 6. |
- Lincke, Rüdiger, 1978-
(författare)
-
Validation of a Standard- and Metric-Based Software Quality Model
- 2009
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The automatic assessment of software quality using standard- and metric-based Software Quality Models has numerous advantages. For example, it is less error-prone, less time consuming, and neutral to human judgments compared to manual approaches. Yet, to rely on the results, the Software Quality Models need to be validated, i.e., experiments should show that the measured quality and the experienced quality correlate. Such validations are rare and the few that exist are hard to generalize since they are ambiguously defined. In detail, to be able to generalize from a validation of a standard- and metric-based Software Quality Model, the following prerequisites need to be fulfilled: First, the definitions of the software quality metrics need to be unambiguous. Second, a formal meta-model for the software assessed and a mapping from the (language specific) software elements to the elements of a formal meta-model need to be defined. Finally, the definition of the Software Quality Model needs to be exact. The prerequisites for generalization stated above are not fulfilled in practice. This is shown in the first part of this thesis, which is at first based on practical observations and then on experiments. In order to address the above issues, we define a common meta-model as well as a mapping from language specific software elements to meta-model elements. This meta-model is then the basis for metrics definitions; we redefine about 25 well-known object-oriented metrics using our meta-model. Using these metrics, we introduce a Software Quality Model based on ISO 9126. It defines quantitatively the relations between the metrics and the quality factors and criteria. Fulfilling the prerequisite unambiguous experiment definition, as described in the second part of this thesis, allows us to validate the Software Quality Model in experiments and generalize from the results. In the third part, we describe the main experiment: Using multicollinearity analysis, we show (i) that some metrics suggested in literature are linearly dependent. Using univariate regression analysis, we show (ii) that a Software Quality Model for maintainability based on the linearly independent metrics correlates with the number of revisions in successful open source projects--later revisions have better maintainability than earlier ones. Using multivariate regression analysis, we show (iii) how these metrics correlate with the number of iterations in the projects. For (i), we analyze 157 different software projects with over 70,000 classes. For (ii) and (iii), we analyze over 300 versions of 11 well-known open source projects. As a side effect, we extracted the distribution and threshold values for the well-known object-oriented metrics defined on classes. Besides, we created tools and processes for monitoring software quality which may be used in a number of scenarios. In the development process, they allow early corrective actions. Under maintenance, they allow a precise assessment of required efforts of change and redevelopment. For project management, they allow to control if subcontractors or outsourced software developers meet the agreed quality goals. We show the feasibility of our tools and processes in a number of such practical cases.
|
|
| 7. |
- Markusse, Florian, et al.
(författare)
-
Towards Continuous Performance Assessment of Java Applications With PerfBot
- 2023
-
Ingår i: 2023 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON BOTS IN SOFTWARE ENGINEERING, BOTSE. - 9798350302127 ; , s. 6-8
-
Konferensbidrag (refereegranskat)abstract
- While many routine tasks in software development are already well supported through widely known open source bots, we currently lack general tools for automated continuous performance assessment. In this short paper, we summarize the results of an earlier study arguing for the benefits of using bots to continuously benchmark software performance, and present the design of a currently under development bot for Java (PerfBot).
|
|
| 8. |
- Markusse, Florian, et al.
(författare)
-
Using Benchmarking Bots for Continuous Performance Assessment
- 2022
-
Ingår i: IEEE Software. - 1937-4194 .- 0740-7459. ; 39:5, s. 50-55
-
Tidskriftsartikel (refereegranskat)abstract
- Benchmarking bots are starting to see use as a productivity tool, helping large open source projects judge whether new code contributions negatively impact performance. We discuss how and why projects use benchmarking bots, and present an in-depth case study of The Nanosoldier bot used by the team behind the Julia programming language.
|
|
| 9. |
- Penzenstadler, Birgit, 1981, et al.
(författare)
-
Bots in Software Engineering
- 2022
-
Ingår i: IEEE Software. - 1937-4194 .- 0740-7459. ; 39:5, s. 101-104
-
Forskningsöversikt (refereegranskat)
|
|
| 10. |
|
|
| 11. |
- Raghuraman, Adithya, et al.
(författare)
-
Does UML modeling associate with lower defect proneness?: A preliminary empirical investigation
- 2019
-
Ingår i: IEEE International Working Conference on Mining Software Repositories. - 2160-1852 .- 2160-1860. ; 2019-May, s. 101-104
-
Konferensbidrag (refereegranskat)abstract
- The benefits of modeling the design to improve the quality and maintainability of software systems have long been advocated and recognized. Yet, the empirical evidence on this remains scarce. In this paper, we fill this gap by reporting on an empirical study of the relationship between UML modeling and software defect proneness in a large sample of open-source GitHub projects. Using statistical modeling, and controlling for confounding variables, we show that projects containing traces of UML models in their repositories experience, on average, a statistically minorly different number of software defects (as mined from their issue trackers) than projects without traces of UML models.
|
|
| 12. |
- Serebrenik, Alexander, et al.
(författare)
-
AI Engineering Research in Software Engineering Venues
- 2022
-
Ingår i: IEEE Software. - 1937-4194 .- 0740-7459. ; 39:6, s. 105-108
-
Tidskriftsartikel (refereegranskat)abstract
- In honor of this issue’s theme of “Artificial Intelligence (AI) Engineering—Realizing the Potential of AI,” this edition of the “Practitioners’ Digest” brings you recent papers on AI and machine learning (ML) engineering, which we believe will be of interest to practitioners. These papers were published in the First International Conference on AI Engineering (CAIN 2022), the 26th International Conference on Evaluation and Assessment in Software Engineering 2022 (EASE 2022), and the 2022 IEEE/Association for Computing Machinery First International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI).
|
|
| 13. |
- Staron, Miroslaw, 1977, et al.
(författare)
-
Human Aspects and Security in Software Development
- 2024
-
Ingår i: IEEE Software. - 1937-4194 .- 0740-7459. ; 41:4, s. 171-174
-
Tidskriftsartikel (refereegranskat)abstract
- This edition of the 'Practitioners' Digest' brings you recent articles on approaches to addressing selected human and technical aspects of software development, from finding security vulnerabilities, system-level testing, to understanding the impact of personality on requirements engineering activities, published at selected software engineering conferences.
|
|
| 14. |
- Staron, Miroslaw, 1977, et al.
(författare)
-
Testing, Debugging, and Log Analysis With Modern AI Tools
- 2024
-
Ingår i: IEEE Software. - 0740-7459 .- 1937-4194. ; 41, s. 99-102
-
Tidskriftsartikel (refereegranskat)abstract
- This edition of the Practitioners Digest covers recent papers employing generative artificial intelligence in support of testing, debugging, and log analysis that were presented at the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) and the 16th IEEE International Conference on Software, Testing, Verification and Validation (ICST 2023). Feedback or suggestions are welcome. In addition, if you try or adopt any of the practices included in the column, please send us and the authors of the paper(s) a note about your experiences.
|
|
