List of publications

Refereed publications

Lindström B., Offutt J. Andler S. F. (2008). Testability of Dynamic Real-Time Systems: An Empirical Study of Execution Environment Implications, in Proceedings of The 1st IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE Computer Society.

Lindström, B., Pettersson, P., and Offutt, J. A. (2007) Generating Trace-Sets for Model-Based Testing, Proceedings of the 18th International Symposium on Software Reliability Engineering, pp.171-180, IEEE Computer Society, ISSN: 1071-9458.

Grindal, M. (2007) Handling Combinatorial Explosion in Software Testing. Thesis Dissertation no 1073, Department of Computer and Information Science Linköpings universitet. ISBN 978-91-87515-74-9. ISSN 0345-7524.

Grindal, M., Lindström, B., Offutt, J. and Andler, S. F. (2007) An Evaluation of Combination Strategies for Test Case Selection, Empirical Software Engineering, vol. 11, no. 4, Dec 2006, pp 583-611. ISSN:1382-3256.

Grindal, M. and Offutt, J. (2007) Input Parameter Modeling for Combination Strategies in Software Testing, Proceedings of the IASTED International Conference on Software Engineering (SE2007), Innsbruck,  Austria, 13-15 Feb 2007, pages 255-260.

Grindal, M., Offutt, J. and Mellin, J. (2007) Managing Conflicts when Using Combination Strategies to Test Software, Proceedings of the 18th Australian Conference on Software Engineering (ASWEC2007), Melbourne, Australia, 10-13 April 2007.

Nilsson, R., Offutt, J. and Mellin, J. (2006) Test Case Generation for Mutation-based Testing of Timeliness. Electronically published in Electronic Notes in Theoretical Computer Science.

Grindal, M., Offutt, J. and and Mellin, J. (2006). On the Testing Maturity of Software Producing Organizations. Proceedings of the conference "TAIC PART 2006, Testing: Academia & Industry Conference - Practice And Research Techniques.", August 29-31, Cumberland Lodge, Windsor, UK, pp. 171-180, IEEE.

Lindström, B. and Mellin, J. (2005) Work in Progress: Testability Experiments. In Proceedings of Real Time in Sweden 2005 (RTiS 2005), Special Session on Testing of Event-Triggered Real-Time Systems (ISBN 91-631-7349-2, ISSN 1653-2325), pp. 101-106.

Grindal, M. Offutt, J. and Andler, S. F. (2005) Combination Testing Strategies: (A) Survey, publisher Wiley, Software Testing, Verification, and Reliability, volume 15, No. 2, pp. 167-199.

Ericsson, A., Mellin, J. and Nilsson, R. (2005) Timed-Automata Patterns for Rule-Based Applications. In Proceedings of Real Time in Sweden 2005 (RTiS 2005), Special Session on Testing of Event-Triggered Real-Time Systems (ISBN 91-631-7349-2, ISSN 1653-2325),
pp. 107-116.

Grindal, M. (2004) What testers can learn from scientific methods. In Proceedings of 12th International Conference on Software Testing Analysis & Review (EuroSTAR'04) Cologne, Germany. CD-ROM.

Nilsson R, Offutt J. and Andler S.F (2004) Mutation-based Testing Criteria for Timeliness. In Proceedings of the 27th International Computer Software and Applications Conference(COMPSAC 2004) Hong-Kong, September

Lindström, B., Grindal, M. and Offutt, J. (2004) Using an Existing Suite of Test Objects: Experience from a Testing Experiment. In ACM SIGSOFT Software Engineering Notes, Volume 29, Issue 5, SECTION: Workshop on empirical research in software testing papers, ISSN:0163-5948 Boston, July

Ericsson, A. Nilsson, R., and Andler, S. F. (December, 2003) Operator Patterns for Analysis of Composite Events in Timed Automata. In WIP Proceedings: 24 th IEEE Real-Time System Symposium, , Cancun, Mexico, 2003

Grindal, M. and Lindström, B. (2002). Challenges in Testing Real-Time Systems. In Proceedings of 10th International Conference on Software Testing Analysis & Review (EuroSTAR'02) Edinburgh, Scotland. CD-ROM.

Lindström, B., Mellin, J., and Andler, S. F. (March, 2002). Testability of Dynamic Real-time Systems. In Proc. 8th Int'l Conference on Real-Time Computing, Systems and Applications (RTCSA'02), pages 93-97, Tokyo.

Nilsson R., Andler, S. F., and Mellin, J. (March, 2002). Towards a Framework for Automated Testing of Transaction-Based Real-Time Systems. In Proc. 8th Int'l Conference on Real-Time Computing, Systems and Applications (RTCSA'02), pages 109-113, Tokyo.

