Johan Blom
Johan Blom
Blossom Grove AB
Verified email at blossomgrove.se
Title
Cited by
Cited by
Year
Specifying and generating test cases using observer automata
J Blom, A Hessel, B Jonsson, P Pettersson
International Workshop on Formal Approaches to Software Testing, 125-139, 2004
942004
Automatic Detection of Feature Interactions in Temporal Logic.
J Blom, RN Bol, L Kempe
FIW, 1-19, 1995
761995
Using temporal logic for modular specification of telephone services
J Blom, B Jonsson, L Kempe
In Feature Interactions in Telecommunications Systems, 1994
761994
Formalisation of Requirements with Emphasis on Feature Interaction Detection.
J Blom
FIW, 61-77, 1997
321997
Automated test generation for industrial erlang applications
J Blom, B Jonsson
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, 8-14, 2003
232003
Industrial evaluation of test suite generation strategies for model-based testing
J Blom, B Jonsson, SO Nyström
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
82016
Caress II: a general purpose tool for parallel deterministic systems, with applications to simulating cellular systems
J Blom, AV Holden, MJ Poole, JV Tucker
JOURNAL OF PHYSIOLOGY-LONDON THEN CAMBRIDGE-, 145-145, 1993
61993
Model-Based Protocol Testing in an Erlang Environment
J Blom
Acta Universitatis Upsaliensis, 2016
22016
Establishing basis for learning algorithms
F Aarts, J Blom, T Bohlin, YF Chen, F Howar, B Jonsson, M Merten, ...
22010
Specifying Test Cases Using Observer Automata
J Blom, A Hessel, B Jonsson, P Pettersson
Nordic Workshop on Programming Theory, 55, 2004
2004
Constraint oriented temporal logic specification
J Blom, B Jonsson
Formal Systems Specification, 161-182, 1996
1996
Requirements Engineering in a Telecommunication Environment
D Auchter, J Blom, R Bol, LA Fredlund, T Grelsson
The system can't perform the operation now. Try again later.
Articles 1–12