Author:
Julliand J.,Stouls N.,Bué P.-C.,Masson P.-A.
Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference38 articles.
1. Abrial, J.-R. (1996a). Extending B without changing it (for developing distributed systems). In 1st B conference, pp. 169–190.
2. Abrial, J. -R. (1996b). The B book: Assigning programs to meanings. Cambridge: Cambridge University Press.
3. Abrial, J. -R. (2010). Modeling in event-B—system and software engineering. Cambridge: Cambridge University Press.
4. Ball, T. (2005) A theory of predicate-complete test coverage and generation. In FMCO’04, vol. 3657 of LNCS, (pp. 1–22). Berlin: Springer.
5. Bouquet, F., Bué, P.-C., Julliand, J., Masson, P.-A. (2009). Génération de tests à partir de critères dynamiques de sélection et par abstraction. In AFADL’09, (pp. 161–176), Toulouse, France, January.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献