Вы здесь
Hierons R. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Branch-Coverage Testability Transformation for Unstructured Programs | 2005 | Hierons R. M., Harman M., Fox C. J. | The Computer Journal | 01.09.2005 | |||
| СТ | Conditions for Resolving Observability Problems in Distributed Testing | 2004 | Chen J., Hierons R. M., Ural H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 21.01.2005 | ||
| СТ | Computing Unique Input/Output Sequences Using Genetic Algorithms | 2004 | Guo Q., Hierons R. M., Harman M., Derderian K. | Lecture Notes in Computer Science | 11.03.2004 | |||
| СТ | Concerning the Ordering of Adaptive Test Sequences | 2003 | Hierons R. M., Ural H. | Lecture Notes in Computer Science | 26.12.2003 | |||
| СТ | Automatically Generating Information from a Z Specification to Support the Classification Tree Method | 2003 | Hierons R. M., Harman M., Singh H. | Lecture Notes in Computer Science | 20.06.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Testing Software and Systems: Proc./30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 2018 | 2018 | Lecture Notes in Computer Science |
|
29.10.2018 | |||
| СБ | Software Engineering and Formal Methods: Proc./11th International Conference, SEFM 2013, Madrid, Spain, September 2013 | 2013 | Lecture Notes in Computer Science |
|
18.11.2013 | |||
| СБ | Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network | 2008 | Lecture Notes in Computer Science |
|
07.06.2008 | |||
| СБ | Testing of Communicating Systems: Proc./16th IFIP Intern. Conf., TestCom 2004, Oxford, UK, March 2004 | 2004 | Lecture Notes in Computer Science |
|
01.04.2004 |