Colin Atkinson
The ability of Generative AI (GAI) technology to automatically check, synthesize and modify software engineering artifacts promises to revolutionize all aspects of software engineering. Using GAI for software engineering tasks is…
Generative AI (GAI) holds great potential to improve software engineering productivity, but its untrustworthy outputs, particularly in code synthesis, pose significant challenges. The need for extensive verification and validation (V&V) of…
We present a simplified, rapid, and accurate method for the measurement of the thermoelectric Thomson coefficient by the dynamical heating of a suspended wire by an alternating current. By applying a temperature gradient across the wire, we…
In this work we analyse a stochastic control problem for the valuation of a natural gas power station while taking into account operating characteristics. Both electricity and gas spot price processes exhibit mean-reverting spikes and…
Dedicated software search engines that index open source software repositories or in-house software assets significantly enhance the chance of finding software components suitable for reuse. However, they still leave the work of evaluating…