On transforming model-based tests into code: A systematic literature review (Sep 2023) Fabiano C. Ferrari , Vinicius H. S. Durelli , Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand , Nils Müllner Software Testing, Verification, and Reliability (STVR)
Using mutation to design tests for aspect-oriented models (Jan 2017) Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson Information and Software Technology (IST)
Mutating Aspect-Oriented Models to Test Cross-Cutting Concerns (Apr 2015) Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark 10th International Workshop on Mutation Analysis (Mutation 2015)
Generating Trace-Sets for Model-based Testing (Nov 2007) Birgitta Lindström, Paul Pettersson, Jeff Offutt Proceedings of the 18th IEEE International Symposium on Software Reliability
Project Title | Status |
---|---|
TOCSYC - Testing of Critical System Characteristics (KKS) | finished |