Travelled to:1 × Italy
Collaborated with:A.M.Moreira C.Hentz D.Déharbe J.B.S.Neto V.d.M.Jr.
Talks about:generat (1) verifi (1) method (1) studi (1) tool (1) test (1) code (1) case (1) use (1)
Person: Ernesto Cid Brasil de Matos
DBLP: Matos:Ernesto_Cid_Brasil_de
Contributed to:
2015Wrote 1 papers:
- TAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification
- Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.