Follow
Johan Blom
Johan Blom
Blossom Grove AB
Verified email at afry.com
Title
Cited by
Cited by
Year
Specifying and generating test cases using observer automata
J Blom, A Hessel, B Jonsson, P Pettersson
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
912005
Automatic Detection of Feature Interactions in Temporal Logic.
J Blom, RN Bol, L Kempe
FIW, 1-19, 1995
791995
Using temporal logic for modular specification of telephone services
J BLOOM
Proc. of FIW94, 197-216, 1994
731994
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
51993
Establishing basis for learning algorithms
F Aarts, J Blom, T Bohlin, F Howar, B Jonsson, M Merten, R Nagel, ...
42010
Model-Based Protocol Testing in an Erlang Environment
J Blom
Acta Universitatis Upsaliensis, 2016
22016
Constraint oriented temporal logic specification: The Dagstuhl RPC-memory specification problem
J Blom, B Jonsson
Formal Systems Specification: The RPC-Memory Specification Case Study, 161-182, 2005
2005
Specifying Test Cases Using Observer Automata
J Blom, A Hessel, B Jonsson, P Pettersson
Nordic Workshop on Programming Theory, 55, 2004
2004
Feature Interactions in Telecommunications Systems 197 W. Bouma and H. Velthuijsen (Eds.) IOS Press, 1994
J Blom, B Jonsson, L Kempe
Feature Interactions in Telecommunications Systems, 197, 1994
1994
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–13