Mutation Testing Publications
Search results for "lakehal_STVR_09", found 1 papers, 1 pages
| 1 | Abdesselam Lakehal and Ioannis Parissis Structural coverage criteria for {LUSTRE/SCADE} programs Softw. Test., Verif. Reliab., 19(2), 2009. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@ARTICLE{lakehal_STVR_09,
author = {Abdesselam Lakehal and Ioannis Parissis},
title = {Structural coverage criteria for {LUSTRE/SCADE} programs},
journal = {Softw. Test., Verif. Reliab.},
year = {2009},
month = {},
volume = {19},
number = {2},
pages = {133--154}
} |