Fuzz testing is an automated testing technique that is recognized for its efficiency and scalability. Despite its advantages, the growing complexity and scale of software has made testing software adequately increasingly challenging. If fuzz ...

• We propose prescriptive procedure for manual code smell annotation.
• We built high-quality dataset suitable for training ML models for code smell detection.
• C# dataset for data Class, feature envy and refused bequest code smell is ...

– Code smells are structures in code that present potential software maintainability issues. Manually constructing high-quality datasets to train ML models for code smell detection is challenging. Inconsistent annotations, small size, non-...

Enhancing software reliability, dependability, and security requires effective identification and mitigation of defects during early development stages. Software defect prediction (SDP) models have emerged as valuable tools for this purpose. ...

• Introducing an evaluation framework MATTER to address the challenge of evaluating performance in software defect prediction (SDP) models.
• Surprising findings using MATTER: Recent representative SDP models did not significantly ...

In this paper, we report on our 7 years of practical experience designing, developing, deploying, using, and evolving an iterative Model-based Requirements Engineering (MBRE) approach and language in the context of five large European ...

The eXtensible Access Control Markup Language (XACML) is a popular OASIS standard for the specification of fine-grained access control policies. However, the standard does not provide a proper solution for the verification of XACML access control ...

• XACML2mCRL2 automatically converts XACML policies into mCRL2 specifications that can be analyzed using the mCRL2 toolset.
• XACML2mCRL2 requires no installation and can be executed on various operating systems such as Windows, Linux, ...

Over the years, UML has become the de facto modeling language used in conceptual design and systems design leading to its adoption in computer science university courses. To improve learning outcomes, motivation, and fun of students learning ...

• An open-source gamification-based UML learning environment in Virtual Reality, called GaMoVR.
• GaMoVR is an immersive and interactive gamification-based UML learning environment.
• GaMoVR provides minigames and multi-viewpoint ...

Accessible design focuses on enabling as many people as possible to access software products and services, which has drawn extensive attention from software engineering researchers and developers. Currently, developers are improving the ...

• Study the relationship between accessibility and attributes.
• Summary how developers address accessibility problems.
• Create a reliable dataset.

Effective test code refactoring is essential for maintaining the quality and efficiency of software development. Automated support for test code refactoring can significantly enhance its cost-effectiveness. However, there is limited evidence on ...

• Reaching effective test smell refactoring demands automated support.
• The RAIDE tool allows users to detect and refactor two test smells: Assertion Roulette and Duplicate Assert.
• The study provides an empirical comparison of the ...

As the complexity of safety-critical systems increases, it becomes more and more challenging to assure that these systems will operate safely and reliably. This has led to the development of industry-specific safety standards that regulate the ...

The digital age is changing the role of educators and pushing for a paradigm shift in the education system. By formalizing a learning framework that considers the perspectives of both teachers and students, taking into account their unique needs ...

• PolyGloT helps educators to improve the learner's motivation, make the learning process an enjoyable experience.
• The educator design tool provides useful abstraction to allow them to define the learning paths naturally while remaining ...