Howar Falk is an author at Uppsala University specializing in formal specification, software testing, and knowledge discovery.
Top concepts
Data MiningEngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2015–2015
1
1
RALib : A LearnLib extension for inferring EFSMs
Sofia Cassel, Howar Falk, Bengt Jönsson · 2015 · 22 citations
Rows per page
1–1 of 1