Hans Svensson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICST | Testing AUTOSAR software with QuickCheck. | Thomas Arts, John Hughes, Ulf Norell, Hans Svensson |
| 2014 | FASE | An Expressive Semantics of Mocking. | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2014 | SAFECOMP | Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. | Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes |
| 2013 | SAFECOMP | Don't Judge Software by Its (Code) Coverage. | Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth stberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund |
| 2010 | ICSE | Ranking programs using black box testing. | Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson |
| 2009 | ICFP | Finding race conditions in Erlang with QuickCheck and PULSE. | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |
| 2008 | TAP | Finding Counter Examples in Induction Proofs. | Koen Claessen, Hans Svensson |
| 2007 | ICFP | McErlang: a model checker for a distributed functional programming language. | Lars-ke Fredlund, Hans Svensson |
| 2003 | EACL | CarSim: An Automatic 3D Text-to-Scene Conversion System Applied to Road Accident Reports. | Ola kerberg, Hans Svensson, Bastian Schulz, Pierre Nugues |