Nico Friedrich is an author at RWTH Aachen University specializing in industrial informatics, formal methods, and software design.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2006–2016
3
3
Concolic test generation for PLC programs using coverage metrics
Dimitri Bohlender, Hendrik Simon, Nico Friedrich et al. · 2016 · 22 citations
Automatic test case generation for PLC programs using coverage metrics
Hendrik Simon, Nico Friedrich, Sebastian Biallas et al. · 2015 · 20 citations
Rows per page
1–3 of 3