Travelled to:
1 × Germany
Collaborated with:
P.Mishra
Talks about:
decomposit (1) processor (1) properti (1) function (1) pipelin (1) generat (1) valid (1) test (1) use (1)
Person: Heon-Mo Koo
DBLP: Koo:Heon=Mo
Contributed to:
Wrote 1 papers:
- DATE-2006-KooM #functional #generative #pipes and filters #testing #using #validation
- Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.