Birgisson, R., Mellin, J., and Andler, S. F. (December, 1999). Bounds on test effort for event-triggered real-time systems. In Proc. 6th Int'l Conference on Real-Time Computing, Systems and Applications (RTCSA'99), pages 212-215, Hongkong.

Mellin, J. (1998). Supporting system level testing of applications by active real-time database systems. In Proc. 2nd Int'l Workshop on Active, Real-Time, and Temporal Databases, ARTDB-97, number 1553 in LNCS. Springer-Verlag.

Technical/MSc reports

Lindström B., Nilsson R., Ericsson A., Grindal M., Andler S. F., Eftring B. and Offutt J. (2007). Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-07-005.

Ericsson A. (2006) Enabling Tool Support for Formal Analysis of Predictable sets of ECA Rules. Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-06-011.

Grindal M., Dahlstedt Å. G., Offutt J. and Mellin J. (2006). Using Combination Strategies for Software Testing in Practice - A Proof-of-Concept. Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-06-010.

Lindström B. and Pettersson P. (2006). Model-Checking with Insufficient Memory Resources. Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-06-005.

Grindal M., Offutt J. and Mellin J. (2006). Handling Constraints in the Input Space when Using Combination Strategies for Software Testing. Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-06-001.

Nilsson R., Offutt J., Mellin J. (2005). Test case generation for testing of timeliness - Extended version. Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-05-003.

Grindal, M. (2004). Thesis proposal: Evaluation of combination strategies for practical testing. Technical report, School of Humanities and Informatics, University of Skövde. HS-IKI-TR-04-003.

Ericsson, A. (September, 2003). Verifying transformations between timed automata specifications and ECA rules. Master's thesis, University of Skövde. HS-IDA-MD-98-001.

Grindal, M., Lindström, B., Offutt, J., and Andler, S. F. (2003). An evaluation of combination strategies for test case selection. Technical report, Department of Computer Science, University of Skövde. HS-IDA-TR-03-001.

Nilsson, R. (2003). Thesis proposal : Automated timeliness testing of dynamic real-time systems. Technical report, Department of Computer Science, University of Skövde. HS-IDA-TR-03-006.

Lindström, B. (December, 2000). Methods for increasing software testability. Master's thesis, Dept. of Computer Science, University of Skövde. Report no: HS-IDA-MD-00-017.

Nilsson, R. (September, 2000). Automated selective test case generation methods for real-time systems. Master's thesis, Dept. of Computer Science, University of Skövde. Report no: HS-IDA-MD-00-010.

Birgisson, R. (September, 1998). Improving testability of applications in active real-time database environments. Master's thesis, Dept. of Computer Science, University of Skövde. Report no: HS-IDA-MD-98-001.

Misc. related documents

Nilsson. R and Andler, S. F. ( 2002). Testning i  Galenskapens Tecken - Populärvetenskaplig artikel på Svenska. Awarded 3d price in the ARTES contest of 'light' scientific writing. Unpublished.

Grindal. M and Andler, S. F. ( 2002). Varför Kraschar din Dator  - Populärvetenskaplig artikel på Svenska. Unpublished.


Uppdaterad: 2009-01-19
Sidansvarig: DRTS-gruppen