We consider the problem of ramifications, i.e., indirect effects of actions, having exceptions. It is argued that straightforward minimization of abnormality is insufficient in th...
A deeper understanding of quantum effects in nano-electronic devices helps to improve the functionality and to develop new device types. The performance of carbon nanotube (CNT) f...
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...