|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.  |
IWANN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Estimating the feasibility of transition paths in extended finite state machines. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian |
Heuristics for fault diagnosis when testing from finite state machines. |
Softw. Test., Verif. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian |
Improving test quality using robust unique input/output circuit sequences (UIOCs). |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
input sequences, transition path, GA, EFSM |
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian |
Computing Unique Input/Output Sequences Using Genetic Algorithms. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
UIOs, Genetic Algorithms, Optimisation, Conformance Testing, FSMs |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")