Items where authors include "Galeotti, J.P."

Article

Galeotti, J.P., Furia, C.A., May, E. et al. (2 more authors) (2015) Inferring loop invariants by mutation, dynamic analysis, and static checking. IEEE Transactions on Software Engineering, 41 (10). 1019 - 1037. ISSN 0098-5589

Proceedings Paper

Arcuschin, I., Ciccaroni, C., Galeotti, J.P. et al. (1 more author) (2022) On the feasibility and challenges of synthesizing executable Espresso tests. In: Garrido, A. and Wong, W.E., (eds.) AST '22: Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test. AST '22: IEEE/ACM 3rd International Conference on Automation of Software Test, 17-18 May 2022, Pittsburgh, PA, USA. Association for Computing Machinery , pp. 92-102. ISBN 9781450392860