Fredrik Abbors is an author at Åbo Akademi University specializing in software design, formal verification, and software engineering.
Top concepts
EngineeringSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringSoftware MaintenanceFormal Methods
Publications per year
2009–2013
4
4
Model-based performance testing in the cloud using the mbpet tool
Fredrik Abbors, Tanwir Ahmad, Dragoş Truşcan et al. · 2013 · 24 citations · Full text
Model-Based Testing Using System vs. Test Models - What Is the Difference?
Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen et al. · 2010 · 11 citations
Rows per page
1–4 of 4