© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Towards a formalization of viewpoints testing
Marius C. Bujorianu, Savi Maharaj, and Manuela Bujorianu
In Robert M. Hierons and Thierry Jron, editors, Formal Approaches To Testing of Software 2002 (FATES'02), Research Report, pages 182-196, 35042 Rennes, France, August 2002. INRIA A satellite workshop of CONCUR'02. Download publication 2700 kbytes (PDF)Bibtex Record
@inproceedings{1524, author = {Marius C. Bujorianu and Savi Maharaj and Manuela Bujorianu}, title = {Towards a formalization of viewpoints testing }, month = {August}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {A satellite workshop of CONCUR'02 }, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1524}, publication_type = {inproceedings}, submission_id = {22263_1033994840}, booktitle = {Formal Approaches To Testing of Software 2002 (FATES'02) }, editor = {Robert M. Hierons and Thierry Jron }, series = {Research Report}, address = {35042 Rennes, France}, publisher = {INRIA}, refereed = {Yes}, }