B model slicing and predicate abstraction to generate tests.
Saved in:
| Title: | B model slicing and predicate abstraction to generate tests. |
|---|---|
| Authors: | Julliand, J.1, julliand@lifc.univ-fcomte.fr, Stouls, N.2, nicolas.stouls@insa-lyon.fr, Bué, P.-C.1, bue@lifc.univ-fcomte.fr, Masson, P.-A.1, masson@lifc.univ-fcomte.fr |
| Source: | Software Quality Journal; Mar2013, Vol. 21 Issue 1, p127-158, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09639314 |
|---|---|
| DOI: | 10.1007/s11219-011-9161-8 |
