Travelled to:
1 × Canada
1 × Poland
1 × United Kingdom
2 × Germany
Collaborated with:
K.Bogdanov C.Thomson H.Parker D.W.Bustard I.Sommerville H.Singh N.Walkinshaw S.Salahuddin
Talks about:
softwar (2) engin (2) statechart (1) research (1) interact (1) industri (1) project (1) grammar (1) generat (1) correct (1)
Person: Mike Holcombe
DBLP: Holcombe:Mike
Facilitated 1 volumes:
Contributed to:
Wrote 5 papers:
- MSR-2008-ThomsonH #correctness #cvs
- Correctness of data mined from CVS (CT, MH), pp. 117–120.
- WCRE-2007-WalkinshawBHS #grammar inference #interactive #reverse engineering #state machine
- Reverse Engineering State Machines by Interactive Grammar Inference (NW, KB, MH, SS), pp. 209–218.
- ICSE-2004-BustardHS #named #re-engineering #research
- BoF: New Directions in UK Software Engineering Research (DWB, MH, IS), pp. 693–694.
- ITiCSE-1999-ParkerH #industrial #risk management
- Campus-based industrial software projects: risks and rewards (HP, MH), p. 189.
- FM-1998-BogdanovHS #automation #generative #testing
- Automated Test Set Generation for Statecharts (KB, MH, HS), pp. 107–121.