Concept
Code smell
Related publications (15)
Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts
The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...
Los Alamitos2023Block Oriented Programming: Automating Data-Only Attacks
With the widespread deployment of Control-Flow Integrity (CFI), control-flow hijacking attacks, and consequently code reuse attacks, are significantly more difficult. CFI limits control flow to well-known locations, severely restricting arbitrary code exec ...
ASSOC COMPUTING MACHINERY2018Symmetries and optical transitions of hexagonal quantum dots in GaAs/AlGaAs nanowires
We investigate the properties of electronic states and optical transitions in hexagonal GaAs quantum dots within Al0.3Ga0.7As nanowires, grown in axial direction [111]. Such dots are particularly interesting due to their high degree of symmetry. A streamli ...
Amer Physical Soc2015Automated refactoring for size reduction of CSS style sheets
Cascading Style Sheets (CSS) is a standard language for stylizing and formatting web documents. Its role in web user experience becomes increasingly important. However, CSS files tend to be designed from a result-driven point of view, without much attentio ...
2014Functional synthesis for linear arithmetic and sets
Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a well-defin ...
Springer Berlin Heidelberg2013Model refactoring using transformations
Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstracti ...
EPFL2008Deprogramming Large Software Systems
Developers turn ideas, designs and patterns into source code, then compile the source code into executables. Decompiling turns executables back into source code, and deprogramming turns code back into designs and patterns. In this paper we introduce DeP, a ...
2008Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in objectoriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but ne ...
2008Synchronizing Refactored UML Class Diagrams and OCL Constraints
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically updated each time the underlying diagram is refactored. All our refactoring ...
TU Berlin Technical Report, ISSN 1436-99152007A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules
Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current software model and transforms it into a new model. Ideally, ...
2006