1
Publications
27
Citations
1
H-Index
2016
Active since
Affiliations
Ivan Rubil is an author at Anstalt für Verbrennungskraftmaschinen List (Austria) specializing in formal verification, software engineering, and computer engineering.
Top concepts
EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringSoftware Engineering
Publications per year
2016–2016
1
1
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models
Ingo Pill, Ivan Rubil, Franz Wotawa et al. · 2016 · 27 citations
Rows per page
1–1 of 1