| 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 | 94 | 2004 |
| Interactions in Temporal Logic J Blom, R Bol, L Kempe Feature Interactions in Telecommunications Systems, III, 1, 1995 | 75 | 1995 |
| Specification of Telephone Services J Blom, B Jonsson, L Kempet Feature Interactions in Telecommunications Systems, 197, 1994 | 73 | 1994 |
| Formalisation of Requirements with Emphasis on Feature Interaction Detection. J Blom FIW, 61-77, 1997 | 32 | 1997 |
| Automated test generation for industrial erlang applications J Blom, B Jonsson Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, 8-14, 2003 | 23 | 2003 |
| 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 | 8 | 2016 |
| 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 | 6 | 1993 |
| Establishing basis for learning algorithms F Aarts, J Blom, T Bohlin, YF Chen, F Howar, B Jonsson, M Merten, ... | 3 | 2010 |
| Model-Based Protocol Testing in an Erlang Environment J Blom Acta Universitatis Upsaliensis, 2016 | 2 | 2016 |
| 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 | | |
