Results 71 to 80 of about 42,100 (284)

Towards Trustworthy Refactoring in Erlang [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Tool-assisted refactoring transformations must be trustworthy if programmers are to be confident in applying them on arbitrarily extensive and complex code in order to improve style or efficiency.
Dániel Horpácsi, Judit Kőszegi, Simon Thompson   +2 more
doaj   +1 more source

Quickchecking refactoring tools [PDF]

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010
Refactoring is the transformation of program source code in a way that preserves the behaviour of the program. Many tools exist for automating a number of refactoring steps, but these tools are often poorly tested. We present an automated testing framework based on QuickCheck for testing refactoring tools written for the Erlang programming language.
Dániel Drienyovszky, Dániel Horpácsi, Simon Thompson   +2 more
openaire   +2 more sources

A survey of software refactoring [PDF]

IEEE Transactions on Software Engineering, 2004
We provide an extensive overview of existing research in the field of software refactoring. This research is compared and discussed based on a number of different criteria: the refactoring activities that are supported, the specific techniques and formalisms that are used for supporting these activities, the types of software artifacts that are being ...
Mens, Tom, Tourwé, Tom
openaire   +2 more sources

Refactoring, reengineering and evolution: paths to Geant4 uncertainty quantification and performance improvement

, 2012
Ongoing investigations for the improvement of Geant4 accuracy and computational performance resulting by refactoring and reengineering parts of the code are discussed.
Batic, M., Begalli, M., Han, M., Hauf, S., Hoff, G., Kim, C. H., Kuster, M., Pia, M. G., Saracco, P., Seo, H., Weidenspointner, G., Zoglauer, A.   +11 more
core   +1 more source

On the relationship between refactoring actions and bugs: a differentiated replication [PDF]

ESEC/SIGSOFT FSE, 2020
Software refactoring aims at improving code quality while preserving the system's external behavior. Although in principle refactoring is a behavior-preserving activity, a study presented by Bavota etal in 2012 reported the proneness of some refactoring ...
M. D. Penta, G. Bavota, Fiorella Zampetti   +2 more
semanticscholar   +1 more source

Safer Refactorings

, 2016
Refactorings often require semantic correctness conditions that amount to software model checking. However, IDEs such as Eclipse’s Java Development Tools implement far simpler checks on the structure of the code. This leads to the phenomenon that a seemingly innocuous refactoring can change the behaviour of the program. In this paper we demonstrate our
Eilertsen, Anna Maria, Bagge, Anya Helene, Stolz, Volker   +2 more
openaire   +2 more sources

Graphitized Biochar Derived from Agricultural Wastes Enhances Methanogenesis via Conductivity‐Driven Direct Interspecies Electron Transfer

Advanced Science, EarlyView.
This work clarifies how feedstocks and their structural features promote methanogenesis, and identifies the key regulatory factors, reducing pollution to the global environment, and also helps to alleviate the energy crisis. This is the first study to systematically link feedstock lignin content, pyrolysis conditions, biochar graphitization, and DIET ...
Caiyun Yang, Zhen Liu, Weiguo Liu, Yuxin Qiu, Shuai Zhang, Xinke Zhang, Mengyi Wang, Heng Wu, Hongyi Lyu, Jinzhi Huang, Jia Liu, Yirong Wang, Siying He, Dongze Gu, Xiaohui Guo, Xuanmin Yang, Teng Xie, Heyu Chen, Yiqing Yao   +18 more
wiley   +1 more source

Refactoring for Java-Structured Concurrency

Applied Sciences
Structured concurrency treats multiple tasks running in different threads as a single unit, thereby improving reliability and enhancing observability. The existing IDE (Integrated Development Environment) does not provide sufficient support to leverage ...
Yang Zhang, Gaojie Shen, Liyan Zhang, Meiyan Zheng, Kun Zheng   +4 more
doaj   +1 more source

Mutation Testing as a Safety Net for Test Code Refactoring

, 2015
Refactoring is an activity that improves the internal structure of the code without altering its external behavior. When performed on the production code, the tests can be used to verify that the external behavior of the production code is preserved ...
Beck K., Budd T. A., Deursen, Fowler M., Ma Yu-Seung, Marick B., Meszaros G., Offutt A. J., Opdyke W. F., Parsai A., Pipka J. U., Rompaey B. V., van Deursen A., Yin R. K.   +13 more
core   +1 more source

Artificial Intelligences: A Bridge Toward Diverse Intelligence and Humanity's Future

Advanced Intelligent Systems, EarlyView.
Many discussions of artificial intelligence fail to address deeper questions being raised by advances in developmental biology, neuroscience, bioengineering, and philosophy of mind. Novel beings, including technologically and biologically augmented humans, engineered life forms, hybrots, and others, require tools of the emerging field of diverse ...
Michael Levin
wiley   +1 more source