|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kirill Bogdanov |
Test Generation for X-machines with Non-terminal States and Priorities of Operations.  |
ICST  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris |
Increasing Functional Coverage by Inductive Testing: A Case Study. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan |
Using formal specifications to support testing. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Kirill Bogdanov, Neil Walkinshaw |
Computing the Structural Difference between State-Based Models. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe |
Automated discovery of state transitions and their functions in source code. |
Softw. Test., Verif. Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin |
Improving dynamic software analysis by applying grammar inference principles. |
Journal of Software Maintenance |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Kirill Bogdanov |
Inferring Finite-State Models with Temporal Constraints. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov |
Testing from X-Machine Specifications. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Kirill Bogdanov, Ken Johnson |
Evaluation and Comparison of Inferred Regular Grammars. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
State-Merging, FSM Testing, Evaluation, Model-Based Testing, Precision and Recall |
| 1 | Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin |
Reverse Engineering State Machines by Interactive Grammar Inference. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak |
Testing methods for X-machines: a review. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Software testing, Finite state machines, Test set generation, X-machines |
| 1 | Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe |
Identifying State Transitions and their Functions in Source Code. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov, Mike Holcombe |
Refinement in statechart testing. |
Softw. Test., Verif. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause |
FORTEST: Formal Methods and Testing. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov, Mike Holcombe |
Statechart testing method for aircraft control systems. |
Softw. Test., Verif. Reliab. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov, Mike Holcombe, Harbhajan Singh |
Automated Test Set Generation for Statecharts. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")