Travelled to:1 × France
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:D.Hedley I.J.Riddell ∅
Talks about:softwar (3) techniqu (1) program (1) thirti (1) infeas (1) experi (1) effect (1) comput (1) assess (1) verif (1)
Person: Michael A. Hennell
DBLP: Hennell:Michael_A=
Contributed to:
2008
1987
19851984Wrote 4 papers:
- TAP-2008-Hennell #experience #verification
- The First Thirty Years: Experience with Software Verification (MAH), pp. 1–3.
- ESEC-1987-HennellHR #automation #embedded #realtime #testing
- Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.
- ICSE-1985-HedleyH #source code
- The Causes and Effects of Infeasible Paths in Computer Programs (DH, MAH), pp. 259–267.
- ICSE-1984-HennellHR #tool support
- Assessing a Class of Software Tools (MAH, DH, IJR), pp. 266–277.