Artem Alimarine is an author at Radboud University Nijmegen specializing in computer science, program analysis, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware DesignTest AutomationSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2001–2005
3
3
GAST: Generic Automated Software Testing
Pieter Koopman, Artem Alimarine, Jan Tretmans et al. · 2003 · 42 citations
Artem Alimarine, Sjaak Smetsers, Arjen van Weelden et al. · 2005 · 37 citations
A Generic Programming Extension for Clean
Artem Alimarine, Rinus Plasmeijer · 2001 · 19 citations
Rows per page
1–3 of 3