Thomas Arts

28 papers and 339 indexed citations i.

Thomas Arts has authored 28 papers that have received a total of 339 indexed citations. This includes 15 papers in Software, 9 papers in Artificial Intelligence and 9 papers in Information Systems. The topics of these papers are Software Testing and Debugging Techniques (14 papers), Software Reliability and Analysis Research (8 papers) and Formal Methods in Verification (7 papers). Thomas Arts is often cited by papers focused on Software Testing and Debugging Techniques (14 papers), Software Reliability and Analysis Research (8 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Sweden, Spain and Germany. Thomas Arts's co-authors include John Hughes, Jürgen Giesl, Nicholas Smallbone, Ulf Norell and Simon Thompson and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and IEEE Software