Results 51 to 60 of about 4,536 (221)
A Certified Refactoring Engine [PDF]
The paper surveys how software tools such as refactoring systems can be validated, and introduces a new mechanism, namely the extraction of a refactoring engine for a functional programming language from an Isabelle/HOL theory in which it is verified ...
Thompson, Simon, Sultana, Nik
core
Improved Testing Through Refactoring: Experience from the ProTest project [PDF]
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the identification of properties for property-based testing and the definition ...
Huiqing Li +3 more
core +1 more source
Reducing redundancy of test cases generation using code smell detection and refactoring
In software development life cycle (SDLC), the testing phase is important to test the functionalities of any software. In this phase, test cases are generated to test software functionalities. This paper presents an approach on how to detect and refactor
Rosziati Ibrahim +3 more
doaj +1 more source
Estimating Efforts for Various Activities in Agile Software Development: An Empirical Study
Effort estimation is an important practice in agile software development. The agile community believes that developers’ estimates get more accurate over time due to the cumulative effect of learning from short and frequent feedback. However, there
Lan Cao
doaj +1 more source
Non-atomic refactoring and software sustainability [PDF]
Sustainability is the ability of a project / codebase / organization to react to necessary changes over its expected lifespan. At a large enough scale, or with enough disconnect between dependencies, sustainability comes from application of both technical and non-technical approaches.
openaire +1 more source
The Big Data Science Center at the Shanghai Synchrotron Radiation Facility has developed a user‐friendly centralized superfacility platform that integrates the entire large scientific facility lifecycle into a single accessible solution for users, while ensuring that the data lifecycle remains compliant with the findability, accessibility ...
Xiaoyun Li +10 more
wiley +1 more source
A Domain-Specific Language for Scripting Refactorings in Erlang [PDF]
Refactoring is the process changing the design of a program without changing its behaviour. Many refactoring tools have been developed for various programming languages; while these told support primitive, atomic refactorings, support for composite ...
Huiqing Li +3 more
core +1 more source
Afatinib and osimertinib showed broadly comparable survival outcomes as first‐line therapy for NSCLC with uncommon EGFR mutations. Treatment may be individualized by mutation subtype, while adding immune checkpoint inhibition to platinum doublet after EGFR‐TKI showed no clear benefit.
Yutaro Nagano +21 more
wiley +1 more source
Can LLMs Simulate Target Users in Visualization Case Studies?
Abstract Case studies are central to evaluating visualization research as they provide evidence for how the developed approaches support real users, real analytical work, and real data. Conducting such studies can be challenging, since target users with relevant domain expertise are often scarce or even entirely unavailable, while the visualization ...
Jena Satkunarajan +4 more
wiley +1 more source
Clone Detection and Elimination for Haskell [PDF]
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code makes maintenance and code understanding more complex and time consuming.
Brown, Christopher Mark +4 more
core +1 more source

