Mike Holcombe

Available identifiers

zbMath Open holcombe.mikeMaRDI QIDQ204584

List of research outcomes

Publication	Date of Publication	Type
TESTING USING X-MACHINE TRANSLATIONS	2022-12-06	Paper
Formal black box testing for partially specified deterministic finite state machines	2011-01-28	Paper
Membrane Computing	2009-05-15	Paper
Aspects of Molecular Computing	2009-05-14	Paper
Testing data processing-oriented systems from stream X-machine models	2008-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3422331	2007-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q3022297	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4453204	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4451884	2004-02-11	Paper
Testing (stream) X-machines	2003-11-17	Paper
PX systems = P systems + X machines	2003-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4413816	2003-07-21	Paper
What are X-machines?	2003-07-15	Paper
Generating test sets from non-deterministic stream X-machines	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4782092	2003-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4803449	2003-04-27	Paper
Testing conditions for communicating stream \(X\)-machine systems	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4329016	2002-11-14	Paper
An integrated refinement and testing method for stream X-machines	2002-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4520784	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4210112	1998-09-21	Paper
A method for refining and testing generalised machine specifications	1998-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q3126729	1997-08-07	Paper
An integration testing method that is proved to find all faults	1997-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q3833594	1988-01-01	Paper

Research outcomes over time

This page was built for person: Mike Holcombe