Mutation Testing Publications
Search results for "andres_STVR_12", found 1 papers, 1 pages
| 1 | C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez Formal passive testing of timed systems: theory and tools Softw. Test., Verif. Reliab., 22(6), 2012. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@ARTICLE{andres_STVR_12,
author = {C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez},
title = {Formal passive testing of timed systems: theory and tools},
journal = {Softw. Test., Verif. Reliab.},
year = {2012},
month = {},
volume = {22},
number = {6},
pages = {365--405}
} |