Hans Svensson
Hans Svensson
Quviq AB
Verified email at quviq.com - Homepage
Title
Cited by
Cited by
Year
McErlang: a model checker for a distributed functional programming language
LÅ Fredlund, H Svensson
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
1282007
Finding race conditions in Erlang with QuickCheck and PULSE
K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ...
ACM Sigplan Notices 44 (9), 149-160, 2009
822009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
532015
A unified semantics for future Erlang
H Svensson, LÅ Fredlund, C Benac Earle
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 23-32, 2010
392010
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
392007
A semantics for distributed Erlang
K Claessen, H Svensson
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 78-87, 2005
272005
Semi-formal development of a fault-tolerant leader election protocol in erlang
T Arts, K Claessen, H Svensson
International Workshop on Formal Approaches to Software Testing, 140-154, 2004
242004
A new leader election implementation
H Svensson, T Arts
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 35-39, 2005
162005
Programming distributed erlang applications: pitfalls and recipes
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 37-42, 2007
152007
An expressive semantics of mocking
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
International Conference on Fundamental Approaches to Software Engineering …, 2014
122014
Finding counter examples in induction proofs
K Claessen, H Svensson
International Conference on Tests and Proofs, 48-65, 2008
112008
Implementing an LTL-to-Büchi translator in Erlang
H Svensson
Proceedings of the 2009 ACM SIGPLAN Erlang Workshop 10, 1596600.1596610, 2009
92009
Ranking programs using black box testing
K Claessen, J Hughes, M Pałka, N Smallbone, H Svensson
Proceedings of the 5th Workshop on Automation of Software Test, 103-110, 2010
82010
Don't Judge Software by Its (Code) Coverage
R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ...
32013
Accelerating race condition detection through procrastination
T Arts, J Hughes, U Norell, N Smallbone, H Svensson
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 14-22, 2011
32011
Gaining trust by tracing security protocols
LÅ Fredlund, C Benac Earle, T Arts, H Svensson
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 56-67, 2019
12019
A semi-automatic correctness proof procedure applied to Stoller’s leader election algorithm
H Svensson
Technical Report 2008: 7, Computer Science and Engineering, Chalmers …, 2008
12008
Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
H Svensson
Chalmers University of Technology, 2008
12008
Verification of Erlang Programs using Testing and Tracing
H Svensson
Chalmers tekniska högskola, 2005
12005
Graphical editing support for QuickCheck models
T Arts, K Bogdanov, A Gerdes, J Hughes
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20