Travelled to:1 × Italy
Collaborated with:A.M.Moreira C.Hentz D.Déharbe E.C.B.d.Matos J.B.S.Neto
Talks about:generat (1) verifi (1) method (1) studi (1) tool (1) test (1) code (1) case (1) use (1)
Person: Valério de Medeiros Jr.
DBLP: Medeiros Jr.:Val=eacute=rio_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.