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
1302007
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
852009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
592015
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
432010
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
382007
A semantics for distributed Erlang
K Claessen, H Svensson
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 78-87, 2005
282005
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
222004
A new leader election implementation
H Svensson, T Arts
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 35-39, 2005
152005
Programming distributed erlang applications: Pitfalls and recipes
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 37-42, 2007
142007
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
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
92010
Implementing an LTL-to-Büchi translator in Erlang
H Svensson
Proceedings of the 2009 ACM SIGPLAN Erlang Workshop 10, 1596600.1596610, 2009
92009
Don't Judge Software by Its (Code) Coverage
R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ...
SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013
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
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models
M Skoglund, H Svensson, H Eriksson, T Arts, R Johansson, A Gerdes
International Conference on Computer Safety, Reliability, and Security, 19-26, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–20