Markov chain techniques for software testing and reliability analysis

Specifying operational profiles for modules

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis

A Markov Chain Model for Statistical Software Testing

IEEE Transactions on Software Engineering

Lutess: a specification-driven testing environment for synchronous software

Proceedings of the 21st international conference on Software engineering

Stochastic software testing

Annals of Software Engineering

Planning and Certifying Software System Reliability

IEEE Software

Using a pilot study to derive a GUI model for automated testing

ACM Transactions on Software Engineering and Methodology (TOSEM)

Multi-paradigm Models as Source for Automated Test Construction

Electronic Notes in Theoretical Computer Science (ENTCS)

Modelling interactions as queues

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface