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 | 91 | 2005 |
Automatic Detection of Feature Interactions in Temporal Logic. J Blom, RN Bol, L Kempe FIW, 1-19, 1995 | 79 | 1995 |
Using temporal logic for modular specification of telephone services J BLOOM Proc. of FIW94, 197-216, 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 | 5 | 1993 |
Establishing basis for learning algorithms F Aarts, J Blom, T Bohlin, YF Chen, F Howar, B Jonsson, M Merten, ... | 4 | 2010 |
Model-Based Protocol Testing in an Erlang Environment J Blom Acta Universitatis Upsaliensis, 2016 | 2 | 2016 |
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 | | |