Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Fairness testing: testing software for discrimination
This paper defines software fairness and discrimination and develops a testing-based
method for measuring if and how much software discriminates, focusing on causality in …
method for measuring if and how much software discriminates, focusing on causality in …
Software fairness
A goal of software engineering research is advancing software quality and the success of
the software engineering process. However, while recent studies have demonstrated a new …
the software engineering process. However, while recent studies have demonstrated a new …
Strategies for product-line verification: case studies and experiments
Product-line technology is increasingly used in mission-critical and safety-critical
applications. Hence, researchers are develo** verification approaches that follow different …
applications. Hence, researchers are develo** verification approaches that follow different …
Scalable analysis of variable software
The advent of variability management and generator technology enables users to derive
individual variants from a variable code base based on a selection of desired configuration …
individual variants from a variable code base based on a selection of desired configuration …
On essential configuration complexity: Measuring interactions in highly-configurable systems
Quality assurance for highly-configurable systems is challenging due to the exponentially
growing configuration space. Interactions among multiple options can lead to surprising …
growing configuration space. Interactions among multiple options can lead to surprising …
VarFix: balancing edit expressiveness and search effectiveness in automated program repair
Automatically repairing a buggy program is essentially a search problem, searching for code
transformations that pass a set of tests. Various search strategies have been explored, but …
transformations that pass a set of tests. Various search strategies have been explored, but …
SPLat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Many programs can be configured through dynamic and/or static selection of configuration
variables. A software product line (SPL), for example, specifies a family of programs where …
variables. A software product line (SPL), for example, specifies a family of programs where …
Toward variability-aware testing
We investigate how to execute a unit test for all products of a product line without generating
each product in isolation in a brute-force fashion. Learning from variability-aware analyses …
each product in isolation in a brute-force fashion. Learning from variability-aware analyses …
Tool demo: testing configurable systems with featureIDE
Most software systems are designed to provide custom functionality using configuration
options. Testing such systems is challenging as running tests of a single configuration is …
options. Testing such systems is challenging as running tests of a single configuration is …
Faster variational execution with transparent bytecode transformation
Variational execution is a novel dynamic analysis technique for exploring highly
configurable systems and accurately tracking information flow. It is able to efficiently analyze …
configurable systems and accurately tracking information flow. It is able to efficiently analyze …